---

operator1{                  operator2{                      初始变量 semaphore A = 0 ； semaphore B = 0； semaphore C =0 ； semaphore D = 0；

操作A；                          wait(A);

signal(A)；                    wait(B);

操作B；                           操作C；

signal(B)；                     signal(C);

}                                                    }

operator3{

操作D；  signal(D)             wait(C);     wait(D) ; 操作E；} 

---