Linux下利用條件變數實現訊號量機制

接著上一篇，繼續討論如何利用pthread_cond_t來實現sem_t。目前的Linux核心都支援訊號量sem_t，但也有一些老的OS，如AIX4，和早期的Solaris並不支援訊號量，畢竟semaphore這個東東並沒有包括在POSIX標準裡。這種情況下有必要利用pthread_mutex_t + pthread_cond_t來類比semaphore啦。（什嗎？pthread_mutex_t pthread_cond_t也不支援？ ！@#￥%！）

 

其實實現起來真的很簡單，

 

class Semaphore {

protected:

pthread_mutex_t mutex;

pthread_cond_t cond;

unsigned int waiters;

 

public:

Semaphore();

virtual ~Semaphore() {}

int p();

int v();

}

 

Semaphore::Semaphore() {

mutex = PTHREAD_MUTEX_INITIALIZER;

cond = PTHREAD_COND_INITIALIZER;

waiters = 0;

}

 

int Semaphore::p() {

pthread_mutex_lock(&mutex);

while (waiters <= 0) {

pthread_cond_wait(&cond, &mutex);

}

waiters--;

pthread_mutex_unlock(&mutex);

}

 

int Semaphore::v() {

pthread_mutex_lock(&mutex);

waiters++;

if (waiters > 0) {

pthread_cond_signal(&cond);

}

pthread_mutex_unlock(&mutex);

}