Barrier 是一种同步构造，其中一组进程全局同步，即该组中的每个进程到达屏障并等待所有其他进程到达，然后所有进程离开屏障。设集合中的进程数为 3，S 为具有常用 P 和 V 函数的二进制信号量。考虑以下 C 语言实现的障碍，其行号显示在左侧。
void barrier (void) {
1: P(S);
2: process_arrived++;
3. V(S);
4: while (process_arrived !=3);
5: P(S);
6: process_left++;
7: if (process_left==3) {
8: process_arrived = 0;
9: process_left = 0;
10: }
11: V(S);
}
变量 process_arrived 和 process_left 在所有进程之间共享并被初始化为零。在并发程序中，所有三个进程在需要全局同步时都会调用屏障函数。
上面barrier的实现是错误的。以下哪一项是正确的?
(A)由于使用了二进制信号量S，barrier实现错误
(B)如果有两个屏障，屏障实现可能会导致死锁
调用立即连续使用。
(C)第 6 行到第 10 行不需要在临界区中
(D)如果只有两个进程而不是三个进程，屏障实现是正确的。答案：(乙)
说明： process_arrived 有可能大于3，进程到达后不可能再次变成3，从而导致死锁。
这个问题的测验