第4章 并控制2.pptVIP

第四章 并发处理 4.5 同步机构 4.5.1 锁和上锁、开锁操作 这样当一个进程使用某个临界资源之前必须完成下列操作： 1、考察锁位的值； 2、若原来的值是为“0”，将锁位置为“1” （占用该资源）； 3、若原来值是为“1”，（该资源已被别人占用），则转到1。 当进程使用完资源后，将锁位置为“0 ” ，称为开锁操作。 4.5 同步机构 4.5.1 锁和上锁、开锁操作 4.5 同步机构 4.5.1 锁和上锁、开锁操作避免“忙等”改进的算法 1. 信号灯的概念 信号灯的概念是由Dijkstra提出的（1968）。 他把互斥的关键概念抽象到信号量这个概念中，信号量是一个被保护的变量，只有P操作、V操作和一种称为信号量初始化操作才能访问和改变它的值。 信号灯的定义： 信号灯是一个确定的二元组（s,q），s 是一个具有非负初值的整型变量，q 是一个初始状态为空的排队站。 S代表资源的实体。在实际应用中应准确地说明s的意义和初值，每个信号灯都有一个队列，其初始状态为空。 信号灯的值仅能由P、V操作来改变， 对信号灯的P操作记为：P(S)，P操作是一个原子操作。 对信号灯的V操作记为：V(S), V操作是一个原子操作。 在实际操作系统中，一般情况下是由机器硬件提供P、V操作的指令，当然是原子操作，若机器不提供P、V操作的指令，则操作系统提供P、V操作原语。 注：挂起该进程包括：保留调用进程CPU现场；置“等待”状态；入等待队列；转进程调度； 4.6 进程互斥和同步的实现4.6.1 用锁实现进程互斥 假设有两个进程共享打印机，两个进程中使用打印机的程序段为临界区。 为保证打印的正确，设置打印机的锁位print，其初值为“0”，表示打印机可用。 4.6 进程互斥和同步的实现4.6.1 用锁实现进程互斥 4.6 进程互斥和同步的实现4.6.2 用信号灯实现进程互斥 用两个进程共享打印机的例子 设信号灯print表示打印机，初值为1，表示打印机可用(也可理解为有一台打印机)。 (print也是用于互斥的信号灯，教材上设 置为mutex。) 4.6 进程互斥和同步的实现4.6.2 用信号灯实现进程互斥 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 互斥的概念来自于诸进程对独占使用资源（设备）的竞争，同步来源于多个进程的合作。在人类社会中竞争与合作是永恒的。 同步：所谓同步就是并发进程在一些关键点上可能需要相互等待与互通消息，这样的相互制约关系称为进程同步。 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 在操作系统中，同步有各种各样，但归纳起来有两类： 1）诸进程合作完成某工作的逻辑顺序。 2）对系统资源的共享。如两个进程共享一个缓冲区完成誊抄问题。 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 （一）合作进程的执行次序 用进程流图来描述诸进程合作完成某一任务的次序，其规则如下 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 用信号灯及P、V操作来描述左图 1、说明进程的同步关系 进程P1、P2可并行执行，P3的执行必须等待P1、P2都完成后才能开始执行。 2、设置信号灯，说明含义、初值。 s13 = 0 表示进程P1尚未执行完成； s23 = 0 表示进程P2尚未执行完成； 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 (二）共享缓冲区的合作进程的同步 设有一个缓冲区buffer，大小为一个字节，CP进程不断产生字符，送buffer，IOP进程从buffer中取出字符打印。 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 要保证打印结果的正确， CP、IOP必须遵循以下同步规 则： (1)当CP把结果送入buffer后，IOP 才能从buffer中取，否则IOP必须 等待； (2)当IOP从buffer中取走数据后， CP才能将新产生数据送buffer，否 则也必须等待。 解决这个问题的步骤： (1)分析问题，弄清楚同步关系，如上分析； (2)设置信号灯，说明含义、初值； (3)写出程序描述。 4.6 进程互斥和同步的实现4.6.3 用信号灯实现进程同步 我们把上面的例子扩充，假定缓冲区buffer是一个有界缓冲区，可存放n个数据，同时假定有n个CP进程不断地产生数