多道程序设计模型
作用:提高CPU的利用率。
程序的顺序执行
程序是一个在时间上按严格次序前后相继的操作序列,这些操作是机器指令或高级语言编写的语句。
特点:
- 顺序性:程序所规定的动作在机器上严格地按顺序执行。
- 封闭性:资源的状态(除了初始状态外)只有程序本身的动作才能改变。
- 确定性:程序执行结果与它的执行速度无关,也称为程序执行结果与时间无关性。即CPU在执行程序时,任意两个动作之间的停顿对程序的计算结果都不会产生影响。
- 可再现性:如果程序执行在不同的时间执行,只要输入的初始条件相同,则无论何时重复执行该程序都会得到相同的结果。
多道程序系统中程序执行环境的变化
多道程序设计技术的引用
为了提高计算机系统中各种资源的利用效率,缩短作业的周转时间。多种硬件资源能并行工作。
- 单CPU:并发程序按给定的时间片交替的在处理机上执行,其执行的时间是重叠的。
- 多CPU:这些并发程序在各自的处理机上运行。
例: 假设有两个程序A和B都要执行,A程序的执行顺序为在CPU中执行10s、在设备DEV1上执行5s、又在CPU上执行了5s、在设备DEV2上执行了10s、最后在CPU上执行了10s;
B程序的执行顺序为:在设备DEV2上执行10s、在CPU上执行10s、在设备DEV1上执行5s、又在CPU上执行了5s、最后在设备DEV2上执行10s。
在顺序环境下,A执行完之后B执行,或则B执行完之后A执行。假设A先执行,程序A、B全部执行完之后需要80s的时间,其中有40s是程序使用CPU,15S使用设备DEV1,25s使用设备DEV2.
时间轴
- CPU利用率=40/80=50%
- DEV1利用率=15/80=18.75%
- DEV2利用率=25/80=31.25%
在并发环境下,程序A、B可以同时执行,当程序A在CPU上执行时,程序B可以在设备DEV1上执行,程序A、B全部执行完成之后需要45s时间。
时间轴
- CPU利用率=40/45=89%
- DEV1利用率=15/45=33%
- DEV2利用率=25/45=56%
多道程序设计环境的特点
多道程序设计就是允许多个程序同时进入内存并运行。
系统吞吐量衡量系统效率的尺度。吞吐量是指单位时间内系统所处理的作业(程序)的道数(数量)。
如果系统的资源利用率高,则单位时间内所完成的有效工作多,吞吐量大。 如果系统的资源利用率低,则单位时间内所完成的有效工作少,吞吐量小。
作用:提高了设备资源利用率,提高了内存资源利用率,提高了处理机资源利用率,最终,最终提高了系统吞吐量。
多道程序设计环境的特点
- 独立性:每道程序都是在逻辑上独立的。
- 随机性:程序和数据的输入与执行开始时间都是随机的。
- 资源共享性:资源共享将导致对进程执行速度的制约。
程序的并发执行
程序的并发执行是指两个或两个以上的程序在计算机系统中同处与已开始执行的且尚未结束的状态。能够参与并发执行的程序称为并发程序。
特性
- 并发程序在执行期间具有相互制约关系:“执行-暂停-执行”。
- 程序与计算不再一一对应:允许多个用户作业调用一个共享程序段。
- 并发程序执行结果不再可现:宏观上是同时进行的,在单CPU系统中,他们仍是顺序执行。
进程模型
进程
进程是具有一定独立功能的程序关于某个数据集合上的一次运行活动,进程是系统进行资源分配与调度的一个独立单位。
系统进程执行操作系统程序,完成操作系统的某些功能。
用户进程运行用户程序,直接为用户进行服务。
系统进程的优先级通常高于一般的用户进程的优先级。
进程与程序的联系与区别
联系:
- 程序是构成进程的组成部分之一,一个进程的运行是执行它所对应的程序。
- 进程是有程序,参数和进程控制块(PCB)部分组成。
区别:
- 程序是静态的,而进程是动态的。
- 程序可以是永久的,而进程存在只是暂时的。
- 一个进程可以执行一个或几个程序、一个程序可以构成多个进程。
- 进程具有创建其他进程的功能,被创建的进程称为子程序,创建者称为父程序。
进程的特性
- 并发行:一个进程的第一个动作可以在另一个进程的最后一个动作结束之前开始。
- 动态性:进程动态产生、动态消亡,在进程生命周期内,其状态动态变化。
- 独立性:一个进程是一个相对完整的资源分配单位。
- 交往性:一个进程在运行过程中可能会与其他进程发生直接或间接的相互作用。
- 异步性:每个进程按照各自独自的、不可预知的速度向前推进。
进程的状态及其状态转换
三状态进程模型
运行中的进程可以处于以下三种状态之一:运行、就绪、等待。
- 运行状态Running:运行状态是指进程已经获得CPU,并且在CPU上执行的状态。 在一个单CPU系统中,最多只有一个进程处于运行状态。
- 就绪状态Ready:指一个进程已经具备运行条件,但由于没有获得CPU而不能运行所处的状态。一旦CPU分配给他,该程序就可以运行,处于就绪状态的进程可以是多个。
- 等待状态Waiting:也称阻塞状态或封锁状态,是指程序因等待某种事件发生而暂时不能运行的状态。
三状态转换
- 就绪–》运行 未能获取处理机,故仍然不能运行。
- 运行–》就绪 由于规定的运行时间片用完而使系统发出超时中断请求,超时中断处理程序把该进程的状态修改为就绪状态。
- 运行–》等待 处于运行状态的进程是否能继续运行,除了受时间限制外,还收其他种种因素的影响。
- 等待–》就绪 等待的进程在其被柱塞的原因获得解除后,因为处理及满足不了进程的需要,于是将状态有等待变成就绪,仅当进程调度程序把处理机再次分配给他时,才可恢复现场继续运行。
五状态进程模型
- 运行状态 Running:进程占用处理机资源 出于此状态的进程的数目不小等于处理机的数目,再没有其他进程时可以执行是,通常会自动执行系统的空闲进程。
- 就绪状态 Ready:进程已获得除处理机外所需的资源,等待分配处理机资源,只要分配处理机就可以执行。
- 阻塞状态 Blocked:由于进程等待的I/O操作或进程同步等条件而暂停运行时处于阻塞状态。即使把处理机分配给该进程,也是无法继续执行的。
- 创建状态 New:进程正在创建的过程中,还不能运行。包括分配和创建进程控制块表项、建立资源表格并分配资源,机在程序并建立地址空间。
- 结束状态 Exit:进程已结束运行,回收除进程控制块之外的其他资源,并让其他进程从进程控制块中收集有关的信息。
五状态转换
操作系统中多个进程的并发执行是通过进程交替进入运行状态来实现的。
- 创建进程:创建一个新的进程,来运行一个程序。
- 提交admit:完成一个新进程的创建过程,新进程进入就绪状态。
- 调度运行dispatch:从就绪进程表中选择一个进程进入运行状态。
- 释放release:由于进程完成或失败而终止进程运行,进入结束状态。 运行到结束的转换可分为正常退出和异常退出,其中异常退出是指进程执行超时、内存不够。
- 超时timeout:由于运行的时间片或高优先级进程就绪状态等因素导致进程停止运行。
- 时间等待event wait:进程要求的事件未出现而进入阻塞。 可能的原因包括申请进程系统服务或资源、通信、I/O等操作。
- 事件出现event occurs:进程等待的事件出现,如操作完成,申请成功。
七状态进程模型
五状态进程模型没有区分进程地址空间位于内存还是外存,虚拟存储管理技术后,需要进一步区分进程的地址空间状态。
好处:
- 有空闲内存空间用于提交新进程。
- 提供足够的内存。
- 有利于调试:被挂起的调试程序,可方便对其他地址空间进行读写。
下面是列出在挂起的进程模型中的四种意义变化或新的状态。
- 就绪状态:立即进入运行状态。
- 阻塞状态:在内存并等待某事件的出现。
- 阻塞挂起状态:进程在外存并等待某事件的出现。
- 就绪挂起状态:进程在外存,但只要进入内存。
- 挂起:把一个进程从内存转到外存。
- 阻塞到阻塞挂起。
- 就绪到就绪挂起:有高优先阻塞加入时。
- 运行到就绪挂起。
- 激活:把一个进程从内存转到外存。
- 就绪挂起到就绪:就绪挂起进程优先级高于就绪进程。
- 阻塞挂起到阻塞:当一个进程释放足够的内存时,系统会把一个高优先级阻塞挂起进程激活。
- 事件出现:进程等待的事件出现。
- 阻塞到就绪:内存进程的事件出现。
- 阻塞挂起到就绪挂起:针对外存进程的事件出现。
- 提交:完成一个新进程的创建过程,新进程进入就绪状态或就绪挂起状态。
本文链接:https://cloud.tencent.com/developer/article/1557902
本文采用CC BY-NC-SA 3.0 Unported协议进行许可,转载请保留此文章链接