Barrelfish
Data Fields
waitset Struct Reference

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)
 

Detailed Description

Wait set.

This data is private to the waitset (a waitset is an opaque type), but defined in the header for allocation purposes.


The documentation for this struct was generated from the following file: