|
Barrelfish
|
Wait set. More...
Collaboration diagram for waitset: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.
1.8.11