Barrelfish
Data Fields
waitset Struct Reference

Wait set. More...

+ Collaboration diagram for waitset:

Data Fields

struct waitset_chanstatepending
 Channels with pending events.
 
struct waitset_chanstatepolled
 Channels that need to be polled.
 
struct waitset_chanstateidle
 All other channels on this waitset.
 
struct waitset_chanstatewaiting
 Channels waiting for an event handler registration.
 
struct threadwaiting_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: