计算机操作系统(王道考研课程知识点总结)
因内容较多,分上下两篇笔记,此为上篇
目录
一、操作系统的基本概念
1.1操作系统的概念
裸机:只有硬件的机器,不包含操作系统。
操作系统(Operating System,OS)是指控制和管理整个计算机系统的硬件和软件资源,并合理的组织调度计算机的工作和资源的分配;以提供给用户和其它软件方便的接口和环境;它是计算机系统中最基本的系统软件(是最接近硬件的一层软件)。
1.2操作系统的功能和目标
GUI:图形化用户接口;用户可以使用形象的图形界面进行操作,而不再需要记忆复杂的命令,参数。
联机命令接口=交互式命令接口;(特点是用户说一句,系统跟着做一句)
脱机命令接口=批处理命令接口;(特点是用户说一堆,系统跟着做一堆)
程序接口:可以在程序中进行系统调用来使用程序接口,普通用户不能直接使用程序接口,只能通过程序代码间接使用。
操作系统的目标:在计算机系统上配置操作系统,其主要目标是:方便性、有效性、可扩充性和开放性。方便性和有效性是设计OS是最重要的两个目标。
方便性:通过OS来命令操纵计算机,方便用户
有效性:①提高系统资源的利用率 ②提高系统吞吐量
可扩充性:①OS必须具有很好的可扩充性 ②与OS的结构有紧密的联系
开放性:①遵循世界标准规范 ②特别是遵循开放系统互连OSI国际标准
操作系统的作用:操作系统在计算机系统中所起的作用,可以从用户、资源管理、资源抽象等多个不同的角度来进行讨论。
用户角度:OS作为用户与计算机硬件之间的接口
资源管理角度:OS作为计算机系统资源的管理者。是计算机资源管理系统,负责计算机系统的全部资源分配、控制、调度和回收。
资源抽象角度:OS实现了对计算机资源的抽象
推动计算机发展的主要动力:
①不断提高计算机资源利用率
②方便用户
③器件的不断更新换代
④计算机体系结构的不断发展
⑥不断提出新的应用需求
1.3操作系统的四个特征
操作系统的四个基本特征分别是:
1.并发
2.共享
3.虚拟
4.异步
其中并发和共享是两个最基本特征,二者互为存在条件
并发:指两个或多个事件在同一时间间隔内发生。这些事件宏观上是同时发生的,但是微观上是交替发生的。
并行:指两个或多个事件在同一时刻同时发生。
操作系统的并发性指计算机系统中“同时”运行着多个程序,这些程序宏观上看是同时运行的,而微观上看是交替运行的。
操作系统是伴随着“多道程序技术”而出现的。因此,操作系统和程序并发是一起诞生的。
注(重要考点):
单核CPU同一时刻只能执行一个程序,各个程序只能并发的执行。
多核CPU同一时刻可以执行多个程序,多个程序可以并行执行。
例如Intel的第八代i3处理器就是4核CPU,意味着可以并行的执行4个程序,但是要有4个以上的程序需要“同时”运行时,那么并发性操作是必不可少的,因此并发性是操作系统一个最基本的特性。
共享:即资源共享,是指系统中的资源可供给内存中多个并发执行的进程同时使用。
所谓的“同时”往往是宏观的,而在微观上,这些进程可能是交替地对该资源进行访问的(即分时共享)
例如:同时用QQ和微信分别发送文件A和B。宏观上看,两边都在读取并发送文件,说明两个进程都在访问硬盘资源,但是从微观上看,两个进程是交替访问硬盘的。
并发性指计算机系统中同时存在着多个运行着的程序。
共享性指系统中的资源可供内存中多个并发执行的进程共同使用。
虚拟:指把一个物理上的实体变为若干个逻辑上的对应物。物理实体(前者)是实际存在的,而逻辑上对应物(后者)是用户感受到的。
异步:在多道程序环境下,允许多个程序并发执行,但由于资源有限,进程的执行不是一贯到底的,而是走走停停,以不可预知的速度向前推进,这就是进程的异步性。
1.4操作系统的发展历程
1.手工操作阶段
2.批处理阶段
引入脱机输入/输出技术,并由监督程序负责控制作业的输入输出
单道批处理系统:
主要优点:缓解了一定程度的人机速度矛盾,资源利用率有所提升。
主要缺点:内存中仅能有一道程序运行,只有该程序运行结束之后才能调入下一道程序,CPU有大量的时间是在空闲等待I/O完成。资源利用率依然很低
多道批处理系统:
主要优点:多道程序并发执行,共享计算机资源,资源利用率大幅提升,CPU和其他资源更能保持“忙碌”状态,系统吞吐量增大。
主要缺点:用户响应时间长,没有人机交互功能(用户提交自己的作业之后就只能等待计算机处理完成,中间不能控制自己的作业的执行。)
3.分时操作系统
分时操作系统:计算机以时间片为单位轮流为各个用户/作业,各个用户可通过终端与计算机进行交互。
主要优点:用户请求可以被及时响应,解决了人机交互问题。允许多个用户同时使用一台计算机,并且用户对计算机的操作相互独立,感受不到别人的存在。
主要缺点:不能优先处理一些紧急任务。操作系统对各个用户/作业都是完全公平的,循环地为每个用户/作业服务一个时间片,不区分任务的紧急性。
4.实时操作系统
主要优点:能够优先响应一些紧急任务,某些紧急任务不需要时间片排队。
在实时操作系统的控制下,计算机系统接收到外部信号后及时进行处理,并且要在严格的时限内处理完事件,实时操作系统的主要特点是及时性和可靠性。
5.其他几种操作系统
网络操作系统:是伴随着计算机网络发展而诞生的,能把网络中的各个计算机有机地结合起来,实现数据传送等功能,实现网络中各种资源的共享(如文件共享)和各台计算机之间的通信。
分布式操作系统:主要特点是分布性和并行性。系统中的各台计算机地位相同,任何工作都可以分布在这些计算机上,由它们并行、协同完成任务。
1.5操作系统的运行环境
1.运行机制
指令:处理器(CPU)能识别、执行的最基本命令。
应用程序:普通程序员所写的程序。
内核程序:微软、苹果有一帮人负责实现操作系统,他们写的是”内核程序“,由很多内核程序组成了”操作系统内核“,或简称”内核(Kernel)“。内核是操作系统中最重要的核心部分,也是最接近硬件的部分,甚至可以说,一个操作系统只要有内核就够了(eg:Docker——>仅需Linux内核)。
操作系统的功能尾部都在内核中(eg:图形优化界面GUI)
特权指令与非特权指令:
内核态与用户态:
CPU有两种状态,”内核态“和”用户态“
处于内核态时,说明此时正在运行的是内核程序,此时可以执行特权指令。
处于用户态时,说明此时正在运行的是应用程序,此时只能执行非特权指令。
拓展:CPU中有一个程序状态字寄存器(PSW),其中有个二进制位,1表示”内核态“,0表示”用户态“
别名:内核态=核心态=管态;用户态=目态
内核态与用户态的切换:
内核态-->用户态:执行一条特权指令——修改PSW的标志位为“用户态",这个动作意味着操作系统将主动让出CPU使用权
用户态-->内核态:由”中断“引发,硬件自动完成变态过程,触发中断信号意味着操作系统将强行夺回CPU的使用权(除了非法使用特权指令之外,还有很多事件会触发中断信号。一个共享是,但凡需要操作系统介入的地方,都会触发中断信号)
eg:
①刚开机时,CPU为内核态”,操作系统内核程序先上CPU运行
②开机完成后,用户可以启动某个应用程序
③操作系统内核程序在合适的时候主动让出CPU,让该应用程序在CPU运行(操作系统内核在让出CPU之前,会用一条特权指令把PSW的标志位设置为“用户态”
④应用程序运行在“用户态”
⑤此时,一位黑客在应用程序中植入了一条特权指令,企图破坏系统
⑥CPU发现接下来要执行的这条指令是特权指令,但是自己又处于“用户态”
⑦这个非法事件会引发一个中断信号(CPU检测到中断信号后,会立即变为“核心态”,并停止运行当前的应用程序,转而运行处理中断信号的内核程序
⑧”中断“使操作系统再次夺回CPU的控制权
⑨操作系统会对引发中断的事件进行处理,处理完了再把CPU使用权交给别的应用程序
2.操作系统内核
内核是操作系统上配置的底层软件,是操作系统最基本、最核心的部分
实现操作系统内核功能的那些程序就是内核程序
3.操作系统的体系结构
大内核:将操作系统的主要功能模块都作为系统内核,运行在核心态。优点是高性能,缺点是代码庞大,结构混乱,难以维护
微内核:只把最基本的功能保留在内核。优点是内核功能少,结构清晰,方便维护。缺点是需要频繁地在核心态和用户态之间切换,性能低
4.中断和异常
中断的作用:CPU上会运行两种程序,一种是操作系统内核程序(是整个系统的管理者),一种是应用程序。”中断“会使CPU由用户态变为内核态,使用操作系统重新夺回对CPU的控制权。
在合适的情况下,操作系统内核会把CPU的使用权主动让给应用程序(第二章进程相关内容)
”中断“是让操作系统内核夺回CPU使用权的唯一途径,如果没有”中断“机制,那么一旦应用程序在CPU运行,CPU就会一直运行这个应用程序
中断的两种类型:中断分为内中断和外中断
内中断(也称异常、例外):与当前执行的指令有关,中断信号来自CPU内部
陷阱、陷入:由陷入指令引发,是应用程序故意引发的
故障:由错误条件引起的,可能被内核程序修复,内核程序修复故障后会把CPU使用权还给应用程序,让它继续执行下去,例如:缺页故障
终止:由致命错误引起,内核程序无法修复该错误,因此一般不再将CPU的使用权还给引发终止的应用程序,而是直接终止该应用程序。如:整数除0、非法使用特权指令
外中断(也称”中断“):与当前执行的指令无关,中断信号来源于CPU外部
每一条指令执行结束时,CPU都会例行检查是否有外中断信号,与当前执行指令无关,中断指令来源于CPU外部
注:大多数的教材、试卷中,”中断“特指狭义的中断,即外中断。而内中断一般称为”异常“
中断机制的基本原理:不同的中断信号,需要不同的中断处理程序来处理。当CPU检测到中断信号后,会根据中断信号的类型去查询”中断向量表“,以此来找到相应的中断处理程序在内存中的存放位置。显然,中断处理程序一定是内核程序,需要运行在”内核态“
5.系统调用
操作系统作为用户和计算机硬件之间的接口,需要向上提供一些简单易用的服务。主要包括命令接口和程序接口。其中,程序接口由一组系统调用组成
系统调用:是操作系统提供给应用程序(程序员/编程人员)使用的接口,可以理解为一种可供应用程序调用的特殊函数,应用程序可以通过系统调用来请求获得操作系统内核的服务
普通应用程序 | 可直接进行系统调用,也可使用库函数。有的库函数涉及系统调用,有的不涉及 |
编程语言 | 向上提供库函数,有时会将系统调用封装成库函数,以隐藏系统调用的一些细节,是程序员编程更加方便 |
操作系统 | 向上提供系统调用,使得上层程序能请求内核的服务 |
裸机 |
不涉及系统调用的库函数:如”取绝对值“的函数
设计系统调用的库函数:如”创建一个新文件“的函数
应用程序通过系统调用请求操作系统的服务。而系统中的各种共享资源都由操作系统内核统一掌管,因此凡是与共享资源有关的操作(如存储分配、I/O操作、文件管理等),都必须通过系统调用的方式向操作系统内核提出服务请求,有操作系统内核代为完成。这样可以保证系统的稳定性和安全性,防止用户进行非法操作
系统调用的过程:
传递系统调用参数--> 执行陷入指令(用户态)-->执行相应的内核程序处理系统调用(核心态)-->返回应用程序
注意:
1.陷入指令是在用户态执行的,执行陷入指令之后立即引发一个内中断,使CPU进入核心态
2.发出系统调用请求是在用户态,而对系统调用的相应处理在核心态下进行
1.6操作系统结构
1.操作系统的内核
内核是操作系统最基本、最核心的部分。
实现操作系统内核功能的那些程序就是内核程序。
注:操作系统内核需要运行在内核态
操作系统的非内核态功能运行在用户态
典型的大内核/宏内核/单内核 操作系统:Linux、UNIX
典型的 微内核 操作系统:Windows NT
例:现在,一个应用程序想要请求操作系统的服务,这个服务的处理同时涉及到进程管理、存储管理、设备管理。
注意:变态的过成本程是有的,要消耗不少时间,频繁的变态会降低系统性能
2.分层结构
最底层是硬件,最高层是用户接口,每层可调用更低一层
3.模块化
模块化是将操作系统按功能划分为若干个具有一定独立性的模块,每个模块具有某方面的管理功能,并规定好各模块的接口,使各模块之间能通过接口进行通信。还可以进一步将各模块细分为若干个具有一定功能的子模块,同样也规定好各子模块之间的接口。把这种设计方法称为模块——接口法,如下图所示,为由模块、子模块等组成的模块化操作系统结构。
4.外核
特性、思想 | 优点 | 缺点 | |
分层结构 | 内核分多层,每层可单向调用更低一层的接口 | ①便于调试和验证,自底向上逐层调试验证 ②易扩充和易维护,各层之间调用接口清晰固定 | ①仅可调用相邻低层,难以合理定义各层的边界 ②效率低,不可跨层调用,系统调用执行时间长 |
模块化 | 将内核划分为多个模块,各模块之间相互协作。 内核=主模块+可加载内核模块 主模块:只负责核心功能,如进程调度、内存管理 可加载内核模块:可以动态加载新模块到内核,而无需重新编译整个内核 | ①模块间逻辑清晰易于维护,确定模块间接口后即可多模块同时开发 ②支持动态加载新的内核模块(如:安装设备驱动程序、安装新的文件系统模块到内核),增强OS适应性 ③任何模块都可以直接调用其他模块,无需采用消息传递进行通信,效率高 | ①模块间的接口定义未必合理、实用 ②模块间相互依赖,更难调试和验证 |
宏内核(大内核) | 所有的系统功能都放在内核里(大内核结构的OS通常也采用了“模块化”的设计思想) | ①性能高,内核内部各种功能都可以直接相互调用 | ①内核庞大功能复杂,难以维护 ②大内核中某个功能出错,就可能导致整个系统崩溃 |
微内核 | 只把中断、原语、进程通信等最核心的功能放入内核。进程管理、文件管理、设备管理等功能以用户进程形式运行在用户态 | ①内核小功能少,易于维护,内核可能性高 ②内核外的某个功能模块出错不会导致整个系统崩溃 | ①性能低,需要频繁地切换用户态/核心态,用户态下的各功能模块不可以直接相互调用,只能通过内核的“消息传递”来间接通信 |
外核 | 内核负责进程调度、进程通信功能,外核负责为用户进程分配未经抽象的硬件资源,且由外核负责保证资源使用安全 | ①外核可直接给用户进行分配“不虚拟,不抽象”的硬件资源,使用户进程可以灵活的使用硬件资源 ②减少了虚拟硬件资源的“映射层”,提升效率 | ①降低了系统一致性 ②使系统变得复杂 |
1.7操作系统引导
操作系统引导(boot)——开机的时候,怎么让操作系统运行起来?
将
操作系统引导:
①CPU从一个特定主存地址开始,取指令,执行ROM中的引导程序(先进行硬件自检,再开机)
②将磁盘的第一块——主引导记录,读入内存,执行磁盘引导程序,扫描分区表
③从活动分区(又称主分区,即安装了操作系统的分区)读入分区引导记录,执行其中的程序
④从根目录下找到完整的操作系统初始化程序(即 启动管理器)并执行,完成“开机”的一系列动作
注:完整的操作系统初始化程序(即 启动管理程序)可在根目录下找到
eg:windows操作系统完整的开机初始化程序在“根目录/Windows/Boot”下
1.8虚拟机
传统计算机
虚拟机:使用虚拟化技术,将一台物理机器虚拟化为堕胎虚拟机器(Virtual Machine,VM),每个虚拟机器都可以独立运行一个操作系统
同义术语:虚拟机管理程序/虚拟机监控程序/Virtual Machine Monitor/Hypervisor
第一类VMM | 第二类VMM | |
对物理资源的控制权 | 直接运行在硬件之上,能直接控制和分配物理资源 | 运行在Host之上,依赖于Host OS为其分配物理资源 |
对资源分配方式 | 在安装Guest OS时,VMM要在原本的硬盘上自行分配存储空间,类似于“外核”的分配方式,分配未经过抽象的物理物件 | Guest OS拥有自己的虚拟磁盘,该盘实际上是Host OS文件系统中的一个大文件。Guest OS 分配到的内存是虚拟内存 |
性能 | 性能更好 | 性能更差,需要“Host OS”作为“中介” |
可支持的虚拟机器 | 更多,不需要和Host OS竞争资源,相同的硬件资源可以支持更多的虚拟机 | 更少,Host OS本身需要使用物理资源,Host OS 上运行的其他进程也需要物理资源 |
虚拟机的可迁移性 | 更差 | 更好,只需要倒出虚拟机镜像文件即可迁移到另一台Host OS上,商业化应用更广泛 |
运行模式 | 第一类VMM运行在最高特权级(Ring.0),可以执行最高特权指令 | 第二类VMM部分运行在用户态,部分运行在内核态,Guest OS发出的系统调令会被VMM截获,并转化为VMM对HostOS的系统调用 |
![](https://img-blog.csdnimg.cn/25bd402c94724c3ca2940a2988ef5a17.png)
![](https://img-blog.csdnimg.cn/d72399f19d4144bdbb34063e901595fc.png)
二、进程与线程
2.1进程的基本概念
1.进程的概念
主要理解“进程”和“程序”的区别
程序:是静态的,就是存放在磁盘里的可执行文件,如:QQ.exe
进程:是动态的,是程序的一次执行过程,如:可同时启动多次QQ程序
同意程序多次执行会对应多个进程
2.进程的组成——PCB
思考:操作系统是这些进程的管理者,它要怎么区分各个进程?
当进程被创建时,操作系统会为该进程分配一个唯一的、不重复的'身份证号“——PID(Process ID,进程ID)
操作系统要记录PID、进程所属用户ID(UID)(基本的进程描述信息,可以让操作系统区分各个进程)
还要记录给进程分配了哪些资源(如:分配了多少内存、正在使用哪些I/O设备、正在使用哪些文件)(可用于实现操作系统对资源的管理)
还要记录进程的运行情况(如:CPU使用时间、磁盘使用情况、网络流量使用情况等)(可用于实现操作系统对进程的控制、调度)
以上这些信息都被保存在一个数据结构PCB(Process Control Block)中,即进程控制块,操作系统需要对各个并发运行的进程进行管理,但凡管理时所需要的信息,都会被放在PCB中
PCB是给操作系统用的,程序段、数据段是给进程自己用的
一个进程实体(进程映像)由PCB、程序段、数据段组成。进程是动态的,进程实体(进程映像)是静态的。京城实体反映了进程某一时刻的状态(如:x++后,x=2)
进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。一个进程被”调度“,指的是操作系统决定让这个进程上CPU运行
3.进程的特征
相比于程序,进程有以下特征:
①动态性:动态性是进程最基本的特征,进程是程序的一次执行过程,是动态产生、变化和消亡的
②并发性:内存中有多个进程实体,各个进程可以并发执行
③独立性:进程是能独立运行的,独立获得资源,独立接受调度的基本单位
④异步性:异步性会导致并发程序执行结果的不确定性。各进程按各自独立的、不可预知的速度向前推进,操作系统要提供”进程同步机制“来解决异步问题
⑤结构性:每个进程都会配置一个PCB。从结构上看,进程由程序段、数据段、PCB组成
2.2进程的状态与转换
1.进程的状态
状态有运行状态、就绪状态、阻塞状态、创建状态、终止状态
进程的整个生命周期中,大部分时间都处于三种基本状态(运行态、就绪态、阻塞态)。
单CPU情况下,同一时刻只会有一个进程处于运行态,多核CPU情况下,可能有多个进程处于运行态
进程PCB中,会有一个变量state来表示进程的当前状态。如:1表示创建态、2表示就绪态、3表示运行态……,为了对同一个状态下的各个进程进行统一的管理,操作系统会将各个进程的PCB组织起来
进程正在被创建时,它的状态是“创建态”,在这个阶段操作系统会为进程分配资源,初始化PCB
当进程态创建完成后,便进入“就绪态”,处于就绪态的进程已经具备运行条件,若此时没有空闲的CPU,就暂时不能运行
当CPU空闲时,操作系统就会选择一个就绪进程,让它在处理机上运行。一个进程在CPU上运行,这个进程处于”运行态“CPU会执行该进程对应的程序(执行指令序列)
在进程运行过程中,可能会请求等待某个事件的发生(如等待某种系统资源的分配,或者等待其他进程的响应)
在这个事件发生之前,进程无法继续执行下去,此时操作系统会让这个进程下CPU,并让它进入”阻塞态“
当CPU空闲时,又会选择另一个”就绪态“进程上CPU运行
一个进程可以执行exit系统调用,请求操作系统终止该进程,此时该进程会进入”终止态“,操作系统会让该进程下CPU,并回收内存等空间资源,最后还要回收该进程的PCB,当终止进程的工作完成后,这个进程就彻底消失了
2.进程状态的转换
就绪态——>运行态:进程被调度
运行态——>就绪态:时间片到,或CPU被其他高优先级的进程抢占
运行态——>阻塞态:等待系统资源分配,或等待某事件发生(主动行为)
阻塞态——>就绪态:资源分配到位,等待事件发生(被动行为)
创建态——>就绪态:系统完成创建进程相关的工作
运行态——>终止态:进程运行结束,或运行过程中遇到不可修复的错误
3.进程的组织方式
链接方式:按照进程状态将PCB分为多个队列,操作系统持有指向各个队列的指针
索引方式:根据进程状态的不同,建立几张索引表。操作系统持有指向各个索引表的指针
2.3进程控制
进程控制的主要功能是对系统中的所有进程实施有效的管理,它具有创建新的进程、撤销已有的进程、实现进程状态转换等功能
1.进程控制的基本概念
用”原语“实现进程控制,原语是一种特殊的程序,它的执行具有原子性。也就是说,这段程序必须是一气呵成,不可中断。
如果不能”一气呵成“就有可能导致操作系统中的某些关键数据结构信息不统一的情况,这会影响操作系统进行别的管理工作
例:假设PCB中的变量state表示进程当前所处的状态,1表示就绪态,2表示阻塞态……
假设此时进程2等待事件的发生,则操作系统中,负责进程控制的内核程序至少需要做这两件事:
①将PCB2的state设为1(完成了第一步之后收到中断信号,那么PCB2的state=1,但是它却被放到阻塞队列里,所以要”一气呵成“)
②将PCB2从阻塞队列放到就绪队列
如何实现原语的”原子性“?
原语的执行具有原子性,即执行过程只能一气呵成,期间不允许被中断。
可以用“关中断指令”和“开中断指令”这两个特权指令实现原子性
正常情况下:CPU每执行完一条指令都会例行检查是否有中断信号需要处理,如果有,则暂停运行当前的这段程序,转而执行相应的中断处理程序
CPU执行关中断指令后,就不再例行检查中断信号,直到执行开中断指令之后才会恢复检查
这样,关中断、开中断之间的这些指令序列就是不可被中断的,这就实现了“原子性”
2.进程控制相关的原语
进程的创建:
操作系统创建一个进程时使用的原语(创建原语)
①申请空白PCB
②为新进程分配所需资源
③初始化PCB
④将PCB插入就绪队列(创建态=就绪态)
引起进程创建的事件:
①用户登录:分时系统中,用户登登录成功,系统就会为其建立一个新的进程
②作业调度:多批到处理系统中,有新的作业放入内存时,会为其建立一个新的进程
③提供服务:用户向操作系统提出某些请求时,会新建一个进程处理该请求
④应用请求:由用户进程主动请求创建一个子进程
进程的终止:
撤消原语
①从PCB集合中找到终止进程的PCB
②若进程正在运行,立即剥夺CPU,将CPU分配给其他进程
③终止所有子进程(进程间的关系是树形结构的)
④将该进程拥有的所有资源归还给父进程或操作系统
⑤删除PCB
引起进程终止的事件
①正常结束(进程自己请求终止(exit系统调用))
②异常结束(整数除以0、非法使用特权指令,然后被操作系统强行杀掉)
③外界干预(Ctrl+Alt+delete,用户选择杀掉进程)
进程的阻塞和唤醒(阻塞原语唤醒原语必须成对使用):
阻塞原语(运行态——>阻塞态)
①找到阻塞的进程对应的PCB
②保护进程运行现场,将PCB状态信息设置为“阻塞态”,暂时停止进程运行
③将PCB插入相应事件的等待序列
引起进程阻塞的事件
①需要等待系统分配某种资源
②需要等待相互合作的其他进程完成工作
唤醒原语(阻塞态——>就绪态)
①在事件等待队列中找到PCB
②将PCB从等待队列中移除,设置进程为就绪状态
③将PCB插入就绪队列,等待被调度
引起进程唤醒的事件
①等待事件的发生(因何事阻塞,就应由何事唤醒)
进程的切换:
切换原语(运行态——>就绪态/阻塞态、就绪态——>运行态)
①将运行环境信息存入PCB(进程上下文(Context))
②PCB移入相应队列
③选择另一个进程执行,并更新其PCB
④根据PCB恢复新进程所需的应用环境
引起进程切换的事件
①当前进程时间片到
②有更优先级的进程先到达
③当前进程为主动阻塞
④当前进程终止
进程控制会导致进程状态的转换。无论哪个进程控制原语,要做的无非就是下面三类事情:
Ⅰ.更新PCB中的原语
a.所有的进程控制原语一定都会修改进程状态标志
b.剥夺当前运行进程的CPU使用权必然要保护其运行环境
c.当某进程开始运行前必然要恢复其运行环境
Ⅱ.将PCB插入合适的队列
Ⅲ.分配/回收资源
2.4进程通信(IPC)
什么是进程间通信?
进程间通信(Inter—-Process Communication ,IPC)是指两个进程之间产生数据交互
为什么进程通信需要操作系统支持?
进程是分配系统资源的单位(包括内存地址空间),因此各进程拥有的内存地址空间相对独立。为了保护安全,一个进程不能直接访问另一个进程的地址空间
1.共享存储
为了避免出错,各个进程对共享空间的访问应该是互斥的。各个进程可使用操作系统内核提供的同步互斥工具(如P、V操作)
注:通过“增加页表项/段表项”即可将同一片共享内存区映射到各个进程的地址空间中
Linux 中,如何实现共享内存:
int shm_open(......); //通过shm_open系统调用,申请一片共享内存区
void*mmap(......); //通过mmap系统调用,将共享内存区映射到自己的地址空间
基于数据结构的共享:比如共享空间里只能放一个长度为10的数组,这种共享方式速度慢、限制多,是一种低级通信方式
基于存储区的共享:操作系统在内存中划出一块共享存储区,数据的形式、存放位置都由通信进程控制,而不是操作系统,这种共享方式速度很快,是一种高级通信方式
2.消息传递
进程间的数据交换以格式化的消息(Message)为单位。进程通过操作系统提供的“发送消息/接收消息”两个原语进行数据交换。
消息传递(直接通信方式)
消息传递(间接通信方式)
3.管道通信
1.管道只能采用半双工通信,某一时间段只能实现单向传输。如果要实现双向同时传输,则需要设置两个管道
2.各进程要互斥地访问管道(由操作系统实现)
3.写进程往管道写数据,即便管道没有被写满,只要管道没空,读进程就可以从管道读数据。当管道写满时,写进程将阻塞,直到读进程将管道中的数据取走,即可唤醒写进程
4.读进程从管道读数据,即便管道没有读空,只要管道没满,写进程就可以往管道写数据。当管道读空时,读进程将阻塞,直到写进程往管道中写入数据,即可唤醒读进程
5.管道中的数据一旦被读出,就彻底消失。因此,当多个进程读同一管道时,可能会错乱。对此,通常有两种解决方案:①一个管道允许多个写进程,一个读进程;②允许有多个写进程,多个读进程,但系统会让各个读进程轮流从管道中读数据(Linux的方案)
2.5线程概念与特点
写在前面:
还没引入进程之前,系统中的各个程序只能串行执行,进程是程序的一次执行。但是这些功能不可能是由一个程序顺序处理就能实现的。有的进程可能需要“同时”做很多事,而传统的进程只能串行地执行一系列程序,为此,引入了“线程”,来增加并发度。传统的进程是程序执行流地最小单位。引入线程后,线程成为了程序执行流地最小单位
可以把线程理解为“轻量级进程”
线程是一个基本的CPU执行单元,也是程序执行流的最小单位。引入线程之后,不仅是进程之间可以并发,进程内各线程之间也可以并发,从而进一步提升了系统的并发度,使得一个进程内也可以并发处理各种任务(如QQ视频、文字聊天、传文件等)
引入线程后,进程只作为除CPU之外的系统资源的分配单元(如打印机、内存地址空间等都是分配给进程的)
线程则作为处理机的分配单元
引入线程机制后的变化
资源分配、调度
1.传统进程机制中,进程是资源分配,调度是基本单位
2.引入线程后,进程是资源分配的基本单位,线程是调度的基本单位
并发性
1.传统机制中,只能进程间并发
2.引入线程后,各线程间也能并发,提升了并发度
系统开销
1.传统的进程间的并发,需要切换进程的运行环境,系统开销很大
2.线程间的并发,如果是同一进程的线程切换,则不需要切换进程环境,系统开销小
3.引入线程后,并发所带来的系统开销减少
线程的属性 线程是处理机的调度单位 多CPU计算机中,各个线程可占用不同的CPU 每个线程都有一个线程ID、线程控制块(TCB) 线程也有就绪、阻塞、运行三种基本状态 线程几乎不拥有系统资源 同一进程的不同线程间共享进程的资源 由于共享内存地址空间,同一进程中的线程间通信甚至无需系统干预 同一进程中的线程切换,不会引起进程切换 不同进程中的线程切换,会引起进程切换 切换同进程内的线程,系统开销很小 切换进程,系统开销较大
2.6线程的实现方式与多线程模型
1.线程的实现方式
线程的实现方式又用户级线程和内核级线程两种
用户级线程:
从代码角度看,线程其是就是一段代码逻辑。上述代码逻辑上可以看作三个“线程”。而while循环就是一个弱智的“线程库”,线程库完成了对线程的管理工作(如调度)
很多编程语言提供了强大的线程库,可以实现线程的创建、销毁、调度等功能
1.线程的管理工作由谁来完成
用户级线程由应用程序通过线程库实现,所有的线程管理工作都由应用程序负责(包括线程切换)
2.线程切换是否需要CPU变态
用户级线程中,线程切换可以在用户态下即可完成,无需操作系统干预
3.操作系统是否能意识到用户级线程的存在
在用户看来,是有多个线程。但是在操作系统内核看来,并意识不到线程的存在。“用户级线程”就是“从用户角度看能看到线程”
4.这种线程的实现有什么优缺点
优点:用户级线程的切换在用户空间即可完成,不需要切换到核心态,线程管理系统开销小,效率高
缺点:当一个用户级线程被阻塞后,整个进程都会被阻塞,并发度不高,多个线程不可在多核处理机上并行运行
2.内核级线程
内核级线程是由操作系统支持的线程,大多数操作系统都实现了内核级线程,如Windows、Linux
1.线程的管理工作由谁来完成
内核级线程的管理工作由操作系统内核完成
2.线程切换是否需要CPU变态
线程调度、切换等工作都由内核负责,因此内核级线程的切换必然要在核心态下才能完成
3.操作系统能否意识到内核级线程的存在
操作系统会为每个内核级线程建立相应的TCB(Thread Control Block,线程控制块),通过TCB对线程的管理。”内核级线程“就是”从操作系统内核视角看能看到的线程“
4.这种线程的实现方式有什么优点和缺点
优点:当一个线程被阻塞后,别的线程还可以继续执行,并发能力强,多线程可以在多核处理机上执行
缺点:一个用户进程会占用多个内核级线程,线程切换由操作系统内核完成,需要切换到核心态,因此线程管理成本高、开销大
2.多线程模型
一对一模型:一个用户级线程映射到一个内核级线程。每个用户进程有与用户级线程同数量的内核级线程。
优点:当一个线程被阻塞后,别的线程还可以继续执行,并发能力强。多线程可在多核处理机上并行执行。
缺点:一个用户进程会占用多个内核级线程, 线程切换由操作系统内核完成,需要切换到核心态,因此线程管理的成本高,开销大
多对一模型:多个用户级线程映射到一个内核级线程。且一个进程只被分配一个内核级线程。
优点:用户级线程的切换在用户空间即可完成,不需要切换到核心态,线程管理的系统开销小,效率高
缺点:当一个用户级线程被阻塞后,整个进程都会被阻塞,并发度不高。多个线程不可在多核处理机上并行运行
重点: 操作系统只“看得见”内核级线程,因此只有内核级线程才是处理机分配的单位
多对多模型:n 用户及线程映射到 m 个内核级线程(n >= m)。每个用户进程对应 m 个内核级线程。
克服了多对一模型并发度不高的缺点(一个阻塞全体阻塞),又克服了一对一模型中一个用户进程占用太多内核级线程,开销太大的缺点
可以这么理解: 用户级线程是“代码逻辑”的载体内核级线程是“运行机会”的载体(内核级线程才是处理机分配的单位。例如:在一个拥有两个核的多核 CPU环境下,进程最多能被分配两个核。)
一段“代码逻辑”只有获得了“运行机会”才能被 CPU执行(内核级线程中可以运行任意一个有映射关系的用户级线程代码,在一个只有两个核的CPU中,只有两个内核级线程中正在运行的代码逻辑都阻塞时,这个进程才会阻塞)
用户级线程 | 从用户视角能看到的线程,由线程库实现 | |
线程的实现方式 | 内核级线程 | 从操作系统视角看到的线程,由操作系统实现,内核级线程才是处理机分配的单位 |
组合方式 | 上述两种方式的结合 | |
一对一模型 | 一个用户级线程映射到一个内核级线程 优:各个线程可分配到多核处理机并行执行,并发度高 缺:线程管理都需要操作系统支持,开销大 | |
多线程模型 | 多对一模型 | 多个用户级线程映射到一个内核级线程 优:线程管理开销小,效率高 缺:一个线程阻塞会导致整个进程都被阻塞(并发度低) |
多对多模型 | n个用户级线程映射到m个内核级线程(n>=m) 集一对一和多对一模型的优点于一身 |
2.7线程的状态与转换
线程的状态与转换:
线程的组织与控制:
三、处理机调度
3.1调度的概念、层次
1.基本概念
当有一堆任务要处理,但由于资源有限,这些事情没法同时处理,这就需要确定某种规则来决定处理这些任务的先后顺序,这就是“调度”研究的问题
2.调度的三个层次
高级调度
作业:一个具体的任务
用户向系统提交一个作业≈用户让操作系统启动一个程序(来处理一个具体的任务)
高级调度(作业调度):(简化理解,好几个程序需要启动,到底先启动哪个)按一定的原则从外存作业后备队列中挑选一个作业调入内存,并创建内存。每个作业只调入一次,调出一次。作业调入时会建立PCB,调出时才撤销PCB
低级调度
低级调度(进程调度、处理机调度)——按照某种策略从就绪队列中选取一个进程,将处理机分配给它
进程调度是操作系统中最基本的一种调度,在一般的操作系统中都必须配置进程调度
进程调度的频率很高,一般几十毫秒一次
中级调度
内存不够时,可将某些进程的数据调出外存,等内存空闲或者进程需要运行时再重新调入内存
暂时调到外存等待的进程状态为挂起状态,被挂起的进程PCB会被组织成挂起队列
中级调度(内存调度)——按照某种策略决定将哪个处于挂起状态的进程重新调入内存
一个进程可能会被多次调出、调入内存,因此中级调度发生的频率要比高级调度更高
进程挂起状态七状态模型
暂时调到外存等待的进程状态为挂起状态(挂状态,suspend)
挂状态又可以进一步细分为就绪挂起、阻塞挂起两种状态
五状态模型-->七状态模型
三层调度的联系、对比
要做什么 | 调度发生的地方 | 发生频率 | 对进程状态的影响 | |
高级调度 (作业调度) | 按照某种规则,其后备队列中选择合适的作业将其调入内存,并为其创建进程 | 外存-->内存 (面向作业) | 最低 | 无-->创建态-->就绪态 |
中级调度 (内存调度) | 按照某种规则,从挂起队列中选择合适的进程将其数据调回内存 | 外存-->内存 (面向进程) | 中等 | 挂起态-->就绪态 |
低级调度 (进程调度) | 按照某种规则,从就绪队列中选择一个进程为其分配处理机 | 内存-->CPU | 最高 | 就绪态-->运行态 |
补充知识:为减轻系统负载,提高资源利用率,暂时不执行的进程会被调到外存从而变为“挂起态”
七状态模型:在五状态模型的基础上加入了“就绪挂起”和“阻塞挂起”
3.2调度的目标
调度算法的评价指标有:CPU利用率、系统吞吐量、周转时间、等待时间和响应时间
CPU利用率:
由于早期的CPU造价极其昂贵,因此人们会希望让CPU尽可能多地工作
CPU利用率:指CPU“忙碌”的时间的比例
例:某计算机只支持单道程序,某个作业刚开始需要在CPU上运行5秒,再用打印机打印输出5秒,之后再执行5秒,才能结束,在此过程中,CPU的利用率、打印机的利用率分别是多少?
答:CPU的利用率=(5+5)/(5+5+5)
打印机利用率= 5 /(5+5+5)
系统吞吐量:
对于计算来说,希望尽可能用少的时间处理完尽可能多的作业
系统吞吐量:单位时间内完成作业的数量
系统吞吐量=总共完成了多少作业/总共花了多少时间
例:某计算机系统处理完10道作业,共花费1000秒,则系统吞吐量为?
答:10/1000=0.1秒/道
周转时间:
对于计算机用户来说,他很关心自己的作业从提交到完成花了多少时间
周转时间:是指从作业提交给系统开始,到作业完成为止这段时间间隔
它包括四个部分:作业在外存后备队列等待作业调度(高级调度)的时间、进程在就绪队列上等待进程调度(低级调度)的时间、进程等待I/O操作完成的时间。后三项在一个作业的整个处理过程中,可能发生多次
对于周转时间相同的两个作业,实际运行时间长的作业在相同时间内被服务的时间更多,带权周转时间更小,用户满意度更高
对于实际运行时间相同的两个作业,周转时间短的带权周转时间更小,用户满意度更高
等待时间:
计算机的用户希望自己的作业尽可能少的等待处理机
等待时间,指进程/作业处于等待处理机状态之和,等待时间越长,用户满意度越低
对于进程来说,等待时间就是指进程建立后等待被服务的时间之和,在等待I/O完成的期间其实进程也是在被服务的,所以不计入等待时间
对于作业来说:不仅要考虑建立进程后的等待时间,还要加上作业在外存后备队列中等待的时间
一个作业总共需要被CPU服务多久,被I/O设备服务多久一般是确定不变的,因此调度算法其实只会影响作业/进程的等待时间。当然,与前面指标类似,也有“平均等待时间”来评价整体性能
响应时间:
对于计算机用户来说,会希望自己的提交的请求(比如通过键盘输入了一个调试命令)尽早地开始被系统服务、响应
响应时间:只从用户提交请求到首次响应所用的时间
3.3进程调度的时机、切换过程和调度方式
1.进程调度的时间
进程调度(低级调度),就是按照某种算法从就绪队列中选择一个进程为其分配处理机
2.进程调度的时机
进程在操作系统内核程序临界区中不能进行调度与切换
临界资源:一个时间段内只允许一个进程使用的资源。各进程需要互斥的访问临界资源
临界区:访问临界资源的那段代码
内核程序临界区一般是用来访问内核数据结构的,比如进程的就绪队列(由各就绪进程的PCB组成)
内核程序临界区访问的临界资源如果不及时释放的化,极有可能影响到操作系统内核的其他管理工作。因此在访问内核程序临界区间不能进行调度与切换
普通临界区访问的临界资源不会直接影响操作系统的管理工作,因此在访问普通临界区时可以进行调度与切换
3.进程调度的方式
非剥夺调度方式,又称非抢占方式。即,只允许进程主动放弃处理机。在运行过程中即便有更紧迫的任务到达(实现简单,系统开销小但是无法及时处理紧急任务,适用于早期的批处理系统)
剥夺调度方式,又称抢占方式。当一个进程正在处理及上执行时,如果有一个更重要或更紧迫的进程需要使用处理机(可以优先处理更紧急的进程,也可实现让各进程按时间片轮流执行的功能(通过始终中断)适合用于分时操作系统、实时操作系统),则立即暂停正在执行的程序,将处理机分配给更重要更紧迫的那个进程
4.进程的切换与过程
“狭义的进程调度”与“进程切换”的区别:
狭义的进程调度指的是从就绪队列中选中一个要运行的进程(这个进程可以是刚刚被暂停执行的进程,也可能是另一个进程,后一种情况就需要进程切换)
进程切换是指一个进程让出处理机,由另一个进程占用处理机的过程
广义的进程调度包含选择一个进程和进程切换两个步骤
进程的切换主要完成了:
1.对原来运行进程各种数据的保存2.对新序计数器、程序状态字、各种数据寄存器等处理机xian
的进程各种数据的恢复
(如:程序计数器、程序状态字、各种数据寄存器等处理机现场信息,这些信息一般保存在进程控制块)
注意:进程切换是有代价的,因此如果过于频繁的进行进程调度、切换,必然会使整个系统的效率降低,使系统大部分时间都花在进程切换上,而真正用于执行进程的时间减少
3.4调度器、闲逛进程
调度器/调度程序
闲逛进程
调度程序永远的备胎,没有其他的就绪程序时,运行闲逛程序(idle)
闲逛进程的特性:
1.优先级最低
2.可以是0地址指令,占一个完整的指令周期(指令周期末尾例行检查中断)
3.能耗低
3.5调度算法
1.先来先服务(FCFS)
算法思想:主要从“公平“的角度考虑(类似于我们生活中排队买东西)
算法规则:按照作业/进程到达的先后顺序进行服务
用于作业/进程调度:用于作业调度时,考虑是哪个作业先到达的后备队列;用于进程调度时,考虑是哪个进程先到达的就绪队列
是否可抢占:非抢占式算法
优缺点:优点:公平算法实现简单
缺点:排在长作业(进程)后面的短作业需要等待很长的时间,带权周转时间很大,对短作业来说用户体验不好,即FCFS算法对长作业有利,对短作业不利
是否会导致饥饿(指的是某进程/作业长期得不到服务):不会
2.短作业优先(SJF)
算法思想:追求最少的平均等待时间,最少平均周转时间,最少平均带权周转时间
算法规则:最短的作业/进程优先得到服务(所谓”最短“,是指要求服务时间最短)
用于作业/进程调度:即可用于作业调度,也可以用于进程调度。对于进程调度时称为“短进程(SPF)优先算法”
是否可抢占:SJF和SPF时非抢占式算法,但是也有抢占式算法——最短剩余时间优先算法
优缺点:优点:“最短的”平均等待时间、平均周转时间
缺点:不公平。对短作业有利,对长作业不利。可能产生饥饿现象。另外,作业/进程的运行时间是由用户提供的,并不一定真实,不一定能做到真真正的短作业优先
是否会导致饥饿:会,如果源源不断地有短作业/进程到来,可能使长作业/进程长时间得不到服务,产生“饥饿”现象。如果一直得不到服务,则成为“饿死”
注意几个小细节:
1. 如果题目中未特别说明,所提到的“短作业/进程优先算法”默认是非抢占式的
2. 很多书上都会说“SJF 调度算法的平均等待时间、平均周转时间最少” 严格来说,这个表述是错误的,不严谨的。之前的例子表明,最短剩余时间优先算法得到的平均等待 时间、平均周转时间还要更少 应该加上一个条件“在所有进程同时可运行时,采用SJF调度算法的平均等待时间、平均周转时间最 少”; 或者说“在所有进程都几乎同时到达时,采用SJF调度算法的平均等待时间、平均周转时间最少”; 如果不加上述前提条件,则应该说“抢占式的短作业/进程优先调度算法(最短剩余时间优先, SRNT算 法)的平均等待时间、平均周转时间最少”
3. 虽然严格来说,SJF的平均等待时间、平均周转时间并不一定最少,但相比于其他算法(如 FCFS), SJF依然可以获得较少的平均等待时间、平均周转时间
4. 如果选择题中遇到“SJF 算法的平均等待时间、平均周转时间最少”的选项,那最好判断其他选项 是不是有很明显的错误,如果没有更合适的选项,那也应该选择该选项
3.高响应比优先(HRRN)
算法思想:要综合考虑作业/进程的等待时间和要求服务时间
算法规则:在每次调度时先计算各个作业/进程的响应比,选择响应比最高的作业/进程为其服务
用于作业/进程调度:即可用于作业调度,也可用于进程调度
是否可抢占:非抢占式算法。因此只有当前运行的作业/进程主动放弃处理机时,才需要调度,才需要计算相应比
优缺点:综合考虑了等待时间和运行时间(要求服务时间)
等待时间相同时,要求服务时间短的优先(SJF 的优点)
要求服务时间相同时,等待时间长的优先(FCFS 的优点)
对于长作业来说,随着等待时间越来越久,其响应比也会 越来越大,从而避免了长作业饥饿的问题
是否会导致饥饿:不会
4.时间片轮转调度算法(RR)
算法思想:公平地、轮流地为各个进程服务,让每个进程在一定时间间隔内都可以得到响应
算法规则:按照各进程到达就绪队列的顺序,轮流让各个进程执行一 个时间片(如 100ms)。若进程未在一个时间片内执行完,则剥夺处理机,将进程重新放到就绪队列队尾重新排队。
用于作业/进程调度:用于进程调度(只有作业放入内存建立了相应的进程后,才能被分配处理机时间片)
是否可抢占:若进程未能在时间片内运行完,将被强行剥夺处理机使用权,因此时间片轮转调度算法属于抢占式的算法。由时钟装置发出时钟中断来通知CPU时间片已到
优缺点:优点:公平;响应快‘适用于分时操作系统
缺点:由于高频率的进程切换,因此有一定开销;不区分任务的紧急程度。
是否会导致饥饿:不会
5.优先级调度算法
算法思想:随着计算机的发展,特别是实时操作系统的出现,越来越多的应用场景需要根据任务的紧急程度来决定处理顺序
算法规则:调度时选择优先级最高的作业/进程
用于作业/进程调度:既可用于作业调度,也可用于进程调度。甚至,还会用于在之后会学习的I/O调度中
是否可抢占:抢占式、非抢占式都有。做题时的区别在于:非抢占式只 需在进程主动放弃处理机时进行调度即可,而抢占式还需 在就绪队列变化时,检查是否会发生抢占
优缺点:用优先级区分紧急程度、重要程度、适用于实时操作系统。可灵活地调整对各种作业/进程的偏好程度
是否会导致饥饿:会
6.多级反馈队列调度算法
算法思想:对其他调度算法的折中权衡
算法规则:1. 设置多级就绪队列,各级队列优先级从高到低,时间片从小到大
2. 新进程到达时先进入第1级队列,按FCFS原则排队等待被分配时间片,若用完时间片进程还未结束,则进程进入下一级队列队尾。如果此时已经是在最下级的队列,则重新放回该队列队尾
3. 只有第 k 级队列为空时,才会为 k+1 级队头的进程分配时间片
是否可被抢占:抢占式的算法。在 k 级队列的进程运行过程中,若更上级的队列(1~k-1级)中进入了一个新进程,则由于新进程处于优先级更高的队列中,因此新进程会抢占处理机,原来运行的进程放回 k 级队列队尾
优缺点:对各类型进程相对公平(FCFS的优点);每个新到达的进程都可以很快就得到响应(RR的优点);短进程只用较少的时间就可完成 (SPF的优点);不必实现估计进程的运行时间(避免用户作假); 可灵活地调整对各类进程的偏好程度,比如CPU密集型进程、I/O密集型进程(拓展:可以将因I/O而阻塞的进程重新放回原队列,这样 I/O型进程就可以保持较高优先级)
算法 | 是否可抢占 | 优点 | 缺点 | 考虑到等待时间&运行时间 | 是否会导致饥饿 |
FCFS | 非抢占式 | 公平;实现简单 | 对短作业不利 | 等待时间√ 运行时间× | 不会 |
SJF/SPF | 默认为非抢占式,也有SJF的抢占式版本最短剩余时间优先算法(SRTN) | “最短的”平均等待 /周转时间; | 对长作业不利,可 能导致饥饿;难以 做到真正的短作业 优先 | 等待时间× 运行时间√ | 会 |
HRRN | 非抢占式 | 上述两种算法的权衡 折中,综合考虑的等 待时间和运行时间 | 等待时间√ 运行时间√ | 不会 | |
时间片轮转 | 抢占式 | 公平,适用 于分时系统 | 频繁切换有开销, 不区分优先级 | 不会 | |
优先级调度 | 有抢占式的,也有非抢占式的。注意做题时的区别 | 区分优先级, 适用于实时系统 | 可能导致饥饿 | 会 | |
多级反馈 队列 | 抢占式 | 平衡优秀 | 一般不说它有缺 点,不过可能导 致饥饿 | 会 |
注:
前三种算法主要关心对用户的公平性、平均周转时间、平均等待时间等评价系统整体性能的指标,但是不关心“响应时间”,也并不区分任务的紧急程度,因此对于用户来说,交互性很糟糕。因此这前三种算法一般适合用于早期的批处理系统,当然,FCFS算法也常结合其他的算法使用,在现在也扮演着很重要的角色。
比起早期的批处理操作系统来说,由于计算机造价大幅降低,因此之后出现的交互式操作系统(包括 分时操作系统、实时操作系统等)更注重系统的响应时间、公平性、平衡性等指标。而这后三种算法恰好也 能较好地满足交互式系统的需求。因此后三三种算法适合用于交互式系统。(比如UNIX使用的就是多级反馈 队列调度算法)
7.多级队列调度算法
系统中按进程类型设置多个队列,进程创建成功后插入某个队列
队列之间可采取固定优先级,或时间片划分固定优先级:高优先级空时低优先级进程才能被调度 时间片划分:如三个队列分配时间50%、40%、10%
各队列可采用不同的调度策略,如:系统进程队列采用优先级调度交互式队列采用RR 批处理队列采用FCFS
四、死锁
4.1死锁的概念
什么是死锁:
死锁、饥饿和死循环的区别:
死锁:各进程互相等待对方手里的资源,导致各进程都阻塞,无法向前推进的现象。
饥饿:由于长期得不到想要的资源,某进程无法向前推进的现象。比如:在短进程优先(SPF)算法中,若有源源不断的短进程到来,则长进程将一直得不到处理机,从而发生长进程“饥饿”。
死循环:某进程执行过程中一直跳不出某个循环的现象。有时是因为程序逻辑 bug 导致的,有时是程序员故意设计的。
共同点 | 区别 | |
死锁 | 都是进程无法顺利向前推进的现象(故意设计的死循环除外 | 死锁一定是“循环等待对方手里的资源”导致的,因此如果有死锁现象,那至少有两个或两个以上的进程同时发生死锁。另外,发生死锁的进程一定处于塞态。 |
饥饿 | 可能只有一个进程发生饥饿。发生饥饿的进程既可能是阻塞态(如长期得不到 需要的I/O设备),也可能是就绪态(长期得不到处理机) | |
死循环 | 可能只有一个进程发生死循环。死循环的进程可以上处理机运行(可以是运行态),只不过无法像期待的那样顺利推进。死锁和饥饿问题是由于操作系统分配资源的策略不合理导致的,而死循环是由代码逻辑的错误导致的。死锁和饥饿是管理者(操作系统)的问题,死循环是被管理者的问题。 |
死锁产生的必要条件:
产生死锁必须同时满足一下四个条件,只要其中任一条件不成立,死锁就不会发生
互斥条件:只有对必须互斥使用的资源的争抢才会导致死锁(如哲学家的筷子、打印机设备)。 像内存、扬声器这样可以同时让多个进程使用的资源是不会导致死锁的(因为进程不用阻塞等待 这种资源)
不剥夺条件:进程所获得的资源在未使用完之前,不能由其他进程强行夺走,只能主动释放
请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源又被其他进程占有,此时请求进程被阻塞,但又对自己已有的资源保持不放
循环等待条件:存在一种进程资源的循环等待链,链中的每一个进程已获得的资源同时被下一个进程所请求
注意!发生死锁时一定有循环等待,但是发生循环等待时未必死锁(循环等待是死锁的必要不充分条件) 如果同类资源数大于1,则即使有循环等待,也未必发生死锁。但如果系统中每类资源都只有一个,那循环等待就是死锁的充分必要条件了
什么时候会发生死锁:
1. 对系统资源的竞争。各进程对不可剥夺的资源(如打印机)的竞争可能引起死锁,对可剥夺的资 源(CPU)的竞争是不会引起死锁的
2. 进程推进顺序非法。请求和释放资源的顺序不当,也同样会导致死锁。例如,并发执行的进程P1、 P2 分别申请并占有了资源 R1、R2之后进程P1又紧接着申请资源R2,而进程P2又申请资源R1, 两者会因为申请的资源被对方占有而阻塞,从而发生死锁
3. 信号量的使用不当也会造成死锁。如生产者-消费者问题中,如果实现互斥的P操作在实现同步的 P操作之前,就有可能导致死锁。(可以把互斥信号量、同步信号量也看做是一种抽象的系统资 源)
总之,对不可剥夺资源的不合理分配,可能导致死锁
死锁的处理策略:
1. 预防死锁。破坏死锁产生的四个必要条件中的一个或几个
2. 避免死锁。用某种方法防止系统进入不安全状态,从而避免死锁(银行家算法)
3. 死锁的检测和解除。允许死锁的发生,不过操作系统会负责检测出死锁的发生,然后采取某种措施解除死锁
4.2死锁的处理策略和预防策略
破坏互斥条件:
互斥条件:只有对必须互斥使用的资源的争抢才会导致死锁
如果把只能互斥使用的资源改造为允许共享使用,则系统不会进入死锁状态。比如: SPOOLing技术。 操作系统可以采用 SPOOLing 技术把独占设备在逻辑上改造成共享设备。比如,用SPOOLing技术将打印机改造为共享设备…
该策略的缺点:并不是所有的资源都可以改造成可共享使用的资源。并且为了系统安全,很多地方 还必须保护这种互斥性。因此,很多时候都无法破坏互斥条件
破坏不剥夺条件:
不剥夺条件:进程所获得的资源在未使用完之前,不能由其他进程强行夺走,只能主动释放。
破坏不剥夺条件:
方案一:当某个进程请求新的资源得不到满足时,它必须立即释放保持的所有资源,待以后需要时 再重新申请。也就是说,即使某些资源尚未使用完,也需要主动释放,从而破坏了不可剥夺条件。
方案二:当某个进程需要的资源被其他进程所占有的时候,可以由操作系统协助,将想要的资源强 行剥夺。这种方式一般需要考虑各进程的优先级(比如:剥夺调度方式,就是将处理机资源强行剥 夺给优先级更高的进程使用)
该策略的缺点:
1. 实现起来比较复杂
2. 释放已获得的资源可能造成前一阶段工作的失效。因此这种方法一般只适用于易保存和恢复状态 的资源,如CPU
3. 反复地申请和释放资源会增加系统开销,降低系统吞吐量
4. 若采用方案一,意味着只要暂时得不到某个资源,之前获得的那些资源就都需要放弃,以后再重 新申请。如果一直发生这样的情况,就会导致进程饥饿
破坏请求和保持条件:
请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源又被其他进 程占有,此时请求进程被阻塞,但又对自己已有的资源保持不放
可以采用静态分配方法,即进程在运行前一次申请完它所需要的全部资源,在它的资源未满足前, 不让它投入运行。一旦投入运行后,这些资源就一直归它所有,该进程就不会再请求别的任何资源 了
该策略实现起来简单,但也有明显的缺点: 有些资源可能只需要用很短的时间,因此如果进程的整个运行期间都一直保持着所有资源,就会造成严重的资源浪费,资源利用率极低。另外,该策略也有可能导致某些进程饥饿
破坏循环等待条件:
循环等待条件:存在一种进程资源的循环等待链,链中的每一个进程已获得的资源同时被下一个进 程所请求
顺序资源分配法:首先给系统中的资源编号,规定每个进程必须按编号递增的顺序请求资源, 同类资源(即编号相同的资源)一次申请完。 原理分析:一个进程只有已占有小编号的资源时,才有资格申请更大编号的资源。按此规则,已持有大编号资源的进程不可能逆向地回来申请小编号的资源,从而就不会产生循环等待的现象
该策略的缺点: 1. 不方便增加新的设备,因为可能需要重新分配所有的编号
2. 进程实际使用资源的顺序可能和编号递增顺序不一致,会导致资源浪费
3. 必须按规定次序申请资源,用户编程麻烦
4.3死锁的处理策略——避免死锁
1.什么是安全序列
安全序列、不安全状态、死锁的联系:
所谓安全序列,就是指如果系统按照这种序列分配资源,则每个进程都能顺利完成。只要能找出一个安全序列,系统就是安全状态。当然,安全序列可能有多个
如果分配了资源之后,系统中找不出任何一个安全序列,系统就进入了不安全状态。这就意味着之后可能所有进程都无法顺利的执行下去。当然,如果有进程提前归还了一些资源,那系统也有可能重新回到安全状态,不过我们在分配资源之前总是要考虑到最坏的情况
如果系统处于安全状态,就一定不会发生死锁。如果系统进入不安全状态(进入不安全状态态未必就是发生了死锁,但发生死锁时一定是在不安全状态)
因此可以在资源分配之前预先判断这次分配是否会导致系统进入不安全状态,以此决定是否答应资源分配请求。这也是“银行家算法”的核心思想
2.银行家算法
数据结构:
长度为 m 的一维数组 Available 表示还有多少可用资源
n*m 矩阵 Max 表示各进程对资源的最大需求数
n*m 矩阵 Allocation 表示已经给各进程分配了多少资源
Max – Allocation = Need 矩阵表示各进程最多还需要多少资源
用长度为 m 的一位数组 Request 表示进程此次申请的各种资源数
银行家算法步骤:
①检查此次申请是否超过了之前声明的最大需求数
②检查此时系统剩余的可用资源是否还能满足这次请求
③试探着分配,更改各数据结构
④用安全性算法检查此次分配是否会导致系统进入不安全状态
安全性算法步骤:
检查当前的剩余可用资源是否能满足某个进程的最大需求,如果可以,就把该进程加入安全序列,
并把该进程持有的资源全部回收
不断重复上述过程,看最终是否能让所有进程都加入安全序列
系统处于不安全状态未必死锁,但死锁时一定处于不安全状态。系统处于安全状态一定不会死锁
4.4死锁的处理策略——检测和解除
如果系统中既不采取预防死锁的措施,也不采取避免死锁的措施,系统就很可能发生死锁。在这种
情况下,系统应当提供两个算法:
①死锁检测算法:用于检测系统状态,以确定系统中是否发生了死锁
②死锁解除算法:当认定系统中已经发生了死锁,利用该算法可将系统从死锁状态中解脱出来
死锁的检测:
为了能对系统是否已发生了死锁进行检测,必须: ①用某种数据结构来保存资源的请求和分配信息; ②提供一种算法,利用上述信息来检测系统是否已进入死锁状态
如果系统中剩余的可用资源数足够满足进程的需求,那么这个进程暂时是不会阻塞的,可以顺利执行下去。如果这个进程执行结束了把资源归还系统,就可能使某些正在等待资源的进程被激活,并顺利地执行下去。相应的,这些被激活的进程执行完了之后又会归还一些资源,这样可能又会激活另外一些阻塞的进程…如果按上述过程分析,最终能消除所有边,就称这个图是可完全简化的。此时一定没有发生死锁(相当于能找到一个安全序列)如果最终不能消除所有边,那么此时就是发生了死锁,最终还连着边的那些进程就是处于死锁状态的进程
检测死锁的算法:
1)在资源分配图中,找出既不阻塞又不是孤点的进程 Pi(即找出一条有向边与它相连,且该有向边对应资源的申请数量小于等于系统中已有空闲资源数量。如下图中,R1没有空闲资源,R2有一个空闲资源。若所有的连接该进程的边均满足上述条件,则这个进程能继续运行直至完成,然后释放它所占有的所有资源)。消去它所有的请求边和分配变,使之称为孤立的结点。在下图中,P1 是满足这一条件的进程结点,于是将P1的所有边消去。
2)进程 Pi 所释放的资源,可以唤醒某些因等待这些资源而阻塞的进程,原来的阻塞进程可能变为非阻塞进程。在下图中,P2 就满足这样的条件。根据 1)中的方法进行一系列简化后,若能消
去途中所有的边,则称该图是可完全简化的。
死锁定理:如果某时刻系统的资源分配图是不可完全简化的,那么此时系统死锁
死锁的解除:
一旦检测出死锁的发生,就应该立即解除死锁。
补充:并不是系统中所有的进程都是死锁状态,用死锁检测算法化简资源分配图后,还连着边的那些进程就是死锁进程
解除死锁的主要方法有:
1. 资源剥夺法。挂起(暂时放到外存上)某些死锁进程,并抢占它的资源,将这些资源分配给其他的死锁进程。但是应防止被挂起的进程长时间得不到资源而饥饿
2. 撤销进程法(或称终止进程法)。强制撤销部分、甚至全部死锁进程,并剥夺这些进程的资
源。这种方式的优点是实现简单,但所付出的代价可能会很大。因为有些进程可能已经运行
了很长时间,已经接近结束了,一旦被终止可谓功亏一篑,以后还得从头再来
3. 进程回退法。让一个或多个死锁进程回退到足以避免死锁的地步。这就要求系统要记录进程
的历史信息,设置还原点
五、同步与互斥
5.1同步与互斥的基本概念
什么是进程同步:
进程具有异步性的特征,异步性是指,个并发执行的进程以各自独立的、不可预知的速度向前推进
操作系统要提供“进程同步机制”来解决异步问题
进程的“并发”需要“共享”的支持。各个并发执行的进程不可避免的需要共享一些系统资源(比如内存,又比如打印机、摄像头这样的I/O设备)
我们把一个时间段内只允许一个进程使用的资源称为临界资源。许多物理设备(比如摄像头、打印机)都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源
对临界资源的访问,必须互斥地进行。互斥,亦称间接制约关系。进程互斥指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源
为了实现对临界资源的互斥访问,同时保证系统整体性能,需要遵循以下原则:
1. 空闲让进。临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区
2. 忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待
3. 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)
4. 让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待
进程同步 | 并发性带来了异步性,有时需要通过进程同步解决这种异步问题 有的进程之间需要相互配合地完成工作,各进程的工作推进需要遵循一定的先后顺序 | ||
进程互斥 | 对临界资源的访问,需要互斥的进行,即同一时间段只允许一个进程访问资源 | ||
四个部分 | 进入区 | 检查是否可进入临界区,若可进入,需“上锁” | |
临界区 | 访问临界资源的那段代码 | ||
退出区 | 负责“解锁” | ||
剩余区 | 其余代码部分 | ||
需要遵循的原则 | 空闲让进 | 临界区空闲时,应允许一个进程访问 | |
忙则等待 | 临界区正在被访问时,其他试图访问的进程需要等待 | ||
有限等待 | 需要在有限的时间内进入临界区,保证不会饥饿 | ||
让权等待 | 进不了临界区的进程,要释放处理机,防止忙等 |
5.2进程互斥的软件实现方法
进程互斥的软件实现方法 |
---|
单标志法 |
双标志先检查 |
双标志后检查 |
Peterson算法 |
单标志法:
算法思想:两个进程在访问完临界区后会把权限转交给另一个进程,也就是说每个进程进入临界区的权限只能被另一个进程赋予
turn 的初值为 0,即刚开始只允许 0 号进程进入临界区。
若 P1 先上处理机运行,则会一直卡在 ⑤。直到 P1 的时间片用完,发生调度,切换 P0 上处理机运行。代码 ① 不会卡住 P0,P0 可以正常访问临界区,在 P0 访问临界区期间即时切换回 P1,P1依然会卡在 ⑤。只有 P0 在退出区将 turn 改为 1 后,P1才能进入临界区。
因此,该算法可以实现“同一时刻最多只允许一个进程访问临界区”
双标志先检查法:
算法思想:设置一个布尔型数组flag[ ],数组中的各个元素用来标记各进程想进入临界区的意愿,比如“flag[0]=true”意味着0号的进程P0现在想要进入临界区,每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区,若没有,则把自身对应的标志flag[i]设为true,之后开始访问临界区
双标志后检查法:
算法思想:双标志先检查法的改版,钱一个算法的问题是先“检查”后“上锁”,但是这两个操作又无法一气呵成,因此导致了两个进程同时进入临界资源的问题。因此,人们又想到了先“上锁”后“检查”,来避免上述问题
Peterson算法:
算法思想:结合双标志法、单标志法的思想。如果双方都争着想进入临界区,那可以让进程尝试“孔融让梨”(谦让)。做一个有礼貌的进程
单标志法 | 在进入区只做“检查”,不“上锁” |
在退出区把临界区的使用权交给另一个进程 (相当于在退出区既给另一进程“解锁”,又给自己“上锁”) | |
主要问题:不遵循“空闲让进”的原则 | |
双标志先检查 | 在进入区先“检查”后上锁 |
主要问题:不遵循“忙则等待”的原则 | |
双标志后检查 | 在进入区先“加锁”,后“检查”,退出区“解锁” |
主要问题:”不遵循“空闲让进、有限等待”原则,可能导致“饥饿” | |
Peterson | 在进入区“主动争取——主动谦让——检查对方是否想进、己方是否谦让” |
主要问题:不遵循“让权等待”原则,会发生“忙等” |
5.3进程互斥的硬件实现方法
利用“开/关中断指令”实现(与原语的实现思想相同,即在某进程开始访问临界区到结束访问为止都不允许被中断,也就不能发生进程切换,因此也不可能发生两个同时访问临界区的情况)
优点:简单、高效
缺点:不适用于多处理机;只适用于操作系统内核进程,不适用于用户进程(因为开/关中断指令只能运行在内核态,这组指令如果能让用户随意使用会很危险)
TestAndSet指令
简称 TS 指令,也有地方称为 TestAndSetLock 指令,或 TSL 指令
TSL 指令是用硬件实现的,执行的过程不允许被中断,只能一气呵成。以下是用C语言描述的逻辑
若刚开始 lock 是 false,则 TSL 返回的 old 值为 false,while 循环条件不满足,直接跳过循环,进入临界区。若刚开始 lock 是 true,则执行 TLS 后 old 返回的值为 true,while 循环条件满足,会一直循环,直到当前访问临界区的进程在退出区进行“解锁”。相比软件实现方法,TSL 指令把“上锁”和“检查”操作用硬件的方式变成了一气呵成的原子操作。
优点:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞;适用于多处理机环境
缺点:不满足“让权等待”原则,暂时无法进入临界区的进程会占用CPU并循环执行TSL指令,从
而导致“忙等”。
Swap指令
有的地方也叫 Exchange 指令,或简称 XCHG 指令。
Swap 指令是用硬件实现的,执行的过程不允许被中断,只能一气呵成。以下是用C语言描述的逻辑
逻辑上来看 Swap 和 TSL 并无太大区别,都是先记录下此时临界区是否已经被上锁(记录在 old 变量上),再将上锁标记 lock 设置为 true,最后检查 old,如果 old 为 false 则说明之前没有别的进程对临界区上锁,则可跳出循环,进入临界区。
优点:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞;适用于多处理机环境
缺点:不满足“让权等待”原则,暂时无法进入临界区的进程会占用CPU并循环执行TSL指令,从
而导致“忙等”。
5.4互斥锁
解决临界区最简单的工具就是互斥锁(mutex lock)。一个进程在进入临界区时应获得锁;在退出临界区时释放锁。函数acquire()获得锁,而函数release()释放锁
每个互斥锁有一个布尔变量available,表示所是否可用。当进程试图获得不可用的锁时,会被阻塞,直到锁被释放
acquire()或release()的执行必须是原子操作,因此互斥锁通常采用硬件机制来实现
互斥锁的主要缺点是忙等待,当有一个进程在临界区中,任何其他进程在进入临界区时必须连续循环调用acquire(),当多个进程共享一个CPU时,就浪费了CPU周期。因此,互斥锁通常用于多处理器系统,一个进程可以在一个处理器上等待,不影响其他线程的执行
需要连续循环忙等的互斥锁,都可称为自旋锁(spin lock),如TSL指令、swap指令、单标志法
特性:
• 需忙等,进程时间片用完才下处理机,违反“让权等待”
• 优点:等待期间不用切换进程上下文,多处理器系统中,若上锁的时间短,则等待代价很低
• 常用于多处理器系统,一个核忙等,其他核照常工作,并快速释放临界区
• 不太适用于单处理机系统,忙等的过程中不可能解锁
5.5信号量机制
进程互斥的四种软件实现方式(单标志法、双标志先检查、双标志后检查、Peterson算法)
进程互斥的三种硬件实现方式(中断屏蔽方法、TS/TSL指令、Swap/XCHG指令)
1. 在双标志先检查法中,进入区的“检查”、“上锁” 操作无法一气呵成,从而导致了两
个进程有可能同时进入临界区的问题;
2. 所有的解决方案都无法实现“让权等待”
1965年,荷兰学者Dijkstra提出了一种卓有成效的实现进程互斥、同步的方法——信号量机制
用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作,从而很方便的实现了进程互
斥、进程同步。
信号量其实就是一个变量 ,可以用一个信号量(可以是一个整数,也可以是更复杂的记录型变量)来表示系统中某种资源的数量,比如:系统中只有一台打印机,就可以设置一个初值为 1 的信号量。
原语是一种特殊的程序段,其执行只能一气呵成,不可被中断。原语是由关中断/开中断指令实现
的。软件解决方案的主要问题是由“进入区的各种操作无法一气呵成”,因此如果能把进入区、退
出区的操作都用“原语”实现,使这些操作能“一气呵成”就能避免问题。
一对原语:wait(S) 原语和 signal(S) 原语,可以把原语理解为我们自己写的函数,函数名分别为 wait和 signal,括号里的信号量 S 其实就是函数调用时传入的一个参数。
wait、signal 原语常简称为 P、V操作(来自荷兰语 proberen 和 verhogen)。因此,做题的时候常把wait(S)、signal(S) 两个操作分别写为 P(S)、V(S)
整型信号量 | 用没一个整数型变量作为信号量,数值表示某种资源数 |
整型信号量与普通整型变量的区别:对信号号量只能执行初始化P、V三种操作 | |
整型信号量存在的问题:不满足让权等待的原则 | |
记录型信号量 | S.value表示某种资源数,S.L指向该等待资源的队列 |
P操作中,一定是S.value--,之后可能需要执行block原语 | |
V操作中,一定是先执行S.value++,之后可能需要执行wakeup原语 | |
注意:要能够自己推断在什么条件下需要执行block和wakeup | |
可以用记录型信号量实现系统资源的“申请”和“释放” | |
可以用记录型信号量来实现进程的互斥和同步 |
注:若考试中出现 P(S)、V(S) 的操作,除非特别说明,否则默认 S 为记录型信号量
5.6用信号量机制实现互斥、同步、前驱关系
Tips:不要一头钻到代码里,要注意理解信号量背后的含义,一个信号量对应一种资源
信号量的值 = 这种资源的剩余数量(信号量的值如果小于0,说明此时有进程在等待这种资源)
P( S ) —— 申请一个资源S,如果资源不够就阻塞等待
V( S ) —— 释放一个资源S,如果有进程在等待该资源,则唤醒一个进程
5.7管程
管程的定义和基本特征
管程是一种特殊的软件模块,有这些部分组成:
1. 局部于管程的共享数据结构说明
2. 对该数据结构进行操作的一组过程
3. 对局部于管程的共享数据设置初始值的语句
4. 管程有一个名字
“过程”其实就是“函数”
管程的基本特征:
1. 局部于管程的数据只能被局部于管程的过程所访问
2. 一个进程只有通过调用管程内的过程才能进入管程访问共享数据
3. 每次仅允许一个进程在管程内执行某个内部过程
引入管程的目的无非就是要更方便地实现进程互斥和同步。
1. 需要在管程中定义共享数据(如生产者消费者问题的缓冲区)
2. 需要在管程中定义用于访问这些共享数据的“入口”——其实就是一些函数(如生产者消费者问题中,可以定义一个函数用于将产品放入缓冲区,再定义一个函数用于从缓冲区取出产品)
3. 只有通过这些特定的“入口”才能访问共享数据
4. 管程中有很多“入口”,但是每次只能开放其中一个“入口”,并且只能让一个进程或线程进入(如生产者消费者问题中,各进程需要互斥地访问共享缓冲区。管程的这种特性即可保证一个时间段内最多只会有一个进程在访问缓冲区。注意:这种互斥特性是由编译器负责实现的,程序员不用关心)
5. 可在管程中设置条件变量及等待/唤醒操作以解决同步问题。可以让一个进程或线程在条件变量上等待(此时,该进程应先释放管程的使用权,也就是让出“入口”);可以通过唤醒操作将等待在条件变量上的进程或线程唤醒。程序员可以用某种特殊的语法定义一个管程(比如: monitor ProducerConsumer …… end monitor;),之后其他程序员就可以使用这个管程提供的特定“入口”很方便地使用实现进程同步/互斥了