某进程中有3个并发执行的线程thread1、threa

//复数的结构类型定义
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;
    w = add(x, y);
    …
}
 
thread2
{
    cnum w;
    w = add(y, z),
    …
}

thread3
{
    cnum w;
    w.a = 1;
    w.b = 1;
    z = add(z, w);
    y = add(y, w);
    …
}

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=1；

    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)；

    ……

}