[工学]操作系统教程第3章-3 进程的同步与互斥.pptVIP

第3章 进程管理 3.1 进程的引入 3.2 进程的结构 3.3 进程控制 3.4 进程的同步与互斥 3.5 进程间通信 3.6 进程调度 3.7 死锁 3.8 线程 临界资源 临界资源 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量。 硬件临界资源：打印机、磁带机 软件临界资源：只能排它使用的变量、表格、队列 具有临界资源的进程结构 …… /*进入区*/ critical section; /*临界区*/ /*退出区*/ remainder section; /*剩余区*/ …… 访问临界区应遵循的原则 空闲让进 当无进程在临界区时，任何有权使用临界区的进程可进入。 忙则等待 不允许两个以上的进程同时进入临界区。 有限等待 任何进入临界区的要求应在有限的时间内得到满足。 让权等待 不能进入临界区的进程应放弃占用CPU。 临界区互斥解决方法 软件 用编程解决 缺点： (1)忙等待 (2)实现过于复杂，需要高的编程技巧 硬件 专用机器指令方法 屏蔽中断方法 缺点：忙等待 信号量机制 整型信号量 整型信号量 信号量S：整型量，除初始化外仅能通过P、V操作访问 P和V操作原语定义： int S; S=1; P(S)： while S ≤0 do no-op S = S -1； V(S )：S = S +1； 记录型信号量描述 struct semaphore { int value; int *L; } void P(struct semaphore S); { S.value = S.value – 1; /* 把信号量减去1 */ if S.value 0 then block(S.L); /* 若信号量小于0，则调用P(S)的进 程被置成等待信号量S的状态 */ } 物理意义：申请一个资源，如果申请成功，则返回；如果申请不成功，则挂在该资源的等待队列上。 void V(struct semaphore S); { S.value = S.value + 1; /* 把信号量加1 */ if S.value = 0 then wakeup(S.L); /* 若信号量小于等于0，则释放一个等待信号量s的进程 */ } 物理意义：归还一个资源，如果没有进程等待该资源，则返回；如果有进程在等待，把等待的进程从L上移到就绪队列。 利用记录型信号量实现进程互斥 设有三个并发执行的进程P1、P2、P3，其前趋图如下，试用信号量实现这三个进程同步。 设两个同步信号量S1、S2分别表示进程P2、P3能否开始执行 struct semaphore S1,S2=0,0; /*初值均为0*/ { cobegin P1: {? V(S1); V(S2); } P2: { P(S1); ?; } P3: { P(S2); ? ; } coend } 经典的进程同步问题 生产者/消费者问题 读者/写者问题 哲学家进餐问题 生产者/消费者问题 生产者消费者问题是一种同步问题的抽象描述。计算机系统中的每个进程都可以消费（使用）或生产（释放）某类资源。这些资源可以是硬件资源，也可以是软件资源。 当某一进程使用某一资源时，可以看作是消费，称该进程为消费者。而当某一进程释放某一资源时，它就相当于生产者。 生产者/消费者问题(描述) 通过一个公用缓冲池可以把一群生产者p1,p2…,pm，和一群消费者Q1,Q2,…,Qn联系起来。如图: 只要缓冲区未满，生产者就可以把产品送入缓冲区; 只要缓冲区未空，消费者就可以从缓冲区中取走物品。 生产者/消费者问题(图示) 生产者/消费者问题(分析) 为解决生产者消费者问题，应该设两个同步信号量，一个说明空缓冲区的