semaphore mutex = 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;
    wait(mutex);
    w=add(x,y);
    p(mutex);
    ...
}

thread2
{
    cnum w;
    wait(mutex);
    w=add(x,y);
    p(mutex);
    ...
}

thread3
{
    cnum w;
    w.a=1;
    w.b=2;
    wait(mutex);
    z=add(z,w);
    p(mutex);
    wait(mutex);
    y=add(y,w);
    p(mutex);
    ...
}