n个并发进程共用一个公共变量Q,写出用信号灯实现n个进程互斥的程序描述,给出信号灯值得取值范围,并说明每个取值范围的物理意义。
答:
var mutex: semaphore:=1;
begin
cobegin
process i : begin // i = 1,2,……,n
repeat
P(mutex);
对公共变量Q的访问;
V(mutex);
reminder section
until false;
end
coend
信号量mutex的取值范围为mutex.value∈[1,-(n-1)]
1、 值为1时表示没有进程访问公共变量
2、 值为2时表示有一个进程正在访问公共变量
3、 值为3时表示有一个进程正在访问公共变量,同时又|mutex.value|个进程等待访问公共变量
大江淘尽,各数风流!