4.3，4.4 操作系统与书同步课件.pptVIP

4.3.1 整型信号量 1．整型信号量定义 设s为一个需要初始化值的正整型量。对s的访问只能通过P、V操作。 s称为整型信号量，其初值可为1或0。 V操作的原语定义如下： V(s) { s = s + 1; } writer: /* 写者进程 */ begin while(需要写数据) { P(wmutex); 完成写操作; V(wmutex); } end; 4.4.2 读者和写者问题(续) coend; 只要有读者进程访问数据文件，写者进程就没有机会写数据文件。这样对读者进程有利，对写者进程很可能会造成长时间饥饿。 为了照顾写者进程，可以采用另一种方案，即： ? 所有在写者进程之后请求访问数据文件的读者进程，必须等待写者进程访问完后才有机会访问数据； ? 读者进程在等待期间到来的写者进程，应该在读者进程之前访问数据文件，这些写者进程按照先来先获得机会的方式互斥访问数据文件； ? 在读者进程等待期间来的所有写者进程访问完数据文件后，读者进程才有机会访问数据文件。 4.4.2 读者和写者问题(续) 用信号量mutex限制进程对数据文件的互斥访问，用信号量rmutex用于读者进程计数，用信号量wmutex用于对写者进程的计数。 用信号量rblock实现阻止第1个写者进程之后的第1个读者进程进入。用信号量wblock阻止其他的读者进程进入。 4.4.2 读者和写者问题(续) /* 计数读者进程、写者进程 */ var readcount,writecount:integer: = 0,0; /* 设置读者进程计数、写者进程计数、数据文件互斥访问信号量并置初值 */ var rmutex,wmutex，mutex:semaphore =1，1，1; /* 设置其他的读者进程、其他的写者进程阻塞信号量并置初值 */ var rblock，wblock:semaphore =1,1; reader; /* 创建读者进程 */ writer; /* 创建写者进程 */ cobein 4.4.2 读者和写者问题(续) reader： / * 读者进程*/ begin while(需要读数据) { P(wblock); P(rblock); P(rmutex); readcount = readcount + 1; if readcount == 1 then P(mutex); V(rmutex); V(rblock); V(wblock); 4.4.2 读者和写者问题(续) 4.4.2 读者和写者问题(续) ? … 完成一个读操作; … P(rmutex); readcount = readcount – 1; if readcount = 0 then V(mutex); V(rmutex); } end; writer： /* 写者进程 */ begin while(需要写数据) { P(wmutex); writecount = writecount + 1; if (writecount == 1) P(rblock); V(wmutex); P(mutex); 完成写操作; V(mutex); 4.4.2 读者和写者问题(续) V(mutex); P(wmutex) writecount = writecount - 1; if (writecount == 0) V(rblock); V(wmutex); } end; 4.4.2 读者和写者问题(续) coend; 4.4.3 哲学家就餐问题 1965年Dijkstra提出了被称为“哲学家进餐问题”的进程同步问题。 5个哲学家围坐在一张圆桌周围一边就餐一边思考。每个哲学家面前有一盘通心粉。通心粉很滑，每个人需要两把叉子才能就餐，就餐完毕放下叉子继续思考。但是，只有5把叉子，如图4.7所示。 叉子是临界资源。用信号量数组fork[5]表示5把叉子，信号量