全局变量需要互斥访问。

thread1会访问全局变量x和y。

thread2会访问全局变量y和z。

thread3会访问全局变量y和z。

thread1和thread2对y的访问均为读操作，不会改变y的值，两者可以并行执行，因此

thread1和thread3需要互斥访问y，构造信号量semaphore mutex_y1＝1。

thread2和thread3需要互斥访问y，构造信号量semaphore mutex_y2＝1。

thread2和thread3需要互斥访问z，构造信号量semaphore mutex_z＝1。

综上，添加这些信号量后伪代码如下：

semaphore mutex_y1; // mutex_y1用于thread1和thread3对变量y的互斥访问
semaphore mutex_y2; // mutex-y2用于thread2和thread3对变量y的互斥访问
smeaphore mutex_z;  // mutex_z用于变量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);
    ...
}