semaphore Ymutex=1;
semaphore Zmutex=1;

thread1
{
    cnum w;
    P(Ymutex);
    w=add(x,y);
    V(Ymutex);
}

thread2
{
    cnum w;
    P(Zmutex);
    P(Ymutex);
    w=add(y,z);
    V(Ymutex);
    V(Zmutex);
}

thread3
{
    cnum w;
    w.a=1;
    w.b=2;

    P(Zmutex);
    z=add(z,w);
    V(Zmutex);

    P(Ymutex);
    y=add(y,w);
    V(Ymutex);
}