---

semaphore xmutex=1,ymutex=1,zmutex=1;

typedef struct
{
    float a;
    float b;
}cnum;
cnum x,y,z; //全局变量

//计算两个复数之和
cnum add( cnum p,cnum q)
{
    cnum s;
    s.a=p.a+q.a;
    s.b=p.b+q.b;
    return s;
}

thread1
{
    cnum w;

    P(xmuttex);

    P(ymutex);
    w=add(x,y);

    V(ymujtex);

    V(xmutex);
    ...
}

thread2
{
    cnum w;

    P(ymutex);

    P(zmutex);
    w=add(y,z);

    P(zmutex);

    V(ymutex);
    ...
}

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);
    ...
}

---