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|个进程等待访问公共变量