---

(1)是。因为对缓冲区的访问需要做到互斥访问，所以C1的代码是临界区。

(2)semaphore S=0;//同步信号量

P1(){

执行C1；

V(S);

}

P2(){

P(S);

执行P2；

}

(3)semaphore mutex=1;//互斥信号量

P1(){

P(mutex);

执行C3；

V(mutex);

}

P2(){

P(mutex);

执行C3；

V(mutex);

}