(一)什么是进程
理论上
- 正在进行的一个过程或者说一个任务
- 负责执行任务的是CPU
(二)进程和程序的区别
理论上
- 程序就是一堆代码
- 进程是程序运行的过程
需要强调的是:同一个程序执行两次,那也是两个进程,比如打开暴风影音,虽然都是同一个软件,但是一个可以播放西游记,一个可以播放水浒传。
(三)进程的调度问题
- 要想多个进程交替运行
- 操作系统必须对这些进程进行调度
- 这个调度也不是随即进行的,而是需要遵循一定的法则
- 由此就有了进程的调度算法。
(1)先来先服务算法
(1)理论
- 先来先服务算法(FCFS)调度算法是一种最简单的调度算法
(2)适用场景
- 该算法既可用于作业调度,也可用于进程调度。
- FCFS算法比较有利于长作业(进程),而不利于短作业(进程)。
- 由此可知,本算法适合于CPU繁忙型作业,而不利于I/O繁忙型的作业(进程)。
(2)短作业优先调度算法
(1)理论
- 短作业(进程)优先调度算法(SJ/PF)是指对短作业或者短进程优先调用的算法
(2)适用场景
- 该算法既可用于作业调度,也可用于进程调度。
- 但其对长作业不利;
- 不能保证紧迫性作业(进程)被及时处理;
- 作业的长短只是被估算出来的。
(3)时间片轮转法
(1)理论
- 时间片轮转法的基本思路是让每个进程再就绪队列中的等待时间与享受服务的时候成正比例
- 在时间片轮转法中,需要将CPU的处理时间分成固定大小的时间片
- 例如,几十毫秒至几百毫秒。
- 如果一个进程在被调度选中之后用完了系统规定的时间片,但又未完成要求的任务,则它自行释放自己所占有的CPU而排到就绪队列的末尾,等待下一次调度。
- 同时,进程调度程序又去调度当前就绪队列中的第一个进程。
- 显然,轮转法只能用来调度分配一些可以抢占的资源。
- 这些可以抢占的资源可以随时被剥夺,而且可以将它们再分配给别的进程。CPU是可抢占资源的一种。
- 但打印机等资源是不可抢占的。
(2)适用场景
- 由于作业调度是对除了CPU之外的所有系统硬件资源的分配,其中包含有不可抢占资源,所以作业调度不使用轮转法。
- 在轮转法中,时间片长度的选取非常重要。
- 首先,时间片长度的选择会直接影响到系统的开销和响应时间。
- 如果时间片长度过短,则调度程序抢占处理机的次数增多。
- 这将使进程上下文切换次数也大大增加,从而加重系统开销。
- 反过来,如果时间片长度选择过长
- 例如,一个时间片能保证就绪队列中所需执行时间最长的进程能执行完毕
- 则轮转法变成了先来先服务法。
- 首先,时间片长度的选择会直接影响到系统的开销和响应时间。
- 时间片长度的选择是根据系统对响应时间的要求和就绪队列中所允许最大的进程数来确定的。
- 在轮转法中,加入到就绪队列的进程有3种情况:
- 一种是分给它的时间片用完,但进程还未完成,回到就绪队列的末尾等待下次调度去继续执行。
- 另一种情况是分给该进程的时间片并未用完,只是因为请求I/O或由于进程的互斥与同步关系而被阻塞。当阻塞解除之后再回到就绪队列。
- 第三种情况就是新创建进程进入就绪队列。
- 如果对这些进程区别对待,给予不同的优先级和时间片从直观上看,可以进一步改善系统服务质量和效率。
- 例如,我们可把就绪队列按照进程到达就绪队列的类型和进程被阻塞时的阻塞原因分成不同的就绪队列,每个队列按FCFS原则排列,各队列之间的进程享有不同的优先级,但同一队列内优先级相同。
- 这样,当一个进程在执行完它的时间片之后,或从睡眠中被唤醒以及被创建之后,将进入不同的就绪队列。
(4)多级反馈队列
(1)理论
- 前面介绍的各种用作进程调度的算法都有一定的局限性。
- 如短进程优先的调度算法,仅照顾了短进程而忽略了长进程,而且如果并未指明进程的长度,则短进程优先和基于进程长度的抢占式调度算法都将无法使用。
- 而多级反馈队列调度算法则不必事先知道各种进程所需的执行时间,而且还可以满足各种类型进程的需要,因而它是目前被公认的一种较好的进程调度算法。
(2)多级反馈队列调度算法的实施过程
[1]为多个就绪队列设置优先级
- 应设置多个就绪队列,并为各个队列赋予不同的优先级。
- 第一个队列的优先级最高,第二个队列次之,其余各队列的优先权逐个降低。
- 该算法赋予各个队列中进程执行时间片的大小也各不相同,在优先权愈高的队列中,为每个进程所规定的执行时间片就愈小。
- 例如,第二个队列的时间片要比第一个队列的时间片长一倍,……,第i+1个队列的时间片要比第i个队列的时间片长一倍。
[2]新进程等待调用
- 当一个新进程进入内存后
- 首先将它放入第一队列的末尾,按FCFS原则排队等待调度。
- 当轮到该进程执行时,如它能在该时间片内完成,便可准备撤离系统;
- 如果它在一个时间片结束时尚未完成,调度程序便将该进程转入第二队列的末尾,再同样地按FCFS原则等待调度执行;
- 如果它在第二队列中运行一个时间片后仍未完成,再依次将它放入第三队列,……,如此下去,当一个长作业(进程)从第一队列依次降到第n队列后,在第n 队列便采取按时间片轮转的方式运行。
[3]按顺序调度队列
- 仅当第一队列空闲时,调度程序才调度第二队列中的进程运行;
- 仅当第1~(i-1)队列均空时,才会调度第i队列中的进程运行。
- 如果处理机正在第i队列中为某进程服务时,又有新进程进入优先权较高的队列(第1~(i-1)中的任何一个队列)
- 则此时新进程将抢占正在运行进程的处理机
- 即由调度程序把正在运行的进程放回到第i队列的末尾
- 把处理机分配给新到的高优先权进程。
(四)并发与并行
(0)串行
- 按照顺序一个个执行
(1)并发
- 伪并行,看起来是同时进行的
- 单个CPU+多道技术就可以实现并发
(2)并行
- 同时运行
- 只有具备多个CPU才能实现并行
(1)单核
- 单核下
- 可以利用多道技术
- 多个核,每个单核都可以利用多道技术(多道技术是针对单核而言的)
(2)多核
- 有四个核,六个任务
- 这样同一时间有四个任务被执行
- 假设分别被分配给了cpu1,cpu2,cpu3,cpu4,
- 一旦任务1遇到I/O就被迫中断执行
- 此时任务5就拿到cpu1的时间片去执行
- 这就是单核下的多道技术
- 而一旦任务1的I/O结束了
- 操作系统会重新调用它(需知进程的调度、分配给哪个cpu运行,由操作系统说了算)
- 可能被分配给四个cpu中的任意一个去执行
(3)小结
- 所有的计算机经常会在同一时间内做很多件事
- 一个用户的PC(无论是单核,还是多核),都可以同时运行多个任务(一个任务就是一个进程)
- 于是一个支持多进程的多道程序是至关重要的
(4)多道技术
- 内存中同时存入多道(多个)程序
- cpu从一个进程快速切换到另外一个
- 使每个进程各自运行几十或几百毫秒
- 这样,虽然在某一个瞬间
- 一个cpu只能执行一个任务
- 但在1秒内,cpu却可以运行多个进程
- 这就给人产生了并行的错觉,即伪并发
- 以此来区分多处理器操作系统的真正硬件并行(多个cpu共享同一个物理内存)
总结:
- 并行肯定是并发
- 单核的计算机只能实现并发,不能实现并行
(五)同步/异步&阻塞/非阻塞
(1)同步
- 同步就是在发出一个功能调用时,在没有得到结果之前,该调用就不会返回。
(2)异步
- 异步就是在发出功能调用时,调用者不能立刻得到结果
- 异步的概念和同步相对。
- 当一个异步功能调用发出后,调用者不能立刻得到结果。
- 当该异步功能完成后,通过状态、通知或回调来通知调用者。
- 如果异步功能用状态来通知
- 那么调用者就需要每隔一定时间检查一次
- 效率就很低(有些初学多线程编程的人,总喜欢用一个循环去检查某个变量的值,这其实是一 种很严重的错误)。
- 如果是使用通知的方式
- 效率则很高
- 因为异步功能几乎不需要做额外的操作。
- 如果异步功能用状态来通知
- 至于回调函数,其实和通知没太多区别。
(3)阻塞
- 阻塞调用是指调用结果返回之前,当前线程会被挂起(遇到IO操作)
- 函数只有在得到结果之后才会将阻塞的线程激活。
- 有人也许会把阻塞调用和同步调用等同起来,实际上他是不同的。
- 对于同步调用来说,很多时候当前线程还是激活的,只是从逻辑上当前函数没有返回而已。
(4)非阻塞
- 非阻塞和阻塞相对
- 不能得立刻得到结果之前也会立刻返回
- 同时该函数不会阻塞当前的线程
(5)小结
同步/异步
- 同步和异常针对的是函数/任务的调用方式
- 同步与异步针对的是函数/任务的调用方式
- 同步就是当一个进程发起一个函数(任务)调用的时候
- 一直等到函数(任务)完成,而进程继续处于激活状态。
- 而异步情况下是当一个进程发起一个函数(任务)调用的时候
- 不会等函数返回,而是继续往下执行当,函数返回的时候通过状态、通知、事件等方式通知进程任务完成。
阻塞/非阻塞
- 阻塞和非阻塞针对的是进程或线程
- 阻塞是当请求不能满足的时候被进程挂起
- 非阻塞不会阻塞当前的进程
(六)进程的创建
(1)引入
- 但凡是硬件,都需要有操作系统去管理
- 只要有操作系统,就有进程的概念
- 就需要有创建进程的方式
- 一些操作系统只为一个应用程序设计
- 比如微波炉中的控制器
- 一旦启动微波炉
- 所有的进程都已经存在。
- 而对于通用系统(跑很多应用程序)
- 需要有系统运行过程中创建或撤销进程的能力
- 主要分为4种形式创建新的进程
(2)通用系统创建进程的4种形式
(1)系统初始化
- 查看进程linux中用ps命令,windows中用任务管理器
- 前台进程负责与用户交互,后台运行的进程与用户无关
- 运行在后台并且只在需要时才唤醒的进程,称为守护进程
- 如电子邮件、web页面、新闻、打印
(2)进程中开启子进程
- 一个进程在运行的过程中开启了子进程
- 如nginx开启多进程
- os.fork
- subprocess.Popen
- ...
(3)交互式请求
- 用户的交互式请求
- 创建一个新的进程(双击应用程序)
(4)批处理作业的初始化
- 一个批处理作业的初始化(只在大型机的批处理系统中应用)
(3)不同系统的新进程的创建方式
- 无论哪一种
- 新进程的创建都是由一个已经存在的进程执行了一个用于创建进程的系统调用而创建的
(1)UNIX
- 在UNIX中该系统调用是:fork,fork会创建一个与父进程一模一样的副本
- 二者有相同的存储映像、同样的环境字符串和同样的打开文件(在shell解释器进程中,执行一个命令就会创建一个子进程)
(2)Windows
- 在windows中该系统调用是:
CreateProcess
,CreateProcess
既处理进程的创建,也负责把正确的程序装入新进程。
(4)不同系统的创建子进程的异同
- UNIX和windows
(1)相同点
- 进程创建后,父进程和子进程有各自不同的地址空间(多道技术要求物理层面实现进程之间内存的隔离)
- 任何一个进程的在其地址空间中的修改都不会影响到另外一个进程。
(2)不同点
- 在UNIX中,子进程的初始地址空间是父进程的一个副本
提示:子进程和父进程是可以有只读的共享内存区的。
但是对于windows系统来说,从一开始父进程与子进程的地址空间就是不同的。
(七)进程的终止
(1)正常退出(自愿)
(2)出错退出(自愿)
(3)严重错误(非自愿)
(4)被其他的进程杀死(非自愿)
(八)进程的层次结构
- 无论UNIX还是windows
- 进程只有一个父进程
- 不同的是:
- 在UNIX中所有的进程
- 都是以init进程为根,组成树形结构。
- 父子进程共同组成一个进程组
- 这样,当从键盘发出一个信号时,该信号被送给当前与键盘相关的进程组中的所有成员。
- 在windows中,没有进程层次的概念
- 所有的进程都是地位相同的
- 唯一类似于进程层次的暗示
- 是在创建进程时
- 父进程得到一个特别的令牌(称为句柄)
- 该句柄可以用来控制子进程
- 但是父进程有权把该句柄传给其他子进程
- 这样就没有层次了。
- 在UNIX中所有的进程
(九)进程的状态
(1)什么是进程的状态
- 进程状态就是反映进程执行过程的变化
- 这些状态随着进程的执行和外界条件的变化而变化
(2)三态模型
- 在三态模型中,进程状态分为三个基本的状态
- 运行态
- 就绪态
- 阻塞态
- 进程有三种状态
(3)五态模型
- 在五态模型中,进程分为
- 新建态
- 运行态
- 就绪态
- 阻塞态
- 终止态
(十)进程并发的实现
- 进程并发的实现在于,硬件中断一个正在运行的进程
- 把此时进程运行的所有状态保存下来
- 为此,操作系统维护一张表格,即进程表(process table)
- 每个进程占用一个进程表项(这些表项也称为进程控制块)
- 该表存放了进程状态的重要信息
- 程序计数器、堆栈指针、内存分配状况、所有打开文件的状态、帐号和调度信息,以及其他在进程由运行态转为就绪态或阻塞态时,必须保存的信息,从而保证该进程在再次启动时,就像从未被中断过一样。