信号量操作的几个重要应用

既不能用餐，也不能让别人用的情况。
Var chopstick array[5] of semaphore:={1,1,1,1,1};
process
repeat
think;
Swait(chopstick[(i+1)mod 5],chopstick[i]);
eat;
singal(empty); //空位数加1
end
parend
end
***********************************************************************************
3.用AND型信号量实现哲学家用餐问题
原理:先判断左筷子，再判断右筷子，只有当两只筷子都在时，才拿起筷子用餐，排除了每拿着一只筷子
singal(wmutex);
end
parend
end
原理:可以有多个同时读，但不能写与读同时进行，当然也不能多个进程同时写。
实现方法:在第一个读进程时，需要占用仅一个写信号量，而写信号量是互斥的，
这时写进程没有资源不能生成。此时，如果再在生成新的读进程(ReadCount>0)就不用去占用写信号量了
(事实上也没有写信号量了)。这样，就实现了多个读进程同步。然后读进程一个个执行完了，退出，读进程
S.value:=S.value+1;
if S.value<=0 then wakeup(S.L);
end
******************************************************************************
2.利用记录型信号量实现读写操作
...
wait(empty); //放商品进去之前看看还有没有空位(empty数目)
wait(mutex);
buffer[in]:=nextp;
in:=(in+1) mod n;
singal(mutex);
阻塞状态。
Var rmutex,wmutex: semaphore:=1,1;
ReadCount:integer:=0;
begin
parbegin
Reader:begin
repeat
wait(rmutex);
ReadCount=0 then wait(wmutex);
singal(rmutex);
until false;
end
Writer:begin
repeat
wait(wmutex);
...
perform write operation
...
Var mutex,empty,full semaphore:=1,n,0;
buffer:array[0,...,n-1] of item
in,out:integer:=0,0;
begin
parbegin
producer:begin
repeat
...
produce an item nextp;
1.记录型信号量(P，V操作：原子操作)
type semaphore=record
value:=integer;
L:list of process
end
相对应的P(wait)操作和V(singal)操作可描述为：
procedure wait(S) //S是传入的信号量
var S:semaphore:
begin
S.value:=S.value-1;
if S.value<=0 then block(S.L);//block原语，对当前进程进行自我阻塞，放弃处理机，插入到链表S.L中
end
procedure Singal(S)
Var S:semaphore
begin
Ssingal(chopstick[(i+1)mod 5],chopstick[i]);
until false;
*********************************************************************************
4.用记录型信号量解决读者-写者问题
ReadCount:=ReadCount+1;
singal(rmutex);
...
perform read operation
...
wait(rmutex);
ReadCount:=ReadCount-1;
if ReadCount=0 then singal(wmutex);
数ReadCount-1,当最后一个读进程退出(ReadCount=0)时，要释放出写信号量资源。注意由于ReadCount是全局
变量，所以对其操作时，要使用一个互斥信号量。现在写信号量已经释放，可以生成写进程了。如果写进程执
了，那么它会占用仅有一个写信号量。些时，ReadCount=0 写进程若想生成，必定要申请写信号量，但事实
until false;
end
cusomer :begin
repeat
wait(full);//看看有没有商品
wait(mutex);
buffer[out]=nexc;
out:=(out+1) mod n;
singal(mutex);