#ifndef SEMAPHORE_HEADER
#define SEMAPHORE_HEADER
/***************************************************************************
* semaphore.h
*
* Sat Aug 24 23:53:49 2002
* Copyright 2002 Roman Dementiev
* dementiev@mpi-sb.mpg.de
****************************************************************************/
#ifdef STXXL_BOOST_THREADS
#include <boost/thread/mutex.hpp>
#include <boost/thread/condition.hpp>
#else
#include <pthread.h>
#endif
#include "utils.h"
namespace stxxl
{
class semaphore
{
int v;
#ifdef STXXL_BOOST_THREADS
boost::mutex mutex;
boost::condition cond;
#else
pthread_mutex_t mutex;
pthread_cond_t cond;
#endif
semaphore(const semaphore &); // forbidden
semaphore & operator = (const semaphore &); // forbidden
public:
semaphore (int init_value = 1):v (init_value)
{
#ifndef STXXL_BOOST_THREADS
stxxl_nassert (pthread_mutex_init (&mutex, NULL),resource_error);
stxxl_nassert (pthread_cond_init (&cond, NULL),resource_error);
#endif
};
~semaphore ()
{
#ifndef STXXL_BOOST_THREADS
int res = pthread_mutex_trylock (&mutex);
if (res == 0 || res == EBUSY)
stxxl_nassert (pthread_mutex_unlock
(&mutex),resource_error)
else
stxxl_function_error(resource_error)
stxxl_nassert (pthread_mutex_destroy
(&mutex),resource_error);
stxxl_nassert (pthread_cond_destroy (&cond),resource_error);
#endif
}
// function increments the semaphore and signals any threads that
// are blocked waiting a change in the semaphore
int operator ++ (int)
{
#ifdef STXXL_BOOST_THREADS
boost::mutex::scoped_lock Lock(mutex);
int res = ++v;
Lock.unlock();
cond.notify_one();
#else
stxxl_nassert (pthread_mutex_lock (&mutex),resource_error);
int res = ++v;
stxxl_nassert (pthread_mutex_unlock (&mutex),resource_error);
stxxl_nassert (pthread_cond_signal (&cond),resource_error);
#endif
return res;
};
// function decrements the semaphore and blocks if the semaphore is
// <= 0 until another thread signals a change
int operator -- (int)
{
#ifdef STXXL_BOOST_THREADS
boost::mutex::scoped_lock Lock(mutex);
while (v <= 0)
cond.wait(Lock);
int res = --v;
#else
stxxl_nassert (pthread_mutex_lock (&mutex),resource_error);
while (v <= 0)
stxxl_nassert (pthread_cond_wait
(&cond, &mutex),resource_error);
int res = --v;
stxxl_nassert (pthread_mutex_unlock (&mutex),resource_error);
#endif
return res;
};
// function does NOT block but simply decrements the semaphore
// should not be used instead of down -- only for programs where
// multiple threads must up on a semaphore before another thread
// can go down, i.e., allows programmer to set the semaphore to
// a negative value prior to using it for synchronization.
int decrement ()
{
#ifdef STXXL_BOOST_THREADS
boost::mutex::scoped_lock Lock(mutex);
return (--v);
#else
stxxl_nassert (pthread_mutex_lock (&mutex),resource_error);
int res = --v;
stxxl_nassert (pthread_mutex_unlock (&mutex),resource_error);
return res;
#endif
};
// function returns the value of the semaphore at the time the
// critical section is accessed. obviously the value is not guarenteed
// after the function unlocks the critical section.
//int operator()
//{
// stxxl_nassert(pthread_mutex_lock(&mutex),resource_error);
// int res = v;
// stxxl_nassert(pthread_mutex_unlock(&mutex),resource_error);
// return res;
//};
};
}
#endif