---

1):是,临界区是访问临界资源的代码,P1,P2需要互斥执行C1。

2）：

semaphore empty=1,full=0;//empty用来指示缓冲区空的个数，full用来指示缓冲区中数据的个数;

p1{

    wait(empty);   // 等待缓冲区为空
    执行C1（写入数据到B）;
    signal(full);  // 标记缓冲区有数据

}

p2{

wait(full);    // 等待缓冲区有数据
执行C2（从B中读出数据）;
signal(empty); // 标记缓冲区为空

}

3):

semaphore mutex=1,full=1;//mutex用来表述互斥进入缓冲区,full用来指示缓冲区中数据的个数;

p1{

wait(full);    // 等待缓冲区有数据
wait(mutex);   // 互斥访问缓冲区
执行C3（修改B中的数据）;
signal(mutex); // 释放缓冲区访问权
signal(full);  // 保持缓冲区有数据状态（C3不改变B的非空性）

}

p2{

wait(full);    // 等待缓冲区有数据
wait(mutex);   // 互斥访问缓冲区
执行C3（修改B中的数据）;
signal(mutex); // 释放缓冲区访问权
signal(full);  // 保持缓冲区有数据状态

}

---