Bayonne2 / Common C++ 2 Framework
|
A semaphore is generally used as a synchronization object between multiple threads or to protect a limited and finite resource such as a memory or thread pool. More...
#include <thread.h>
Public Member Functions | |
Semaphore (unsigned resource=0) | |
The initial value of the semaphore can be specified. More... | |
virtual | ~Semaphore () |
Destroying a semaphore also removes any system resources associated with it. More... | |
bool | wait (timeout_t timeout=0) |
Wait is used to keep a thread held until the semaphore counter is greater than 0. More... | |
void | post (void) |
Posting to a semaphore increments its current value and releases the first thread waiting for the semaphore if it is currently at 0. More... | |
void | force_unlock_after_cancellation () |
Call it after a deferred cancellation to avoid deadlocks. More... | |
Private Attributes | |
unsigned | _count |
unsigned | _waiters |
pthread_mutex_t | _mutex |
pthread_cond_t | _cond |
A semaphore is generally used as a synchronization object between multiple threads or to protect a limited and finite resource such as a memory or thread pool.
The semaphore has a counter which only permits access by one or more threads when the value of the semaphore is non-zero. Each access reduces the current value of the semaphore by 1. One or more threads can wait on a semaphore until it is no longer 0, and hence the semaphore can be used as a simple thread synchronization object to enable one thread to pause others until the thread is ready or has provided data for them. Semaphores are typically used as a counter for protecting or limiting concurrent access to a given resource, such as to permitting at most "x" number of threads to use resource "y", for example.
Semaphore::Semaphore | ( | unsigned | resource = 0 | ) |
The initial value of the semaphore can be specified.
An initial value is often used When used to lock a finite resource or to specify the maximum number of thread instances that can access a specified resource.
resource | specify initial resource count or 0 default. |
|
virtual |
Destroying a semaphore also removes any system resources associated with it.
If a semaphore has threads currently waiting on it, those threads will all continue when a semaphore is destroyed.
void Semaphore::force_unlock_after_cancellation | ( | ) |
Call it after a deferred cancellation to avoid deadlocks.
From PTHREAD_COND_TIMEDWAIT(3P): A condition wait (whether timed or not) is a cancellation point. When the cancelability enable state of a thread is set to PTHREAD_CANCEL_DEFERRED, a side effect of acting upon a cancellation request while in a condition wait is that the mutex is (in effect) re-acquired before calling the first cancellation cleanup handler.
void Semaphore::post | ( | void | ) |
Posting to a semaphore increments its current value and releases the first thread waiting for the semaphore if it is currently at 0.
Interestingly, there is no support to increment a semaphore by any value greater than 1 to release multiple waiting threads in either pthread or the win32 API. Hence, if one wants to release a semaphore to enable multiple threads to execute, one must perform multiple post operations.
bool Semaphore::wait | ( | timeout_t | timeout = 0 | ) |
Wait is used to keep a thread held until the semaphore counter is greater than 0.
If the current thread is held, then another thread must increment the semaphore. Once the thread is accepted, the semaphore is automatically decremented, and the thread continues execution.
The pthread semaphore object does not support a timed "wait", and hence to maintain consistancy, neither the posix nor win32 source trees support "timed" semaphore objects.
timeout | period in milliseconds to wait |