整型訊號量

1. wait(S){
2. while (S<=0);
3. S=S-1;
4. }
5. signal(S){
6. S=S+1;
7. }

記錄型訊號量

1. typedef struct{
2. int value;
3. structprocess *L;
4. } semaphore;

1. void wait (semaphoreS) { //相當於申請資源
2. S.value--;
3. if(S.value<0) {
4. add this process toS.L;
5. block(S.L);
6. }
7. }

1. void signal (semaphoreS) { //相當於釋放資源
2. S.value++;
3. if(S.value<=0){
4. remove a process P fromS.L;
5. wakeup(P);
6. }
7. }

利用訊號量實現同步

1. semaphoreS = 0; //初始化訊號量
2. P1 ( ) {
3. // …
4. x; //語句x
5. V(S); //告訴程序P2,語句乂已經完成
6. }
7. P2()）{
8. // …
9. P(S) ; //檢查語句x是否執行完成
10. y; // 檢查無誤，執行y語句
11. // …
12. }

利用訊號量實現程序互斥

1. semaphoreS = 1; //初化訊號量
2. P1 ( ) {
3. // …
4. P(S); // 準備開始訪問臨界資源，加鎖
5. // 程序P1的臨界區
6. V(S); // 訪問結束，解鎖
7. // …
8. }
9. P2() {
10. // …
11. P(S); //準備開始訪問臨界資源，加鎖
12. // 程序P2的臨界區；
13. V(S); // 訪問結束，解鎖
14. // …
15. }

利用訊號量實現前驅關係

1. semaphoreal=a2=bl=b2=c=d=e=0; //初始化訊號量
2. S1() {
3. // …
4. V(al); V(a2) ; //S1已經執行完成
5. }
6. S2() {
7. P(a1); //檢查S1是否執行完成
8. // …
9. V(bl); V(b2); // S2已經執行完成
10. }
11. S3() {
12. P(a2); //檢查S1是否已經執行完成
13. // …
14. V(c); //S3已經執行完成
15. }
16. S4() {
17. P(b1); //檢查S2是否已經執行完成
18. // …
19. V(d); //S4已經執行完成
20. }
21. S5() {
22. P(b2); //檢查S2是否已經執行完成
23. // …
24. V(e); // S5已經執行完成
25. }
26. S6() {
27. P(c); //檢查S3是否已經執行完成
28. P(d); //檢查S4是否已經執行完成
29. P(e); //檢查S5是否已經執行完成
30. // …;
31. }

分析程序同步和互斥問題的方法步驟