//复数的结构类型定义
typedef struct
{
    float a;
    float b;
}cnum;
cnum x,y,z; //全局变量

semaphore mutex_y1 = 1;//线程1和线程3之间关于全局变量y的互斥锁
semaphore mutex_y2 = 1;//线程2和线程3之间关于全局变量y的互斥锁
semaphore mutex_z = 1;//线程2和线程3之间关于全局变量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(mutex_y1);
    w=add(x,y);
    v(mutex_y1);
    ...
}

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

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