1
如果一个过程被用于初始的可变和另一过程使用可变留下二进制信号量锁定
的处理是同步的这样的:
Binary_semaphore s=0;
p1() {
int x =1 ;
semaphore_signal_B (s);
}
p2() {
semaphore_wait_B (s);
int y =x+1 ;
semaphore_signal_B (s); //<---- this line
}
是对最后一行P2必要?知道p1,p2和s只能使用一次。