信号量机制例题集2.ppt

信号量机制例题 A、B两种产品 阅览室 吸烟者 出租车 南开大学和天津大学 司机和售票员 分拣黑、白棋子 爸爸,妈妈,儿子,女儿 理发师 R，M，P，共享同一缓冲区 信箱传递消息 生产者-消费者 和尚吃水 读者-写者 过独木桥 读者——写者问题、写者优先 桥上不允许两车交会，但允许同方向多辆车依次通过。 猴子过峡谷 单行车道 生产者—消费者问题： 有一群生产者进程生产产品供给消费者进程消费，为使两者并发执行，在两者之间设置具有n个缓冲区的缓冲池，生产者进程所生产的产品放入一个缓冲区中，消费者进程可从一个缓冲区中取走产品去消费。 生产者-消费者 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; … wait(empty); wait(mutex); buffer(in):=nexp; in:=(in+1) mod n; signal(mutex); signal(full); until false; end consumer : begin repeat wait(full); wait(mutex); nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); signal(empty); consume the item in nexc; until false; end parend end 信号量机制例题： A、B两种产品 有一个仓库，可以存放A、B两种产品，但要求：（1）每次只能存入一个产品（ A或B）（2）-NA产品数量-B产品数量M A、B两种产品Semaphore mutex=1;sa=m-1;sb=n-1 Main() { while(true) { 取一个产品； if(取得是A产品) { p(sa); p(mutex); 将产品入库； v(mutex); v(sb); } Else { p(sb); p(mutex); 将产品入库； v(mutex); v(sa); 返回