某进程中有3个并发执行的线程thread1、thread2和thread3,其伪代码如下所示。
semaphore mutex_y1=1;//mutex_y1用于thread1与thread3对变量y的互斥访问。
semaphore mutex_y2=1;//mutex_y2用于thread2与thread3对变量y的互斥访问。
semaphore mutex_z=1; //mutex_z用于变量z的互斥访问。
互斥代码如下: