操作系统第四章并发处理试卷.pptxVIP

第四章 并发处理4.1并发活动——进程的引入;2、多道批处理系统中，作业序列的处理过程如下：; 可以用伪代码描述并发执行的程序段，由Dijkstra提出， Cobegin（Concomitant begin） S1;S2; ……;Sn; Coend 表示S1，S2，……Sn可以并发执行。 ;例如：;4.1.5并发执行程序的特点 1.间断性 如果Ci-1完成后，若Ii未完成，则Ci也无法处理，导致计算程序段暂停。 2.失去程序的封闭性 程序在并发执行时，是多个程序共享系统中的各种资源，因而这些资源的状态将由多个程序来改变，致使程序的运行失去封闭性。 3.不可再现性 当初始条件相同时，程序多次执行，其结果必然重复出现，称为可再现性。;例如：有一公共变量x，r1，r2为2个寄存器。假设CPU分时执行p1,p2。;例如：有一公共变量x，r1，r2为2个寄存器。假设CPU分时执行p1,p2。 ; 可见，并发执行的程序可能发生不可再现性。 为了描述并发执行程序的活动规律因而引进新的概念——进程。;4.2进程的概念;进程与程序的关系：;4.2.2进程的类型;进程的特征： 并发性：可以与其它进程在宏观上同时先前推进。 动态性：进程是执行中的程序。 独立性：进行是资源分配和调度的基本单位。 交互性：进程在运行时可能会与其它进程发生直接或间接的相互作业。 异步性：每个进程都可以相对独立，不可预知的速度向前推进。 结构性：每个进程都对应1个进程控制块。;4.2.3进程的状态;二、进程状态变迁图1、进程的三态模型：;进程队列模型：;二、进程状态变迁图2、进程的五态模型：;13.在进程基本状态转换图中，增加换出（将进程换出至辅存）和换入（将进程从辅存换入至主存）两个操作，试画出进程状态转换图。;二、进程状态变迁图3、UNIX系统进程状态变迁图（p106）;4.2.4进程的描述——进程控制块（Process Contral Block）;进程的组成：;进程控制块PCB的其它信息包括一下主要内容：;进程控制块PCB的其它信息包括一下主要内容：;进程控制块PCB的其它信息包括一下主要内容：;进程控制块PCB的其它信息包括一下主要内容：;进程控制块PCB的其它信息包括一下主要内容：;进程控制块PCB的其它信息包括一下主要内容：;P103 unix系统的进程控制块;4.3进程控制;进程控制原语有：创建原语、撤销原语、阻塞原语、唤醒原语、延迟原语。;4.3.2进程创建;4.3.3进程的撤销;算法：;4.3.4进程阻塞（block,supend,wait）;算法：wait(chan)Chan——进程等待的原因 p104 int p_wchan;4.3.4进程唤醒;4.3.6进程延迟;算法：;延迟队列的结构： PCB中有deltatime项，其值为进程所需延迟的clock_ticks与延迟队列中的前一个进程的clock_ticks数之差。 例如：有进程A,B,C的clock_ticks分别为2，5，10，则延迟队列为：;假设进程D的clock_ticks=8，则应该插入延迟队列的什么位置呢？;插入进程D后的延迟队列:;二、延迟唤醒进程 它是一个系统进程，系统初始化时被创建，由时钟中断激活，直到系统关闭。 当时钟中断信号到来时执行以下算法： { 封锁延迟队列； 取延迟队列的首元素； 将deltatime- -; If (deltatime==0) 则从延迟队列取下该进程PCB； 解锁延迟队列； 该进程PCB插入就绪队列； 中断返回； } 实验二;4.4进程的相互制约关系;进程之间充足哪几种相互制约关系？各时由什么原因引起的？下列活动分别属于哪种制约关系？ （1）若干同学交纳学费 （2）两队举行篮球比赛 （3）A考试炒B的答案 （4）4个同学参加4×100米接力 解：因竞争资源产生的互斥；相互等待、相互制约的同步； （1）互斥（2）互斥（3）同步（4）同步;;4.4.2进程互斥;例如：有一公共变量x，r1，r2为2个寄存器。假设CPU分时执行p1,p2。 ;例如：有一公共变量x，r1，r2为2个寄存器。假设CPU分时执行p1,p2。 ;互斥应遵循的原则：;4.5同步机构;算法一;改进算法二;4.5.2信号灯（信号量semaphore）和P、V操作 1965年，dijkstra提出的信号量机制是一种有效的同步工具。 信号量struct semaphore{ int s; //s初值≥0，其值只