《计算机操作系统原理与windows2003实践教程.ppt

* 解： 设置四个信号量empty1、empty2、full1和full2。初值设置为empty1=1，full1＝0，empty2=1，full2=0。 PA： While(1){ P（empty1）； 从磁盘中读取记录， 并放入到Buffer1中； V（full1）； ｝ PB： While(1){ P（full1）； P（empty2）； 从缓冲区Buffer1中 读取记录； 将记录复制到Buffer2中； V（full2）； P（empty1）； ｝ PC： While(1){ P（full2）； 从缓冲区Buffer2中取出记录，并打印出来； V（empty2）； ｝ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 2.5 经典进程同步问题 2.5.1　生产者－消费者问题 2.5.2　读者－写者问题 2.5.3　哲学家进餐问题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 生产者－消费者问题 设有一群生产者P1，P2，…Pm和一群消费者Q1，Q2，…Qn。 假定在生产者和消费者之间的公用缓冲池中，具有n个缓冲区，这时可以利用环形缓冲池 out in 满 空 环形缓冲池 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 解：设互斥信号量mutex，初值为1 信号量empty表示缓冲池中的空缓冲单元数目，初值为n 信号量full表示缓冲池中的满缓冲单元数目，初值为0 整型变量in和out，分别指示首空缓冲单元序号和首满缓冲单元序号，初值均为0。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 读者－写者问题 “读者－写者”问题，就是保证一个写进程必须与其他进程互斥地访问共享数据对象的问题。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 第一类：读者优先 问题描述：如果是一个新读者进程进入系统： 若既没有读者也没有写者，则新读者可以读； 若已经有写者在等，但有其他读者正在读，则新读者也可以读； 若只有写者在写，则新读者需要等。 如果是一个新写者进程进入系统： 若没有读者，则新写者可以写； 若有读者，则新写者必须等待； 若有其他写者，则新写者必须等待。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 解：设信号量W，用来保证读者与写者、写者与写者之间的互斥，初值为1；全局变量readcount用来统计正在读的读者数目，初值为0；信号量mutex，实现对临界资源readcount的访问，初值为1。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 第二类：写者优先 一旦有写者到达，后续的读者