CH2-1进程管理题稿.pptVIP

* ＝》例3.3 读者——写者问题 该问题描述的是： 一组读者与一组写者循环访问共享的同一个数据对象。 读者：指能对共享数据对象读的进程，写者：指对共享数据对象只要求写的进程。 规定：多个读者可以同时读这个数据对象，但决不允许多个写者同时对这个数据对象进行写操作，也不允许读者、写者同时访问这个数据对象。 * 读者—写者问题是共享数据对象的非合作进程关系的一种抽象 如文件管理模块中读文件、写文件等许多操作进程之间 异地售票程序也可看成是写者与写者的问题 读者—写者问题是指保证一个写者进程必须与其他写者或读者进程互斥地访问一个共享数据对象的同步问题。 * 问题分析： ①读者—写者之间的互斥关系： 写者与写者的互斥、写者与读者的互斥。设一个公用的初值为1的互斥信号量 RW_mutex ？但是实现了读者与读者的互斥。引入一个读者计数器变量RC。 ②读者—读者之间又有了互斥关系： 再设一个读者公用的初值为1的互斥信号量R_mutex 实现各个读者间互斥的访问RC * 问题解答： ①所用信号量和其他变量设置如下： Ⅰ）互斥信号量RW_mutex，初值为1，用于实现写者与其他写者或读者互斥地访问共享的数据对象。 Ⅱ）互斥信号量R_mutex，初值为1，用于实现诸读者互斥地访问读者计0数器变量。 Ⅲ）整型变量RC，初值为0，用于对读者进行记数。 * ②用信号量机制解决读者—写者问题的算法描述如下： 读者 写者 P（R_mutex）； P（RW_mutex）； 若RC=0则 P（RW_mutex）；对数据对象进行写操作； RC加1； （RW_mutex）； V（R_mutex）； 读数据对象； P（R_mutex）； RC减1； 若RC=0则 V（RW_mutex）； V（R_mutex）； * 总结上述几个有趣的实例的解题过程，可以得出这样的结论： 实现进程的同步互斥实际就是给进程的并发执行增加一定的限制，以保证被访问的共享数据的完整性和进程执行结果的可再现性。 * * 呵呵 * * 2.3.1 进程同步的基本概念 进程的同步synchronism——你等我，我也等你 多道程序系统中，系统中可能有许多进程，在这些进程之间可能存在以下两种关系： 1.资源共享关系 2.相互合作关系 这实际上都是一种合作进程在独自并发执行过程中的某些确定的时序点(协调点)上“你等我，我也等你”的同步约束 * 1.资源共享关系 多个进程之间彼此无关，他们并不知道其它进程的存在。例如在分时系统中，系统分别为每个用户（终端）建立一个进程。但这些进程既然同处于一个系统中，也就必然存在着资源共享的关系，如共享CPU和I/O设备等。此时，进程的主要任务，是保证各个进程能互斥地访问临界资源。所以，系统中的资源应该不允许用户进程直接使用，而应该由系统同一分配。例如：在仅有一台打印机的系统中，两个进程提出打印请求。 2.相互合作关系 例如输入进程、计算进程、打印进程三者之间就是相互合作的关系。 * 一、同步的定义 进程同步：指的是两个或多个进程为了合作完成同一个任务，在执行速度或某些个确定的时序点上必须相互协调，即一个进程的执行依赖于另一个进程——其合作伙伴的消息，当一个进程到达了某一确定点而没有得到合作伙伴发来的“已完成某些操作”的消息时必须等待，直到该消息到达被唤醒后，才能继续向前推进。 进程同步是多道程序系统中进程之间存在的一种主要源于进程间合作的制约关系，也称直接制约关系。 * 直接制约关系：进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间。 间接制约关系：进程间要通过某种中介发生联系，是无意识安排的，可发生在相交进程之间，也可发生在无关进程之间 。 * 二、互斥的定义 所谓进程互斥，指的是对某个系统资源，一个进程正在使用它，另外一个想用它的进程就必须等待，而不能同时使用 。 进程互斥是多道程序系统中进程间存在的一种源于资源共享的制约关系，也称间接制约关系，主要是由被共享资源的使用性质所决定的。 * 这种限定进程只能互斥地访问它的资源叫临界资源（指一次仅允许一个进程使用的资源 ）。 临界资源限定了使用者只能互斥地使用它。 操作系统也不能中途从抢先者手中把临界资源抢来给其他 进程用。因此，临界资源也是不可剥夺性资源