GI.GLib.Structs.Cond

The #GCond struct is an opaque data structure that represents a condition. Threads can block on a #GCond if they find a certain condition to be false. If other threads change the state of this condition they signal the #GCond, and that causes the waiting threads to be woken up.

Consider the following example of a shared variable. One or more threads can wait for data to be published to the variable and when another thread publishes the data, it can signal one of the waiting threads to wake up to collect the data.

Here is an example for using GCond to block a thread until a condition is satisfied: |[language="C" -- gpointer current_data = NULL; GMutex data_mutex; GCond data_cond;

void push_data (gpointer data) { g_mutex_lock (&data_mutex); current_data = data; g_cond_signal (&data_cond); g_mutex_unlock (&data_mutex); }

gpointer pop_data (void) { gpointer data;

g_mutex_lock (&data_mutex); while (!current_data) g_cond_wait (&data_cond, &data_mutex); data = current_data; current_data = NULL; g_mutex_unlock (&data_mutex);

return data; } ]| Whenever a thread calls pop_data() now, it will wait until current_data is non-%NULL, i.e. until some other thread has called push_data().

The example shows that use of a condition variable must always be paired with a mutex. Without the use of a mutex, there would be a race between the check of current_data by the while loop in pop_data() and waiting. Specifically, another thread could set current_data after the check, and signal the cond (with nobody waiting on it) before the first thread goes to sleep. #GCond is specifically useful for its ability to release the mutex and go to sleep atomically.

It is also important to use the g_cond_wait() and g_cond_wait_until() functions only inside a loop which checks for the condition to be true. See g_cond_wait() for an explanation of why the condition may not be true even after it returns.

If a #GCond is allocated in static storage then it can be used without initialisation. Otherwise, you should call g_cond_init() on it and g_cond_clear() when done.

A #GCond should only be accessed via the g_cond_ functions.

Exported types

newtype Cond

Constructors

Cond (ForeignPtr Cond)

Instances

((~) * info (ResolveCondMethod t Cond), MethodInfo * info Cond p) => IsLabel t (Cond -> p)

Methods

fromLabel :: Proxy# Symbol t -> Cond -> p

((~) * info (ResolveCondMethod t Cond), MethodInfo * info Cond p) => IsLabelProxy t (Cond -> p)

Methods

fromLabelProxy :: Proxy Symbol t -> Cond -> p

((~) (TYPE Lifted) signature (Mutex -> Int64 -> m Bool), MonadIO m) => MethodInfo (TYPE Lifted) CondWaitUntilMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondWaitUntilMethodInfo Cond -> signature -> s

((~) (TYPE Lifted) signature (Mutex -> m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondWaitMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondWaitMethodInfo Cond -> signature -> s

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondSignalMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondSignalMethodInfo Cond -> signature -> s

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondInitMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondInitMethodInfo Cond -> signature -> s

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondClearMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondClearMethodInfo Cond -> signature -> s

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondBroadcastMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondBroadcastMethodInfo Cond -> signature -> s

newZeroCond :: MonadIO m => m Cond

Construct a Cond struct initialized to zero.

noCond :: Maybe Cond

Methods

condBroadcast

data CondBroadcastMethodInfo

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondBroadcastMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondBroadcastMethodInfo Cond -> signature -> s

condBroadcast :: MonadIO m => Cond -> m ()

condClear

data CondClearMethodInfo

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondClearMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondClearMethodInfo Cond -> signature -> s

condClear :: MonadIO m => Cond -> m ()

condInit

data CondInitMethodInfo

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondInitMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondInitMethodInfo Cond -> signature -> s

condInit :: MonadIO m => Cond -> m ()

condSignal

data CondSignalMethodInfo

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondSignalMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondSignalMethodInfo Cond -> signature -> s

condSignal :: MonadIO m => Cond -> m ()

condWait

data CondWaitMethodInfo

Instances

((~) (TYPE Lifted) signature (Mutex -> m ()), MonadIO m) => MethodInfo (TYPE Lifted) CondWaitMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondWaitMethodInfo Cond -> signature -> s

condWait :: MonadIO m => Cond -> Mutex -> m ()

condWaitUntil

data CondWaitUntilMethodInfo

Instances

((~) (TYPE Lifted) signature (Mutex -> Int64 -> m Bool), MonadIO m) => MethodInfo (TYPE Lifted) CondWaitUntilMethodInfo Cond signature

Methods

overloadedMethod :: MethodProxy CondWaitUntilMethodInfo Cond -> signature -> s

condWaitUntil :: MonadIO m => Cond -> Mutex -> Int64 -> m Bool