《操作系统进程同步课件.pptx》由会员分享，可在线阅读，更多相关《操作系统进程同步课件.pptx（21页珍藏版）》请在三一办公上搜索。
1、2.4进 程 同 步在OS中引入进程后，一方面可以使系统中的多道程序并发执行，这不仅能有效地改善资源利用率，还可显著地提高系统的吞吐量，但另一方面却使系统变得更加复杂。如果不能采取有效的措施，对多个进程的运行进行妥善的管理，必然会因为这些进程对系统资源的无序争夺给系统造成混乱。致使每次处理的结果存在着不确定性，即显现出其不可再现性。,2.4进 程 同 步在OS中引入进程后,2.4.1进程同步的基本概念1. 两种形式的制约关系1) 间接相互制约关系2) 直接相互制约关系,2.4.1进程同步的基本概念1. 两种形式的制约关系,2. 临界资源(Critical Resouce)在第一章中我们曾经介绍
2、过，许多硬件资源如打印机、 磁带机等，都属于临界资源，诸进程间应采取互斥方式，实现对这种资源的共享。,2. 临界资源(Critical Resouce),3. 临界区(critical section)由前所述可知，不论是硬件临界资源还是软件临界资源，多个进程必须互斥地对它进行访问。人们把在每个进程中访问临界资源的那段代码称为临界区(critical section)。,3. 临界区(critical section)由,4. 同步机制应遵循的规则为实现进程互斥地进入自己的临界区，可用软件方法，更多的是在系统中设置专门的同步机构来协调各进程间的运行。所有同步机制都应遵循下述四条准则：(1) 空
3、闲让进。(2) 忙则等待。(3) 有限等待。(4) 让权等待。,4. 同步机制应遵循的规则为实现进程互斥地进入自己,2.4.2 硬件同步机制虽然可以利用软件方法解决诸进程互斥进入临界区的问题，但有一定难度，并且存在很大的局限性，因而现在已很少采用。相应地，目前许多计算机已提供了一些特殊的硬件指令，允许对一个字中的内容进行检测和修正，或者是对两个字的内容进行交换等。可利用这些特殊的指令来解决临界区问题。,2.4.2 硬件同步机制虽然可以利用软件方法解决诸进,1. 关中断关中断是实现互斥的最简单的方法之一。在进入锁测试之前关闭中断，直到完成锁测试并上锁之后才能打开中断。这样，进程在临界区执行期间，
4、计算机系统不响应中断，从而不会引发调度，也就不会发生进程或线程切换。由此，保证了对锁的测试和关锁操作的连续性和完整性，有效地保证了互斥。但是，关中断的方法存在许多缺点： 滥用关中断权力可能导致严重后果； 关中断时间过长，会影响系统效率，限制了处理器交叉执行程序的能力； 关中断方法也不适用于多CPU 系统，因为在一个处理器上关中断并不能防止进程在其它处理器上执行相同的临界段代码。,1. 关中断关中断是实现互斥的最简单的方法之一。在,2. 利用Test-and-Set指令实现互斥这是一种借助一条硬件指令“测试并建立”指令TS(Test-and-Set)以实现互斥的方法。在许多计算机中都提供了这种指
5、令。,2. 利用Test-and-Set指令实现互斥这是,3. 利用Swap指令实现进程互斥该指令称为对换指令，在Intel 80 x86中又称为XCHG指令，用于交换两个字的内容。,3. 利用Swap指令实现进程互斥该指令称为对换指,2.4.3信号量机制1. 整型信号量最初由Dijkstra把整型信号量定义为一个用于表示资源数目的整型量S，它与一般整型量不同，除初始化外，仅能通过两个标准的原子操作(Atomic Operation) wait(S)和signal(S)来访问。很长时间以来，这两个操作一直被分别称为P、V操作。,2.4.3信号量机制1. 整型信号量最初由Di,2. 记录型信号量
6、在整型信号量机制中的wait操作，只要是信号量S0，就会不断地测试。因此，该机制并未遵循“让权等待”的准则，而是使进程处于“忙等”的状态。记录型信号量机制则是一种不存在“忙等”现象的进程同步机制。但在采取了“让权等待”的策略后，又会出现多个进程等待访问同一临界资源的情况。为此，在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还应增加一个进程链表指针list，用于链接上述的所有等待进程。,2. 记录型信号量在整型信号量机制中的wait操作,3. AND型信号量前面所述的进程互斥问题针对的是多个并发进程仅共享一个临界资源的情况。在有些应用场合，是一个进程往往需要获得两个或更多的
7、共享资源后方能执行其任务。假定现有两个进程A和B，它们都要求访问共享数据D和E，当然，共享数据都应作为临界资源。,3. AND型信号量前面所述的进程互斥问题针对的,4. 信号量集在前面所述的记录型信号量机制中，wait(S)或signal(S)操作仅能对信号量施以加1或减1操作，意味着每次只能对某类临界资源进行一个单位的申请或释放。当一次需要N个单位时，便要进行N次wait(S)操作，这显然是低效的，甚至会增加死锁的概率。此外，在有些情况下，为确保系统的安全性，当所申请的资源数量低于某一下限值时，还必须进行管制，不予以分配。因此，当进程申请某类临界资源时，在每次分配之前，都必须测试资源的数量，
8、判断是否大于可分配的下限值，决定是否予以分配。,4. 信号量集在前面所述的记录型信号量机制中，wa,2.4.4信号量的应用1. 利用信号量实现进程互斥为使多个进程能互斥地访问某临界资源，只需为该资源设置一互斥信号量mutex，并设其初始值为1，然后将各进程访问该资源的临界区CS置于wait(mutex)和signal(mutex)操作之间即可。,2.4.4信号量的应用1. 利用信号量实现进程互斥,2. 利用信号量实现前趋关系还可利用信号量来描述程序或语句之间的前趋关系。设有两个并发执行的进程P1和P2。P1中有语句S1；P2中有语句S2。我们希望在S1执行后再执行S2。为实现这种前趋关系，只需
9、使进程P1和P2共享一个公用信号量S，并赋予其初值为0，将signal(S)操作放在语句S1后面，而在S2语句前面插入wait(S)操作，即在进程P1中，用S1；signal(S)；在进程P2中，用wait(S)；S2；,2. 利用信号量实现前趋关系还可利用信号量来描述程,由于S被初始化为0，这样，若P2先执行必定阻塞，只有在进程P1执行完S1； signal(S)；操作后使S增为1时，P2进程方能成功执行语句S2。同样，我们可以利用信号量按照语句间的前趋关系(见图2-14)，写出一个更为复杂的可并发执行的程序。,由于S被初始化为0，这样，若P2先执行必定阻塞，只有在进,图2-14 前趋图举例
10、,图2-14 前趋图举例,2.4.5管程机制1管程的定义系统中的各种硬件资源和软件资源均可用数据结构抽象地描述其资源特性，即用少量信息和对该资源所执行的操作来表征该资源，而忽略它们的内部结构和实现细节。,2.4.5管程机制1管程的定义系统中的各种硬,由上述的定义可知，管程由四部分组成： 管程的名称； 局部于管程的共享数据结构说明； 对该数据结构进行操作的一组过程； 对局部于管程的共享数据设置初始值的语句。图2-15是一个管程的示意图。,由上述的定义可知，管程由四部分组成： 管程的名称；,图2-15管程的示意图,图2-15管程的示意图,2. 条件变量在利用管程实现进程同步时，必须设置同步工具，如两个同步操作原语wait和signal。当某进程通过管程请求获得临界资源而未能满足时，管程便调用wait原语使该进程等待，并将其排在等待队列上，如图2-13所示。仅当另一进程访问完成并释放该资源之后，管程才又调用signal原语，唤醒等待队列中的队首进程。,2. 条件变量在利用管程实现进程同步时，必须设置同,
