Struct std::sync::Condvar
[−]
[src]
pub struct Condvar {
// some fields omitted
}A Condition Variable
Condition variables represent the ability to block a thread such that it consumes no CPU time while waiting for an event to occur. Condition variables are typically associated with a boolean predicate (a condition) and a mutex. The predicate is always verified inside of the mutex before determining that thread must block.
Functions in this module will block the current thread of execution and
are bindings to system-provided condition variables where possible. Note
that this module places one additional restriction over the system condition
variables: each condvar can be used with precisely one mutex at runtime. Any
attempt to use multiple mutexes on the same condition variable will result
in a runtime panic. If this is not desired, then the unsafe primitives in
sys do not have this restriction but may result in undefined behavior.
Examples
fn main() { use std::sync::{Arc, Mutex, Condvar}; use std::thread; let pair = Arc::new((Mutex::new(false), Condvar::new())); let pair2 = pair.clone(); // Inside of our lock, spawn a new thread, and then wait for it to start thread::spawn(move|| { let &(ref lock, ref cvar) = &*pair2; let mut started = lock.lock().unwrap(); *started = true; cvar.notify_one(); }); // wait for the thread to start up let &(ref lock, ref cvar) = &*pair; let mut started = lock.lock().unwrap(); while !*started { started = cvar.wait(started).unwrap(); } }use std::sync::{Arc, Mutex, Condvar}; use std::thread; let pair = Arc::new((Mutex::new(false), Condvar::new())); let pair2 = pair.clone(); // Inside of our lock, spawn a new thread, and then wait for it to start thread::spawn(move|| { let &(ref lock, ref cvar) = &*pair2; let mut started = lock.lock().unwrap(); *started = true; cvar.notify_one(); }); // wait for the thread to start up let &(ref lock, ref cvar) = &*pair; let mut started = lock.lock().unwrap(); while !*started { started = cvar.wait(started).unwrap(); }
Methods
impl Condvar
fn new() -> Condvar
Creates a new condition variable which is ready to be waited on and notified.
fn wait<'a, T>(&self, guard: MutexGuard<'a, T>) -> LockResult<MutexGuard<'a, T>>
Blocks the current thread until this condition variable receives a notification.
This function will atomically unlock the mutex specified (represented by
mutex_guard) and block the current thread. This means that any calls
to notify_*() which happen logically after the mutex is unlocked are
candidates to wake this thread up. When this function call returns, the
lock specified will have been re-acquired.
Note that this function is susceptible to spurious wakeups. Condition variables normally have a boolean predicate associated with them, and the predicate must always be checked each time this function returns to protect against spurious wakeups.
Failure
This function will return an error if the mutex being waited on is poisoned when this thread re-acquires the lock. For more information, see information about poisoning on the Mutex type.
Panics
This function will panic!() if it is used with more than one mutex
over time. Each condition variable is dynamically bound to exactly one
mutex to ensure defined behavior across platforms. If this functionality
is not desired, then unsafe primitives in sys are provided.
fn wait_timeout_ms<'a, T>(&self, guard: MutexGuard<'a, T>, ms: u32) -> LockResult<(MutexGuard<'a, T>, bool)>
: replaced by std::sync::Condvar::wait_timeout
Waits on this condition variable for a notification, timing out after a specified duration.
The semantics of this function are equivalent to wait()
except that the thread will be blocked for roughly no longer
than ms milliseconds. This method should not be used for
precise timing due to anomalies such as preemption or platform
differences that may not cause the maximum amount of time
waited to be precisely ms.
The returned boolean is false only if the timeout is known
to have elapsed.
Like wait, the lock specified will be re-acquired when this function
returns, regardless of whether the timeout elapsed or not.
fn wait_timeout<'a, T>(&self, guard: MutexGuard<'a, T>, dur: Duration) -> LockResult<(MutexGuard<'a, T>, WaitTimeoutResult)>
Waits on this condition variable for a notification, timing out after a specified duration.
The semantics of this function are equivalent to wait() except that
the thread will be blocked for roughly no longer than dur. This
method should not be used for precise timing due to anomalies such as
preemption or platform differences that may not cause the maximum
amount of time waited to be precisely dur.
The returned WaitTimeoutResult value indicates if the timeout is
known to have elapsed.
Like wait, the lock specified will be re-acquired when this function
returns, regardless of whether the timeout elapsed or not.
fn wait_timeout_with<'a, T, F>(&self, guard: MutexGuard<'a, T>, dur: Duration, f: F) -> LockResult<(MutexGuard<'a, T>, WaitTimeoutResult)> where F: FnMut(LockResult<&mut T>) -> bool
wait_timeout_with #27748): unsure if this API is broadly needed or what form it should take
Waits on this condition variable for a notification, timing out after a specified duration.
The semantics of this function are equivalent to wait_timeout except
that the implementation will repeatedly wait while the duration has not
passed and the provided function returns false.
fn notify_one(&self)
Wakes up one blocked thread on this condvar.
If there is a blocked thread on this condition variable, then it will
be woken up from its call to wait or wait_timeout. Calls to
notify_one are not buffered in any way.
To wake up all threads, see notify_all().
fn notify_all(&self)
Wakes up all blocked threads on this condvar.
This method will ensure that any current waiters on the condition
variable are awoken. Calls to notify_all() are not buffered in any
way.
To wake up only one thread, see notify_one().