semaphore mutex = 0, w = 0, rw = 0;
int count = 0;

thread1
{
  P(w);
  P(mutex);
  if(count == 0)
    P(rw);
  count++;
  V(mutex);
  V(w);
  cnum w;
  w=add(x, y);
  ...
  P(mutex);
  count--;
  if(count == 0)
    V(rw);
  V(mutex);
}

thread2
{
  P(w);
  P(mutex);
  if(count == 0)
    P(rw);
  count++;
  V(mutex);
  V(w);
  cnum w;
  w=add(y, z);
  ...
  P(mutex);
  count--;
  if(count == 0)
    V(rw);
  V(mutex);
}

thread3
{
  P(w);
  P(rw);
  cnum w;
  w.a = 1;
  w.b = 1;
  z = add(z, w);
  y = add(y, w);
  ...
  V(rw);
  V(w);
}