---

(1)实现C1的代码是临界区，因为不同进程同时对缓冲区B进行写操作时，需要互斥访问，否则可能会产生脏数据，造成数据冲突

 

(2)

CoBegin{

semaphore mutex = 1;互斥访问缓冲区的锁
semaphore empty = 0;//缓冲区内还能读多少数据
semaphore full = 1;//缓冲区内还能写多少数据

P1(){
wait(full);
wait(mutex);
执行C1;
signal(mutex);
signal(empty);


}
P2(){
wait(empty);
wait(mutex);
执行C2；
signal(mutex);
signal(full);
}

}CoEnd

 

(3)

CoBegin{

semaphore mutex = 1;互斥访问缓冲区的锁



P1(){

wait(mutex);
执行C3;
signal(mutex);



}
P2(){

wait(mutex);
执行C3；
signal(mutex);

}

}CoEnd

 

---