|
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 |
1.8.11