---

1)是临界区 如果p1 p2同时执行C1向B中写入数据分组可能会导致数据不一致 ，所以要求任何时刻只能有一个进程访问B所以实现C1的代码是临界区

2）

semaphore mutex=1；//互斥执行 
semaphore full=0；//初始空
P1（）{
  while（TRue）{
    p（mutex）；//互斥
    C1/执行C1向B写入数据
    V（mutex）；
    V（full）；//与p2同步
  }
}
P2（）{
  while（TRue）{
    P（full）；//有数据时才能访问
    p（mutex）；//互斥
    C2/执行C2从B取出数据
    V（mutex）；
  }
}

3）

semaphore mutex=1；//互斥访问
p1（）{
    p（mutex）；//互斥访问B
    C2//执行C2
    V（mutex）；//释放互斥锁
}
p2（）{
    p（mutex）；//互斥访问B
    C2//执行C2
    V（mutex）；//释放互斥锁
}

 

---