互斥信号量问题.docVIP

互斥信号量问题 2010年01月10日 星期日 下午 05:53信号量机制一般信号量集的几种特殊情况： Swait(S, d, d)，只有一个信号量S，允许每次申请d个资源，若现有资源数少于d，不予分配。 Swait(S, 1, 1)，蜕化为一般的记录型信号量(S1时)或互斥信号量(S=1时)。 Swait(S, 1, 0)，当S=1时，允许多个进程进入某特定区，当S变为0后，阻止任何进程进入特定区，相当于可 控开关。 产者——消费者问题 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 in nexp; … Swait(empty, mutex); buffer(in):=nexp; in:=(in+1) mod n; Ssignal(mutex, full); until false; end consumer : begin repeat Swait(full, mutex); nextc:=buffer(out); out:=(out+1) mod n; Ssignal(mutex, empty); consume the item in nexc; until false; end parend end 读者——写者问题：一个数据文件或记录可被多个进程共享。 只要求读文件的进程称为“Reader进程”，其它进程则称为“Writer进程”。 允许多个进程同时读一个共享对象，但不允许一个Writer进程和其他Reader进程或Writer进程同时访问共享对 象。 “读者——写者问题”是保证一个Writer进程必须与其他进程互斥地访问共享对象的同步问题。为实现Reader 与Writer进程间在读或写时的互斥而设置了一个互斥信号量Wmutex。设置整型变量Readcount表示正在读的进程 数目。 由于只要有一个Reader进程在读，便不允许Writer进程去写。因此，仅当Readcount=0，表示尚无Reader进程在 读时，Reader才需要执行Wait(Wmutex)操作。若Wait(Wmutex)操作成功，Reader进程便可去读，相应地，做 Readcount+1操作。 Var rmutex, wmutex :semaphore :=1, 1; Readcount :integer :=0; begin parbegin Rea