nptl/DESIGN-sem.txt

   1 Semaphores pseudocode
   2 ==============================
   3
   4        int sem_wait(sem_t * sem);
   5        int sem_trywait(sem_t * sem);
   6        int sem_post(sem_t * sem);
   7        int sem_getvalue(sem_t * sem, int * sval);
   8
   9 struct sem_t {
  10
  11    unsigned int count;
  12          - current semaphore count, also used as a futex
  13 }
  14
  15 sem_wait(sem_t *sem)
  16 {
  17   for (;;) {
  18
  19     if (atomic_decrement_if_positive(sem->count))
  20       break;
  21
  22     futex_wait(&sem->count, 0)
  23   }
  24 }
  25
  26 sem_post(sem_t *sem)
  27 {
  28   n = atomic_increment(sem->count);
  29   futex_wake(&sem->count, n);
  30 }
  31
  32 sem_trywait(sem_t *sem)
  33 {
  34   if (atomic_decrement_if_positive(sem->count)) {
  35     return 0;
  36   } else {
  37     return EAGAIN;
  38   }
  39 }
  40
  41 sem_getvalue(sem_t *sem, int *sval)
  42 {
  43   *sval = sem->count;
  44   read_barrier();
  45 }