Barrelfish
|
Deferred events (ie. timers) More...
Functions | |
systime_t | get_system_time (void) |
Returns the system time when the current dispatcher was last dispatched. | |
errval_t | deferred_event_register (struct deferred_event *event, struct waitset *ws, delayus_t delay, struct event_closure closure) |
Register a deferred event. More... | |
errval_t | deferred_event_cancel (struct deferred_event *event) |
Cancel a deferred event that has not yet fired. | |
errval_t | periodic_event_create (struct periodic_event *event, struct waitset *ws, delayus_t period, struct event_closure closure) |
Create a periodic event. More... | |
errval_t | periodic_event_cancel (struct periodic_event *event) |
Cancel a periodic event. | |
void | trigger_deferred_events_disabled (dispatcher_handle_t dh, systime_t now) |
Trigger any pending deferred events, while disabled. | |
Deferred events (ie. timers)
errval_t deferred_event_register | ( | struct deferred_event * | event, |
struct waitset * | ws, | ||
delayus_t | delay, | ||
struct event_closure | closure | ||
) |
Register a deferred event.
ws | Waitset |
delay | Delay in microseconds |
closure | Event closure to execute |
event | Storage for event metadata |
errval_t periodic_event_create | ( | struct periodic_event * | event, |
struct waitset * | ws, | ||
delayus_t | period, | ||
struct event_closure | closure | ||
) |
Create a periodic event.
A periodic event will repeatedly run a closure at a fixed rate until cancelled.
event | Storage for event state |
ws | Waitset |
period | Period, in microseconds |
closure | Closure to run |