操作系统复习笔记对应xmind思维导图
链接:https://pan.baidu.com/s/15pN70QQByWeU-G172J3nNQ
提取码:vfbi
–来自百度网盘超级会员V4的分享
2. 进程管理
2.1 进程与线程
2.1.1 进程的定义
-
进程的概念
-
程序
- 指令序列 (单道程序)
-
进程
-
程序段、数据段、PCB三部分组成了进程实体(进程映像)。一般情况下,我们把进程实体就简称为进程
-
创建进程,实质上是创建进程实体中的PCB;而撤销进程,实质上是撤销进程实体中的PCB。注意:PCB是进程存在的唯一标志!
-
进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。
-
区别和联系:
- 进程是动态的;程序是静态的。
- 进程有独立性,能并发执行;程序不能并发执行。
- 二者无一一对应关系。
- 进程异步运行,会相互制约;程序不具备此特征。
- 但是,进程与程序又有密切的联系: 进程不能脱离具体程序而虚设, 程序规定了相应进程所要完成的动作。
- 组成不同。进程包含PCB、程序段、数据段。程序包含数据和指令代码。
- 程序是一个包含了所有指令和数据的静态实体。本身除占用磁盘的存储空间外,并不占用系统如CPU、内存等运行资源。
- 进程由程序段、数据段和PCB构成,会占用系统如CPU、内存等运行资源。
- 一个程序可以启动多个进程来共同完成。
- 联系:进程不能脱离具体程序而虚设, 程序规定了相应进程所要完成的动作。
-
-
-
进程的特征
-
动态性(最基本的特征):进程是程序的一次执行过程,是动态地产生、变化和消亡的
-
并发性:内存中有多个进程实体,各进程可并发执行
-
独立性:进程是能独立运行、独立获得资源、独立接受调度的基本单位
-
异步性:各进程按各自独立的、不可预知的速度向前推进,操作系统要提供"进程同步机制"来解决异步问题
-
结构性:每个进程都会配置一个PCB。结构上看,进程由程序段、数据段、PCB组成
-
-
进程的组成
-
进程(进程实体)由程序段、数据段、PCB段三部分组成
-
PCB的组成
-
进程描述信息
- 进程表示符PID : 每个进程都有唯一的标识符
- 用户标识符UID: 进程归属的用户,主要为共享和保护服务
-
进程控制和管理信息
- 进程当前状态: 描述进程的状态信息,作为处理机分配调度的依据
- 进程优先级:描述进程抢占处理机的优先级,优先级越高可优先获得处理机。
-
资源分配清单
- 程序段指针、数据段指针
- 键盘、鼠标
- 堆栈指针、文件描述符
-
处理机相关信息
-
各种寄存器值
- 当进程状态切换时,处理机状态信息都必须保存在相应的PCB中,以便后期进程能重新从断点开始执行,寄存器包括:通用、地址、控制、标志寄存器、状态字等
-
-
-
-
进程的组织
-
链接方式
- 按照进程状态将PCB分为多个队列
- 操作系统持有指向各个队列的指针
-
索引方式
- 根据进程状态的不同,建立几张索引表
- 操作系统持有指向各个索引表的指针
-
2.1.2 进程的状态
-
状态
-
运行状态
- 分配CPU、其他所需资源
- 注意:单核处理机环境下,每一时刻最多只有一个进程处于运行态。(双核环境下可以同时有两个进程处于运行态)
-
就绪装填
-
分配其他所需资源
-
进程已经拥有了除处理机之外所有需要的资源,一旦获得处理机,即可立即进入运行态开始运行。
-
阻塞状态
- 不分配资源
- 如:等待操作系统分配打印机、等待读磁盘操作的结果。CPU是计算机中最昂贵的部件,为了提高CPU的利用率,需要先将其他进程需要的资源分配到位,才能得到CPU的服务
-
创建状态
- 操作系统为新进程分配资源、创建PCB
-
终止状态
- 操作系统回收进程的资源、撤销PCB
-
-
-
进程状态间的转换
-
就绪态——>运行态
- 进程被调度
-
运行态——>就绪态
- 时间片到,或CPU被其他高优先级的进程抢占
-
运行态——>阻塞态
- 等待系统资源分配,或等待某事件发生(主动行为)
-
阻塞态——>就绪态
- 资源分配到位,等待的事件发生(被动行为)
-
创建态——>就绪态
- 系统完成创建进程相关的工作
-
运行态——>终止态
- 进程运行结束,或运行过程中遇到不可修复的错误
-
2.1.3 原语实现对进程的控制
-
基本概念
-
进程控制就是要实现进程状态的转换
-
进程控制的主要功能是对系统中的所有进程实施有效的管理,它具有创建新进程、撤销已有进程、实现进程状态转换等功能。
-
进程控制用原语实现
- 原语用开/关中断来实现,只允许在核心态下执行的特权指令
- 原语是一种特殊的程序
- 原语的执行必须一气呵成,不可中断(原子操作)
-
-
相关原语
-
原语的工作
-
1.更新PCB中的信息
- a.所有的进程控制原语一定都会修改进程状态标志
- b.剥夺当前运行进程的CPU使用权必然需要保存其运行环境
- c.某进程开始运行前必然要恢复期运行环境
-
2.将PCB插入合适的队列
-
3.分配/回收资源
-
-
进程控制的5种原语
-
进程的创建
-
创建原语(无——> 创建态——>就绪态)
- 申请空白PCB:为新进程分配一个进程标识号PID
- 为新进程分配所需资源
- 初始化PCB: 标志信息、处理机状态信息、初始化处理机控制信息、设置进程的优先级
- 将PCB插入就绪队列: 前提是队列未满
-
引起创建的时间
- 用户登录:分时系统中,用户登录成功,系统会为其建立一个新的进程
- 作业调度:多道批处理系统中,有新的作业放入内存时,会为其建立一个新的进程
- 提供服务:用户向操作系统提出某些请求时,会新建一个进程处理该请求
- 应用请求:由用户进程主动请求创建一个子进程
-
-
进程的终止
-
撤销原语 (就绪态/阻塞态/运行态——>终止态——>无)
- 从PCB集合中找到终止进程的PCB
- 若进程正在运行,立即剥夺CPU,将CPU分配给其他进程
- 终止其所有子进程
- 将该进程拥有的所有资源归还给父进程或操作系统
- 删除PCB
-
引起进程终止的事件
-
正常结束:进程任务完成
-
异常结束: 存储器越界、保护错、非法指令、特权指令错、运行超时.算术运算错、I/O故障等
-
外界干预: 操作员或操作系统干预、父进程请求和父进程终止
-
-
-
进程的阻塞唤醒
-
进程的阻塞和唤醒原语是成对存在的,必须成对使用。
-
阻塞原语是由被阻塞进程自我调用实现的
-
唤醒原语是由一个被唤醒进程合作或被其他相关的进程调用实现的
-
进程的阻塞
-
阻塞原语(运行态——> 阻塞态)
- 找到要阻塞的进程对应的PCB,根据PID进程标识符寻找
- 保护进程运行现场,将PCB状态信息设置为“阻塞态",暂时停止进程运行
- 将PCB插入相应事件的等待队列,将处理机资源调度给其它就绪进程
-
引起阻塞的事件
- 需要等待系统分配某种资源
- 需要等待相互合作的其他进程完成工作
-
-
进程的唤醒
-
唤醒原语(阻塞态——>就绪态)
- 在事件等待队列中找到PCB
- 将PCB从等待队列移除,设置进程为就绪态
- 将PCB插入就绪队列,等待被调度
-
引起唤醒的事件
- 等待事件的发生(因何时阻塞,就应由何事唤醒)
-
-
-
进程的切换
-
切换原语
- 将运行环境信息存入PCB:运行环境如程序计数器和其它寄存器
- PCB移入相应队列:就绪、阻塞或运行队列
- 选择另一个进程执行,并更新其PCB
- 根据PCB恢复新进程所需的运行环境
-
引起进程切换的事件
- 当前进程时间片到
- 有更高优先级的进程到达
- 当前进程主动阻塞
- 当前进程终止
-
-
-
-
-
进程控制过程
-
过程图解
-
调度和切换的区别
- 调度是指决定资源分配给哪个进程的行为,是一种决策行为
- 切换是指实际分配的行为,是执行行为
- 一般来说现有资源调度,后有进程切换
-
2.1.4 进程之间的通信
-
进程通信的概念
- 进程通信是指进程之间的信息交换
- 进程是分配操作系统资源的单元(包括内存地址空间),因此各进程拥有的内存地址空间相互独立。
- 为了保证安全,一个进程不能直接访问另一个进程的地址空间。但是进程之间的信息交换又是必须实现的。为了保证进程间的安全通信,操作系统提供了如下三种方法。
-
共享存储
-
设置一个共享空间
-
要互斥的访问共享空间
-
两种方式
- 基于数据结构的共享(低级)
- 基于存储区的共享(高级)
- 共享一块大家都可以访问的空间,一次只能有一个进程进行读或写操作
-
-
管道通信
-
设置一个特殊的共享文件(管道),其实就是一个缓冲区
-
一个管道只能实现半双工通信某一时间段内只能进行单向的传输。实现双向同时通信要建立两个管道
-
各进程要互斥访问管道
-
数据以字符流的形式写入管道,当管道写满时,写进程的write()系统调用将被阻塞,等待读进程将数据取走。当读进程将数据全部取走后,管道变空,此时读进程的read()系统调用将被阻塞。
-
没写满,不能读。没读空,不能写
-
数据一旦被读出,就从管道中被抛弃,这就意味着读进程最多只能有一个,否则可能会有读错数据的情况。
-
-
消息传递
-
传递结构化的消息(消息头/ 消息体)
-
系统提供“发送/接受原语”
-
两种方式
- 直接通信方式: 消息直接挂到接收方的消息队列里
- 间接(信箱)通信方式:消息先发到中间体(信箱)
- 发送信息的进程将消息头写好,接受信息进程根据消息头读取信息或寻找信封是哪一个
-
2.1.5 线程的概念和多线程模型
-
线程的概念
-
线程的引入
-
线程的定义
- 可以把线程理解为“轻量级进程”。
- 线程是一个基本的CPU执行单元。也是程序执行流的最小单位。
- 引入线程之后,不仅是进程之间可以并发,进程内的各线程之间也可以并发,从而进一步提升了系统的并发度,使得一个进程内也可以并发处理各种任务(如QQ视频、文字聊天、传文件)
- 引入线程后,进程只作为除CPU之外的系统资源的分配单元(如打印机、内存地址空间等都是分配给进程的)。
-
-
线程的作用
-
资源的分配和调度
- 传统进程机制中,进程是资源分配、调度的基本单位
- 引入线程后,进程是资源分配的基本单位,线程是调度的基本单位
-
并发性
- 传统进程机制中,只能进程间并发
- 引入线程后,各线程间也能并发,提升了并发度
-
系统开销
- 传统的进程间并发,需要切换进程的运行环境,系统开销很大
- 线程间并发,如果是同一进程内的线程切换,则不需要切换进程环境,系统开销小
- 引入线程后,并发所带来的系统开销减小
-
-
线程的属性
- 线程是处理机调度的单位
- 多CPU计算机中,各个线程可占用不同的CPU
- 每个线程都有一个线程ID、线程控制块(TCB)
- 线程也有就绪、阻塞、运行三种基本状态
- 线程几乎不拥有系统资源;同一进程的不同线程间共享进程的资源
- 由于共享内存地址空间,同一进程中的线程间通信甚至无需系统干预
- 同一进程中的线程切换,不会引起进程切换;不同进程中的线程切换,会引起进程切换
- 切换同进程内的线程,系统开销很小;切换进程,系统开销较大
-
线程的实现方式
-
用户级线程
- 用户级线程由应用程序通过线程库实现。所有的线程管理工作都由应用程序负责(包括线程切换)
- 用户级线程中,线程切换可以在用户态下即可完成,无需操作系统干预。
- 在用户看来,是有多个线程。但是在操作系统内核看来,并意识不到线程的存在。(用户级线程对用户不透明,对操作系统透明)
- 可以这样理解,“用户级线程”就是“从用户视角看能看到的线程”
-
内核级线程
- 内核级线程的管理工作由操作系统内核完成。线程调度、切换等工作都由内核负责,因此内核级线程的切换必然需要在核心态下才能完成。
- 可以这样理解,“内核级线程”就是“从操作系统内核视角看能看到的线程”
-
组合方式
- 在同时支持用户级线程和内核级线程的系统中,可采用二者组合的方式:将n个用户级线程映射到m个内核级线程上( n >= m)
- 操作系统只“看得见”内核级线程,因此只有内核级线程才是处理机分配的单位。
-
-
多线程模型
-
多对一模型
- 多对一模型:多个用户及线程映射到一个内核级线程。每个用户进程只对应一个内核级线程。
- 优点:用户级线程的切换在用户空间即可完成,不需要切换到核心态,线程管理的系统开销小,效率高
- 缺点:当一个用户级线程被阻塞后,整个进程都会被阻塞,并发度不高。多个线程不可在多核处理机上并行运行
-
一对一模型
- 一对一模型:一个用户及线程映射到一个内核级线程。每个用户进程有与用户级线程同数量的内核级线程。
- 优点:当一个线程被阻塞后,别的线程还可以继续执行,并发能力强。多线程可在多核处理机上并行执行。
- 缺点:一个用户进程会占用多个内核级线程,线程切换由操作系统内核完成,需要切换到核心态,因此线程管理的成本高,开销大。
-
多对多模型
- 多对多模型: n用户及线程映射到m个内核级线程(n >= m) 。每个用户进程对应m个内核级线程。
- 克服了多对一模型并发度不高的缺点,又克服了一对一模型中一个用户进程占用太多内核级线程,开销太大的缺点。
-
2.2 处理机的调度
2.2.1 处理机调度的概念及层次
-
调度的基本概念
- 当有一堆任务要处理,但由于资源有限,这些事情没法同时处理。这就需要确定某种规则来决定处理这些任务的顺序,这就是“调度”研究的问题。
- 在多道程序系统中,进程的数量往往是多于处理机的个数的,这样不可能同时并行地处理各个进程。处理机调度,就是从就绪队列中按照一定的算法选择一个进程并将处理机分配给它运行,以实现进程的并发执行。
-
调度的三个层次
-
高级调度(作业调度)
- 由于内存空间有限,有时无法将用户提交的作业全部放入内存,因此就需要确定某种规则来决定将作业调入内存的顺序。
- 高级调度(作业调度)。按一定的原则从外存上处于后备队列的作业中挑选一个(或多个)作业,给他们分配内存等必要资源,并建立相应的进程(建立PCB),以使它(们)获得竞争处理机的权利。
- 高级调度是辅存(外存)与内存之间的调度。每个作业只调入一次,调出一次。作业调入时会建立相应的PCB,作业调出时才撤销PCB。高级调度主要是指调入的问题,因为只有调入的时机需要操作系统来确定,但调出的时机必然是作业运行结束才调出。
-
中级调度(内存调度)
- 引入了虚拟存储技术之后,可将暂时不能运行的进程调至外存等待。等它重新具备了运行条件且内存又稍有空闲时,再重新调入内存。这么做的目的是为了提高内存利用率和系统吞吐量。
- 暂时调到外存等待的进程状态为挂起状态。值得注意的是,PCB并不会一起调到外存,而是会常驻内存。PCB中会记录进程数据在外存中的存放位置,进程状态等信息,操作系统通过内存中的PCB来保持对各个进程的监控、管理。被挂起的进程PCB会被放到的挂起队列中。
- 中级调度(内存调度),就是要决定将哪个处于挂起状态的进程重新调入内存。
- 一个进程可能会被多次调出、调入内存,因此中级调度发生的频率要比高级调度更高。
-
低级调度(进程调度)
- 低级调度(进程调度),其主要任务是按照某种方法和策略从就绪队列中选取一个进程,将处理机分配给它。
- 进程调度是操作系统中最基本的一种调度,在一般的操作系统中都必须配置进程调度。进程调度的频率很高,一般几十毫秒一次。
-
-
三层调度的联系和对比
-
进程的挂起状态与七状态模型
- 暂时调到外存等待的进程状态为挂起状态(挂起态,suspend)挂起态又可以进一步细分为就绪挂起、阻塞挂起两种状态五状态模型→七状态模型
- 注意“挂起”和“阻塞”的区别,两种状态都是暂时不能获得cPU的服务,但挂起态是将进程映像调到外存去了,而阻塞态下进程映像还在内存中。
- 有的操作系统会把就绪挂起、阻塞挂起分为两个挂起队列,甚至会根据阻塞原因不同再把阻塞挂起进程进一步细分为多个队列。
2.2.2 进程调度的时机
-
时机
-
何时需要进程调度
-
主动放弃
- 进程正常终止
- 运行过程中发生异常而终止
- 主动阻塞(如等待I/O)
-
被动放弃
- 分给进程的时间片用完
- 有更紧急的事情需要处理(如1/O中断)
- 有更高优先级的进程进入就绪队列
-
-
何时不能进行进程调度
- 在处理中断的过程中
- 进程在操作系统内核程序临界区中
- 原子操作过程中(原语)
-
OS内核程序临界区与普通临界区的进程调度情况
- 临界资源:一个时间段内只允许一个进程使用的资源。各进程需要互斥地访问临界资源。
- 临界区:访问临界资源的那段代码。
- 内核程序临界区一般是用来访问某种内核数据结构的,比如进程的就绪队列(由各就绪进程的PCB组成)
- 进程在操作系统内核程序临界区中不能进行调度与切换
-
-
切换过程
-
狭义的"调度"和"切换"的区别
-
切换过程
- 对原来运行进程各种数据的保存
- 对新的进程各种数据的恢复
-
进程调度、切换是有代价的,并不是调度越频繁,并发度就越高
-
-
方式
- 非剥夺调度方式(非抢占式):只能由当前运行的进程主动放弃CPU
- 剥夺调度方式(抢占式): 可由操作系统剥夺当前进程的CPU使用权
2.2.3 度算法的评价指标
-
CPU利用率
- 利用率=忙碌的时间 / 总时间
-
系统吞吐量
- 系统吞吐量=总共完成了多少道作业/ 总共花了多少时间
-
周转时间
- 周转时间 = 作业完成时间 - 作业提交时间
- 平均周转时间=个作业的周转时间之和/ 作业数
- 带权周转时间=作业周转时间/作业实际运行的时间
- 平均带权周转时间=各个作业带权周转时间/作业数
- 对于周转时间相同的两个作业,实际运行时间长的作业在相同时间内被服务的时间更多,带权周转时间更小,用户满意度更高。
- 对于实际运行时间相同的两个作业,周转时间短的带权周转时间更小,用户满意度更高。
-
等待时间
- 对于进程来说,等待时间就是指进程建立后等待被服务的时间之和,在等待I/o完成的期间其实进程也是在被服务的,所以不计入等待时间。
- 对于作业来说,不仅要考虑建立进程后的等待时间,还要加上作业在外存后备队列中等待的时间。
- 平均等待各个进程/作业等待时间的平均值
-
相应时间
- 从用户首次提交到首次产生相应的时间
2.2.4 作业/进程调度算法
-
FCFS 先来先服务 (First come first sever)
-
算法思想: 主要从“公平”的角度考虑
-
算法规则 : 按照作业/进程到达的先后顺序进行服务
-
用于作业调度时,考虑的是哪个作业先到达后备队列; 用于进程调度时,考虑的是哪个进程先到达就绪队列
-
非抢占式算法
-
优点:公平、算法实现简单; 缺点:排在长作业(进程)后面的短作业需要等待很长时间,带权周转时间很大,对短作业来说用户体验不好。即,FCFS算法对长作业有利,对短作业不利
-
不会导致某进程长时间得不到服务
-
例题
-
-
SJF 短作业优先 (Shortest Job First)
-
算法思想: 追求最少的平均等待时间,最少的平均周转时间、最少的平均平均带权周转时间
-
算法规则:最短的作业/进程优先得到服务(所谓“最短”,是指要求服务时间最短)
-
即可用于作业调度,也可用于进程调度。用于进程调度时称为“短进程优先(SPF, Shortest Process First)算法”
-
SJF和SPF是非抢占式的算法。但是也有抢占式的版本――最短剩余时间优先算法(SRTN, Shortest Remaining Time Next)优点:“最短的”平均等待时间、平均周转时间
-
缺点:不公平。对短作业有利,对长作业不利。可能产生饥饿现象。另外,作业/进程的运行时间是由用户提供的,并不一定真实,不一定能做到真正的短作业优先
-
如果源源不断地有短作业/进程到来,可能使长作业/进程长时间得不到服务,产生“饥饿”现象。如果一直得不到服务,则称为“饿死”
-
例题
-
非抢占式—SJF
-
抢占式—SJF(SRTN)
-
-
-
HRRN 高相应比优先
-
算法思想: 要综合考虑作业/进程的等待时间和要求服务的时间
-
算法规则:在每次调度时先计算各个作业/进程的响应比,选择响应比最高的作业/进程为其服务。 相应比 =(等待时间+要求服务时间)/ 要求服务时间
-
即可用于作业调度,也可用于进程调度
-
非抢占式的算法。因此只有当前运行的作业/进程主动放弃处理机时,才需要调度,才需要计算响应比
-
综合考虑了等待时间和运行时间(要求服务时间)等待时间相同时,要求服务时间短的优先(SJF的优点)要求服务时间相同时,等待时间长的优先(FCFS的优点)对于长作业来说,随着等待时间越来越久,其响应比也会越来越大,从而避免了长作业饥饿的问题
-
-
三种算法的对比
2.2.5 作业/进程调度算法
-
时间片轮转调度算法(RR)
- 算法思想:公平地、轮流地为各个进程服务,让每个进程在一定时间间隔内都可以得到响应
- 算法规则:按照各进程到达就绪队列的顺序,轮流让各个进程执行一个时间片(如100ms)。若进程未在一个时间片内执行完,则剥夺处理机,将进程重新放到就绪队列队尾重新排队。用于进程调度(只有作业放入内存建立了相应的进程后,才能被分配处理机时间片)
- 若进程未能在时间片内运行完,将被强行剥夺处理机使用权,因此时间片轮转调度算法属于抢占式的算法。由时钟装置发出时钟中断来通知CPU时间片己到
- 优点:公平;响应快,适用于分时操作系统; 缺点:由于高频率的进程切换,因此有一定开销;不区分任务的紧急程度。
- 不会导致饥饿
-
优先级调度算法
- 算法思想:随着计算机的发展,特别是实时操作系统的出现,越来越多的应用场景需要根据任务的紧急程度来决定处理顺序调度时选择优先级最高的作业/进程
- 算法规则:既可用于作业调度,也可用于进程调度。甚至,还会用于在之后会学习的I/o调度中
- 抢占式、非抢占式都有。做题时的区别在于:非抢占式只需在进程主动放弃处理机时进行调度即可,而抢占式还需在就绪队列变化时,检查是否会发生抢占。
- 优点:用优先级区分紧急程度、重要程度,适用于实时操作系统。可灵活地调整对各种作业/进程的偏好程度。缺点:若源源不断地有高优先级进程到来,则可能导致饥饿
-
多级反馈队列调度算法
-
算法思想:对其他调度算法的折中权衡
-
算法规则
- 1.设置多级就绪队列,各级队列优先级从高到低,时间片从小到大
- 2.新进程到达时先进入第1级队列,按FCFS原则排队等待被分配时间片,若用完时间片进程还未结束,则进程进入下一级队列队尾如果此时己经是在最下级的队列,则重新放回该队列队尾、
- 3.只有第k级队列为空时,才会为k+1级队头的进程分配时间片用于进程调度
-
抢占式的算法。在k级队列的进程运行过程中,若更上级的队列(1~k-1级)中进入了一个新进程,则由于新进程处于优先级更高的队列中,因此新进程会抢占处理机,原来运行的进程放回k级队列队尾。
-
对各类型进程相对公平(FCFS的优点)﹔每个新到达的进程都可以很快就得到响应(RR的优点)﹔短进程只用较少的时间就可完成(SPF的优点)﹔不必实现估计进程的运行时间(避免用户作假);可灵活地调整对各类进程的偏好程度,比如CPU密集型进程、l/o密集型进程(拓展:可以将因l/o而阻塞的进程重新放回原队列,这样I/o型进程就可以保持较高优先级〉
-
会导致饥饿
-
-
三种算法的对比
2.3 进程的同步与互斥
2.3.1 进程的同步与互斥
-
进程同步
- 同步也称为直接制约关系。
- 在多道程序环境下,进程是并发执行的,不同进程之间存在着不同的相互制约关系。为了协调进程之间的相互制约关系,如等待、传递信息等,引入了进程同步的概念。进程同步是为了解决进程的异步问题。
-
进程互斥
-
互斥,亦称间接制约关系。进程互斥指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。
-
对临界资源的互斥访问,可以在逻辑上分为如下四个部分:
-
为了禁止两个进程同时进入临界区,需遵循以下准则
- 1.空闲让进。临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区;
- 2.忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待;
- 3.有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)
- 4.让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。
-
2.3.2 实现临界区进程互斥的软件实现方法
-
单标志法
- 在进入区只做“检查",不“上锁"
- 在退出区把临界区的使用权转交给另一个进程(相当于在退出区既给另一进程"解锁”,又给自己”上锁")
- 主要问题:不遵循“空闲让进"原则
-
双标志法
- 在进入区先“检查"后"上锁”,退出区“解锁”
- 主要问题:不遵循"忙则等待"原则
-
双标志后检查
- 在进入区先"加锁"后“检查",退出区“解锁”
- 主要问题:不遵循"空闲让进、有限等待"原则,可能导致"饥饿”
-
Peterson算法
- 在进入去“主动争取——主动谦让——有限等待”原则,可能导致饥饿。
- 主要问题:不遵循"让权等待原则",会发生忙等。
2.3.3 实现临界区进程互斥的硬件实现方法
-
中断屏蔽方法
- 使用”开关中断“指令实现
- 优点:简单高效
- 缺点:值适用于单处理机,只适用于操作系统的内核进程
-
TestAndSet(TS指令、TSL指令)
- old记录是否已被上锁,再将lock设为true,检查临界区是否已被上锁(若已经上锁,则循环重复前几步)
- 优点:实现简单,适用于多处理机环境
- 缺点:不满足”让权等待“
-
SWAP指令(XCHG)
- 逻辑同TSL
2.3.4 信号量机制
-
信号量机制
-
用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作,从而很方便的实现了进程互斥、进程同步。
-
一对原语: wait(S)原语和 signal(S)原语,可以把原语理解为我们自己写的函数,函数名分别为wait和signal,括号里的信号量s其实就是函数调用时传入的一个参数。
-
信号量:其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量),可以用一个信号量来表示系统中某种资源的数量,比如:系统中只有一台打印机,就可以设置一个初值为1的信号量。
-
-
整型信号量
- 用一个整数型变量作为信号量,数值表示某种资源数
- 整形信号量和普通整形变量的区别:只能对信号量执行初始化、P、V三种操作
- 整形信号量存在的问题:不满足让权等待。
-
记录型信号量
- S.value 表示某种资源数,S.L指向等待该资源的队列
- P操作中,一定是S.valaue–,之后可能执行block原语
- V操作中,一定是S.value++,之后可能执行wakeup原语
- 可以使用记录型信号量实现系统资源的申请和释放
- 可以使用记录型信号量实现进程的互斥和进程的同步
2.3.5 信号量机制实现进程的互斥、同步与前驱关系
-
进程互斥
-
进程同步
-
进程的前驱关系
2.3.6 进程同步与互斥经典问题
-
生产者和消费者问题
-
问题描述
-
问题分析
-
实现方法
-
-
多生产者多消费者问题
-
问题描述
-
问题分析
-
实现方法
-
有mutex
-
无mutex
-
多个缓冲区
- 为什么有mutex和没有mutex一样呢?原因在于:本题中的缓冲区大小为1,在任何时刻,apple、 orange、 plate 三个同步信号量中最多只有一个是1。因此在任何时刻,最多只有一个进程的P操作不会被阻塞,并顺利地进入临界区
-
-
-
读者写者问题
-
问题描述
-
问题分析
-
实现方法
-
给count加mutex互斥访问
-
加一个w实现“读写公平法”
-
-
-
吸烟者问题
-
问题描述
-
问题分析
-
实现方法
-
-
哲学家进餐问题
-
问题描述
-
问题分析
-
实现方法
-
2.3.7 管程和java中实现管程的机制
-
管程的引入:解决信号量机制编程麻烦、易出错的问题
-
组成
- 共享数据结构
- 对数据结构初始化的语句
- 一组用来访问数据结构的过程(函数)
-
基本特征
- 各外部进程、线程只能通过管程呢个提供的特定”入口“才能访问共享数据
- 每次仅允许一个进程在管程内执行某个内部过程
- 局部于管程的数据只能被局部于管程的过程所访问
- 一个进程只有通过调用管程内的过程才能进入管程访问共享数据
-
补充
- 各进程必须互斥访问管程的特性是由编译器实现的
- 可在管程内部设置条件变量及等待/唤醒操作以解决同步问题
-
管程实现生产者消费者问题