---

1):不是,临界区是访问临界资源的代码。

2）：

semaphore empty=1,full=0;

p1{

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

}

p2{

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

}

3):

semaphore mutex=1,full=1;

p1{

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

}

p2{

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

}

---