---

1、是临界区，因为C1为写操作，而P1和P2都要向缓冲区B写一个数据分组，这两个操作明显是互斥的，不能同时进行，因此

2、

Semaphore empty;Semaphore full;Semaphore mutex = 1;

当empty = 1， full = 0;

P1: write signal(full);

P2 wait(full); read;

3;

P1 wait(mutex); repair; signal(mutex);

P2  wait(mutex); repair; signal(mutex);