经典进程同步互斥问题集.pdfVIP

Generated by Foxit PDF Creator © Foxit Software For evaluation only. 【例1】有三个进程PA、PB 和PC 协作解决文件打印问题：PA 将文件记录从磁盘读入内存的 缓冲区 1 中，每执行一次读一个记录；PB 将缓冲区 1 中的内容复制到缓冲区2 中，每执行一次复 制一个记录；PC 将缓冲区 2 中的内容打印出来，每执行一次打印一个记录。缓冲区的大小与记录 大小一样。请用信号量来保证文件的正确打印。 答：该文件打印过程的同步算法可描述如下： var empty1,full1,empty2,full2:semaphore := 1,0,1,0 ; begin parbegin PA:begin repeat 从磁盘读一个记录; wait(empty1); 将记录存放到缓冲区 1 中; signal(full1); until false end PB:begin Repeat wait(full1); 从缓冲区1 中取出一个记录; signal(empty1); wait(empty2); 将记录复制到缓冲区2 中; signal(full2); until false end PC:begin repeat wait(full2); 从缓冲区2 中取出一个记录; signal(empty2); 将取出的记录打印出来; until false end parend end 【例2 】进程A1 、A2、…An1 通过m 个缓冲区向进程B1 、B2、…Bn2 不断地发送消息。发送 和接收工作遵循如下规则： （1）每个发送进程一次发送一个消息，写入一个缓冲区，缓冲区大小与消息长度一样。 （2 ）对于每一个消息，B1 、B2 、…Bn2 都需各接收一次，读入自己的数据区内。 （3 ）m 个缓冲区都满时，发送进程等待；没有可读的消息时，接收进程等待。 试用wait,signal 操作描述它们的同步关系。 分析：本题是生产者－消费者问题的一个变形。由于每个缓冲区都只写一次，但要读 n2 次， 故我们可将每个缓冲区看成是由n2 格组成的。只有当某个缓冲区的n2 格都空闲时，才允许写入， 1 Generated by Foxit PDF Creator © Foxit Software For evaluation only. 而且写一次缓冲区相当于将该缓冲区的n2 格全部写一遍。Bj 进程从缓冲中取消息时，它只取相应 缓冲的第j 格。由于每个Bj 取消息的速度不同，故需为它们分别设置指针outj，用来指示从哪个缓 冲区的第j 格中取消息。 答：我们将每个缓冲区看成是由n2 格组成的，可为本题设置下列信号量：mutex,初值为1，用 来实现对缓冲区的互斥访问；empty[i](i