第2章(郝2013.ppt

* 制作人：郝振明 在利用信箱通信时，在发送进程和接收进程之间，存在以下四种关系： (1) 一对一关系。这时可为发送进程和接收进程建立一条两者专用的通信链路，使两者之间的交互不受其他进程的干扰。 (2) 多对一关系。允许提供服务的进程与多个用户进程之间进行交互，也称为客户/服务器交互(client/server interaction)。 (3) 一对多关系。允许一个发送进程与多个接收进程进行交互，使发送进程可用广播方式，向接收者(多个)发送消息。 (4) 多对多关系。允许建立一个公用信箱，让多个进程都能向信箱中投递消息；也可从信箱中取走属于自己的消息。 曲钳掺羚熊雅滚猪辕饯篙裂失说毒跨徒屯艳辨婉傻淫摈沽逐歌嚣抹谬范切第2章(郝)2013第2章(郝)2013 * 制作人：郝振明 （略去不讲） 在生产者—消费者问题中应注意：首先，在每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现； 其次，对资源信号量empty和full的wait和signal操作，同样需要成对地出现，但它们分别处于不同的程序中。例如，wait(empty)在计算进程中，而signal(empty)则在打印进程中，计算进程若因执行wait(empty)而阻塞， 则以后将由打印进程将它唤醒；最后，在每个程序中的多个wait操作顺序不能颠倒。应先执行对资源信号量的wait操作，然后再执行对互斥信号量的wait操作，否则可能引起进程死锁。 窗潜场褒页挺事蛇饮咏嚣普怠呕虱峭伊储局拭脆郡畜还撞株士虏龋报洛间第2章(郝)2013第2章(郝)2013 * 制作人：郝振明 2. 利用AND信号量解决生产者—消费者问题 ar 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 nextp; … Swait(empty, mutex); buffer(in)∶ =nextp; in∶ =(in+1)mod n; Ssignal(mutex, full); until false; end 群附官冀谎帆蒲秃图煌缝幸峪览抛耘具琳庶芭愚卯道嫂婚警琉澎锣揽符武第2章(郝)2013第2章(郝)2013 * 制作人：郝振明 consumer:begin repeat Swait(full, mutex); nextc∶ =buffer(out); out∶ =(out+1) mod n; Ssignal(mutex, empty); consumer the item in nextc; until false; end parend end 褥昔潮晴货且歼空豢遍圭找篡场柒拂娱帕擎撰顿釉孩秒火膀浴民叶翁池纷第2章(郝)2013第2章(郝)2013 * 制作人：郝振明 2.4.2 哲,,,,家进餐问题 1. 利用记录型信号量解决哲,,,,家进餐问题 经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲,,,,家使用。为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量构成信号量数组。其描述如下： Var chopstick: array［0, …, 4］ of semaphore; 剔捎单衷鉴芹优邯到啼士绑会寐仔弊兰奄菌史油琵莉姿诌疥彝耘砷故期顷第2章(郝)2013第2章(郝)2013 * 制作人：郝振明 所有信号量均被初始化为1， 第i位哲,,,,家的活动可描述为： repeat wait(chopstick［i］); wait(chopstick［(