Barrelfish
|
Wait set. More...
Data Fields | |
struct waitset_chanstate * | pending |
Channels with pending events. | |
struct waitset_chanstate * | polled |
Channels that need to be polled. | |
struct waitset_chanstate * | idle |
All other channels on this waitset. | |
struct waitset_chanstate * | waiting |
Channels waiting for an event handler registration. | |
struct thread * | waiting_threads |
Queue of threads blocked on this waitset (when no events are pending) | |
Wait set.
This data is private to the waitset (a waitset is an opaque type), but defined in the header for allocation purposes.