A mutex for mutual exclausion among several threads. More...
#include <thread.hpp>
Public Member Functions | |
Mutex (void) | |
Initialize mutex. | |
void | acquire (void) |
Acquire the mutex and possibly block. | |
bool | tryacquire (void) |
Try to acquire the mutex, return true if succesful. | |
void | release (void) |
Release the mutex. | |
~Mutex (void) | |
Delete mutex. | |
Static Public Member Functions | |
static void * | operator new (size_t s) |
Allocate memory from heap. | |
static void | operator delete (void *p) |
Free memory allocated from heap. |
A mutex for mutual exclausion among several threads.
It is not specified whether the mutex is recursive or not. Likewise, there is no guarantee of fairness among the blocking threads.
Gecode::Support::Mutex::Mutex | ( | void | ) | [inline] |
Gecode::Support::Mutex::~Mutex | ( | void | ) | [inline] |
void Gecode::Support::Mutex::acquire | ( | void | ) | [inline] |
bool Gecode::Support::Mutex::tryacquire | ( | void | ) | [inline] |
void Gecode::Support::Mutex::release | ( | void | ) | [inline] |
void * Gecode::Support::Mutex::operator new | ( | size_t | s | ) | [inline, static] |
Allocate memory from heap.
Definition at line 58 of file thread.hpp.
void Gecode::Support::Mutex::operator delete | ( | void * | p | ) | [inline, static] |
Free memory allocated from heap.
Definition at line 63 of file thread.hpp.