summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3a8d1a0)
This is what some tasks need, so add this public function to the scheduler.
sched_request_timeout(&diff, s);
}
sched_request_timeout(&diff, s);
}
+void sched_request_barrier_or_min_delay(struct timeval *barrier, struct sched *s)
+{
+ struct timeval diff;
+ if (tv_diff(now, barrier, &diff) > 0)
+ return sched_min_delay(s);
+ sched_request_timeout(&diff, s);
+}
void sched_request_timeout(struct timeval *timeout, struct sched *s);
void sched_request_timeout_ms(long unsigned ms, struct sched *s);
void sched_request_barrier(struct timeval *barrier, struct sched *s);
void sched_request_timeout(struct timeval *timeout, struct sched *s);
void sched_request_timeout_ms(long unsigned ms, struct sched *s);
void sched_request_barrier(struct timeval *barrier, struct sched *s);
+void sched_request_barrier_or_min_delay(struct timeval *barrier, struct sched *s);