Var mutex: semaphore :=1;
begin
parbegin
process 1: begin
repeat
wait(mutex);
critical section
signal(mutex);
remainder section
until false;
end
parend
wait(mutex)和signal(mutex)必须成对出现
2.利用信号量实现前驱关系
Var a, b, c, d, e, f, g; semaphore :=0, 0, 0, 0, 0, 0, 0;
begin
parbegin
begin S1; signal(a); signal(b); end;
begin wait(a); S2; signal(c); signal(d); end;
begin wait(b); S3; signal(e); end;
begin wait(c); S4; signal(f); end;
begin wait(d); S5; signal(g); end;
begin wait(e); wait(f); wait(g); S6; end;
parend
end
进程P1、P2、P3、P4和P5 的前趋图如下, 若用PV操作控
制进程P1～P5并发执行的过程，则需要设置 6 个信号量
S1、S2、S3、S4、S5和S6，且信号量S1～S6的初值都等
于零。下图中 a和 b 处应分别填写 ( C ) ；c和d处应分别
填写 ( B ) ，e和f处应分别填写( C ) 。
signal操作 == V操作 // wait 操作==P操作
(23)
A. P(S1) P(S2) 和P(S3) P(S4) B. P(S1) V(S2) 和P(S2) V(S1)
C. V(S1) V(S2) 和V(S3) V(S4) D. P(S1) P(S2) 和V(S1) V(S2)
(24)
A. P(S1) P(S2) 和V(S3) V(S4) B. P(S1) P(S3) 和V(S5) V(S6)
C. V(S1) V(S2) 和P(S3) P(S4) D. P(S1) V(S3) 和P(S2) V(S4)
(25)
A. P(S3) P(S4) 和V(S5) V(S6) B. V(S5) V(S6) 和P(S5) P(S6)
C. P(S2) P(S5) 和P(S4) P(S6) D. P(S4) V(S5) 和P(S5) V(S6)
