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只能使用一次。