操作系统OperatingSystem-Read.PPT

第5章 并行性：同步和互斥 概述 临界段 互斥 信号量 管程 进程间的通信 5.1 概 述 并行技术的发展 并发环境中进程间的关系 进程同步 进程互斥 一、并行技术的发展 多道程序设计 多处理器系统 分布式处理系统 二、并发环境中进程间的关系 间接制约关系： 源于资源共享 直接制约关系： 源于进程合作 三、进程同步 同步关系： 指散布在不同进程中的若干程序片段，它 们的运行必须严格按照规定的某种先后次 序来进行，这种先后次序依赖于要完成的 任务。 同步机制： 保证这种同步关系相应机制为同步机制。 四 、进程互斥 互斥关系：（间接制约） 指散布在不同进程中的若干程序片段，当 某个进程运行其中一个程序片段时，其它 进程就不能运行它们中的任一程序片段， 只能等到该进程运行完这个程序片段后才 可运行。 互斥可看成是一种特殊的同步关系。 5.2 临界段 临界段的提出 临界段的互斥要求 一、临界段的提出 两个例子（进程的输出结果取决于进程运行的精确时序） 临界资源：一次仅能为一个进程使用的 资源。 硬件资源：输入机，打印机。 软件资源：变量，队列，表格。 临界段：进程中访问共享变量的代码段。 5.3 互斥 进程互斥的解决方法： 1、互斥的软件方法 2、互斥的硬件方法 硬件方法 允许在一个存储周期内测试和修改一个字的 内容，或者交换两个字的内容，指令的执行 不可中断。 TS指令 SWAP指令 开关中断指令 5.4 信号量 信号量概念 信号量及同步原语 信号量的应用 一、信号量的概念 1、概念：信号量表示资源的物理实体，是一个与队列有关的整体变量，除对其初始化外，其值仅能由wait和signal两种不可中断的操作来改变。 2、对信号量S的操作有两个：wait 与signal。(又称同步原语）表示为wait(s),signal(s). 二、信号量及同步原语 1、信号量分类 二元信号量：它允许取值仅为0，1，其初始值为1，主要用于解决进程互斥问题。 一般信号量：取值不限于0和1，其初值为0或为某个正整数n，主要用于进程间的同步。 2、同步原语的实现 同步原语的描述有两种不同的形式： 阻塞等待方式，忙等待方式。 （1）阻塞等待方式 WAIT（S） 信号量的数据结构 (将信号量定义进一步扩充） type s = record value : integer ; L : pointer to PCB; 指向等待队列的指针 end 一般信号量上的同步原语wait(s) : s.value := s.value -1; if s.value 0 then begin Insert ( CALLER , s.L); Block (CALLER ) ; end 一般信号量上的同步原语signal(s) : if s.value =1 then begin remove (s.L , id) ; wakeup (id) ; end 二元信号量上的同步原语waitB(s) : if s.value =1 then s.value = 0 else begin Insert ( CALLER , s.L) ; Block ( CALLER ); end 二元信号量上的同步原语signalB(s) : if L.queue is empty then s.value = 1 else begin Remove ( s.L , id) ; wakeup ( id ); end (2)忙等待方式 一般信号量的同步原语 二元信号量的同步原语 WAIT（S） WAITB（S） 信号量定义为整型变量 Wait(s): while s = 0 do skip;