semaphore mutex_y1 = 1;//用于线程1和线程3的互斥访问
semaphore mutex_y2 = 1;//用于线程2和线程3的互斥访问
semaphore mutex_z = 1;//用户全局变量z的互斥访问

//复数的结构类型定义
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;
    wait(mutex_y1);
    w=add(x,y);
    signal(mutex_y1);
    ...
}

thread2
{
    cnum w;
    wait(mutex_y2);
    wait(mutex_z);
    w=add(y,z);
    signal(mutex_z);
    signal(mutex_y2);
    ...
}

thread3
{
    cnum w;
    w.a=1;
    w.b=2;
    wait(mutex_z);
    z=add(z,w);
    signal(mutex_z);
    wait(mutex_y1);
    wait(mutex_y2);
    y=add(y,w);
    signal(mutex_y1);
    signal(mutex_y2);
    ...
}