CODEWITHSUNDEEP
cconcurrencymonitorsemaphore
Bobby S
Bobby S

Reputation: 4116

Concurrency - A monitor that implements semaphores

I need help constructing a monitor that implements a semaphore, and simple C example will do.

This is to demonstrate that a monitor can be used any place a semaphore can be used.

Upvotes: 2

Views: 4546

Answers (2)

michaeljiz
michaeljiz

Reputation: 194

This is the main answer on the Wikipedia article regarding monitors.

monitor class Semaphore
{
  private int s := 0
  invariant s >= 0
  private Condition sIsPositive /* associated with s > 0 */

  public method P()
  {
    if s = 0 then wait sIsPositive
    assert s > 0
    s := s - 1
  }

  public method V()
  {
    s := s + 1
    assert s > 0
    signal sIsPositive
  }
}

Upvotes: 0

chill
chill

Reputation: 16898

If you say mutex/condvars are allowed, then check this:

#include <pthread.h>

typedef struct
{
  unsigned int count;
  pthread_mutex_t lock;
  pthread_cond_t cond;
} semaph_t;

int
semaph_init (semaph_t *s, unsigned int n)
{
  s->count = n;
  pthread_mutex_init (&s->lock, 0);
  pthread_cond_init (&s->cond, 0);
  return 0;
}

int
semaph_post (semaph_t *s)
{
  pthread_mutex_lock (&s->lock); // enter monitor
  if (s->count == 0)
    pthread_cond_signal (&s->cond); // signal condition
  ++s->count;
  pthread_mutex_unlock (&s->lock); // exit monitor
  return 0;
}

int
semaph_wait (semaph_t *s)
{
  pthread_mutex_lock (&s->lock); // enter monitor
  while (s->count == 0)
    pthread_cond_wait (&s->cond, &s->lock); // wait for condition
  --s->count;
  pthread_mutex_unlock (&s->lock); // exit monitor
  return 0;
}

Upvotes: 8

Related Questions