1、进程管理复习资料第二章 进程管理第一部分 教材习题（P81）1、什么是前趋图？为什么要引入前趋图？2、试画出下面4条语句的前趋图：S1：a:=x+y；S2：b:=z+1；S3: c:=a-b； S4: w:=c+1；【解】前趋图如下： 3、为什么程序并发执行会产生间断性特征？（P36）4、程序并发执行，为何会失去封闭性和可再现性？（P37）【解】程序在并发执行时，是多个程序共享系统中的各种资源，因而这些资源的状态将由多个程序来改变，致使程序的运行已失去了封闭性。同时由于失去了封闭性，也将导致其再失去可再现性。程序在并发执行时，由于失去了封闭性，程序经过多次执行后，其计算机结果已与并发程序的执行
2、速度有关，从而使程序的执行失去了可再现性。5、在操作系统中为什么要引入进程概念？（P37）它会产生什么样的影响？【解】在操作系统中引入进程的概念，是为了实现多个程序的并发执行。传统的程序不能与其他程序并发执行，只有在为之创建进程后，才能与其他程序（进程）并发执行。这是因为并发执行的程序（即进程）是“停停走走”地执行，只有在为它创建进程后，在它停下时，方能将其现场信息保存在它的PCB中，待下次被调度执行是，再从PCB中恢复CPU现场并继续执行，而传统的程序却无法满足上述要求。建立进程所带来的好处是使多个程序能并发执行，这极大地提高了资源利用率和系统吞吐量。但管理进程也需付出一定的代价，包括进程控
3、制块及协调各运行机构所占用的内存空间开销，以及为进行进程间的切换、同步及通信等所付出的时间开销。6、试从动态性、并发性和独立性上比较进程和程序？（P37）【解】（1）动态性：进程既然是进程实体的执行过程，因此，动态性是进程最基本的特性。动态性还表现为：“它由创建而产生，由调度而执行，因得不到资源而暂停执行，以及由撤消而消亡”。可见，进程具有一定的生命周期。而程序只是一组有序指令的集合，并存放在某种介质上，本身并无运动的含义，因此，程序是个静态实体。（2）并发性：所谓进程的并发，指的是多个进程实体，同存于内存中，能在一段时间内同时运行。并发性是进程的重要特征，同时也成为OS的重要特征。引入进程的
4、目的也正是为了使其程序能和其他进程的程序并发执行，而程序是无法并发执行的。（3）独立性：进程实体是一个能独立运行的基本单位，也是系统中独立获得资源和独立调度的基本单位。凡未建立进程的程序，都不能作为一个独立的单位参加运行。7、试说明PCB的作用？为什么说PCB是进程存在的惟一标志？（P41）【解】PCB是进程实体的一部分，是OS中最重要的记录型数据结构。它记录了OS所需的、用于描述进程情况及控制进程运行所需的全部信息。PCB的作用，是使一个在多道程序环境下不能独立运行的程序（含数据）成为一个能独立运行的基本单位，一个能与其他进程并发执行的进程。或者说，OS是根据PCB来对并发执行的进程进行控制
5、和管理的。在进程的整个生命周期中，系统总是通过PCB对进程进行控制，也就是说，系统是根据进程的PCB感知到该进程的存在的，所以说，PCB是进程存在的标志。8、试说明进程在三个基本状态之间转换的典型原因？（P38）【解】（1）处于就绪状态的进程，当进程调度程序为之分配了处理机后，该进程就由就绪状态变为执行状态。（2）正在执行的进程因发生某事件而无法执行，如暂时无法取得所需资源，则由执行状态转变为阻塞状态。（3）正在执行的进程，如因时间片用完或被高优先级的进程抢占处理机而被暂停执行，该进程便由执行状态转变为就绪状态。9、为什么要引入挂起状态？（P39）【解】（1）终端用户的请求：当终端用户在自己的
6、程序运行期间发现有可疑问题时，希望暂时使自己的程序静止下来。（2）父进程请求：父进程希望挂起自己的某个子进程，以便考查和修改该子进程，或者协调各子进程间的活动。（3）负荷调节的需要：当实时系统中的工作负荷较重，已可能影响到对实时任务的控制时，可由系统把一些不重要的进程挂起，以便系统能正常运行。（4）操作系统的需要：OS有时希望挂起某些进程，以便检查运行中的资源使用情况或进行记账。10、在进行进程切换时，所要保存的处理机状态信息主要有哪些？（P42）【解】保存的处理机状态信息主要由处理机中的各种寄存器内容组成。这些寄存器包括：通用寄存器，指令寄存器，程序状态字PSW，用户栈指针。11、试说明引起
7、进程创建的主要事件。（P44）【解】（1）用户登录 在分时系统中，用户在终端键入登录命令后，若是合法用户，系统将为该终端用户建立一个进程，并插入到就绪队列中。（2）作业调度 批处理程序中，作业调度程序按一定的算法调度到某个作业时，就将该作业装入内存，为它分配必要的资源，并立即为其创建进程，插入到就绪队列中。（3）提供服务 运行中的用户程序提出某种请求，系统专门创建一个进程来提供用户所需服务。（4）应用请求 应用进程自己创建一个进程，使自己和新进程以并发运行方式完成特定任务。12、试说明引起进程被撤消的主要事件。13、在创建一个进程时所要完成的主要工作是什么？（P44）【解】需完成的主要工作有：
8、（1）申请空白PCB；（2）为新进程分配资源；（3）初始化PCB，其中包括： 初始化标识符信息。将系统分配的标识符、父进程标识符填入新PCB中； 初始化处理机状态信息。使程序计数器指向程序入口地址，使栈指针指向栈顶； 初始化处理机控制信息。将进程状态设置为就绪或静止就绪，对于优先级通常设置为最低，除非用户提出高优先级要求。（4）将新进程插入就绪队列。14、在撤消一个进程时所要完成的主要工作是什么？ 15、试说明引起进程阻塞或被唤醒的主要事件是什么？（P46）16、进程在运行时，存在哪两种形式的制约？并举例说明之。17、为什么进程在进入临界区之前，应先执行“进入区”代码，在退出临界区后又执行“退
9、出区”代码？（P50）【解】为了保证诸进程互斥进入自己的临界区，便可实现它们对临界资源的互斥访问。为此，每个进程在进入临界区之前应先对欲访问的临界资源进行检查，看它是否正被访问。如果此刻临界资源没被访问，则该进程便可进入临界区，对该资源进行访问，并设置它正被访问的标志；如果此刻该临界资源正被某进程访问，则本进程不能进入临界区。因此，必须在临界区前增加一段用于上述检查的代码，把这段代码称为进入区。相应地，在临界区后面也要加上一段称为退出区的代码，用于将临界区正被访问的标志恢复为未被访问标志。18、同步机构应遵循哪些基本准则？为什么？（P50）【解】同步机构应遵循的基本准则有：（1）空闲让进 无进
10、程处于临界区时，相应的临界资源处于空闲状态，因而可允许一个请求进入临界区的进程立即进入自己的临界区，以有效利用临界资源。（2）忙则等待当已有进程进入自己的临界区时，意味着相应的临界资源正被访问，因而所有其他试图进入临界区的进程必须等待，以保证诸进程互斥地访问临界资源。（3）有限等待对要求访问临界资源的进程，应保证该进程能在有限时间内进入自己的临界区，以免陷入“死等”状态。（4）让权等待当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”。19、试从物理概念上来说明记录型信号量wait和signal操作？（P51）【解】在记录型信号量机制中，S.value的初值表示系统中某类资源
11、的数目，因而又称资源信号量，每次的wait操作，意味着进程请求一个单位的资源，因此描述为S.value：=S.value-1；当S.value0时，表示资源已分配完毕，因而进程调用block原语，进行自我阻塞，放弃处理机，并插入到信号量链表S.L中。可见，该机制遵循了让权等待准则。此时S.value的绝对值表示在该信号量链表中已阻塞进程的数目。每次signal操作，表示执行进程释放一个单位资源，故S.value：=S.value+1操作表示资源数目加1。若加1后仍是S.value=0则表示该信号量链表中，仍有等待该资源的进程被阻塞，故还要调用wakeup原语，将S.L链表中的第一个等待进程唤醒
12、。如果S.value的初值为1，表示只允许一个进程访问临界资源，此时的信号量转化为互斥信号量。20、你认为整型信号量机制是否完全遵循了同步机构的四条准则？（P52）【解】在整型信号量机制中的wait操作，只要是信号量S=n then notfull.wait; buffer(in):=nextp; in:=(in+1) mod n; count:=count+1; if notempty.queue then notempty.signal; end procedure entry get(item) begin if count=0 then notempyt.wait; nextc:=bu
13、ffer(out); out:=(out+1) mod n; count:=count-1; if notfull.queue then notfull.signal; end begin in:=out:=0; count:=0; end生产者和消费者可描述为： producer: begin repeatproduce an item in nextp;PC.put(item);until false;endconsumer: begin repeat PC.get(item); consume the item in nextc until false; end31、什么是AND信号量？
14、试利用AND信号量写出生产者消费者问题的解法。【解】AND信号量是指：将进程在整个运行过程中所需的所有临界资源一次性地全部分配给进程，待该进程使用完后再一起释放。只要尚有一个资源未能分配给该进程，其他所有可能为之分配的资源，也不分配给他，即：对若干临界资源分配，采取原子操作方式，要么全部分配到进程，要么一个也不分配。叫AND信号量。 解法如下： var mutex,empty,full:semaphore:=1,n,0; buffer: array0,-,n-1of item; in,out:integer:=0,0; begin parbegin producer: begin repeat
15、 produce an item in nextp Swait(empty,mutex); buffer(in):=nextp; in:=(in+1)mod n; Ssignal(mutex,full); until false; end consumer: begin repeat Swait(full,mutex); nextc:=buffer(out); out:=(out+1)mod n; Ssignal(mutex,empty); consume the item in nextc; until falseend;32、什么是信号量集？试利用信号量集写出读者-写者问题的解法。33、试
16、比较进程间的低级与高级通信工具。（P65）34、当前有哪几种高级通信机制？（P65）【解】共享存储器系统，消息传递系统，管道通信系统。35、消息队列通信机制有哪几方面功能？（P66）【解】发送进程利用send原语，将消息直接发送给接收进程；接收进程利用receive原语接收消息。36、为什么要在OS中引入线程？（P72）【解】为了减少程序在并发执行时所付出的时空开销，使OS具有更好的并发性。进程的两个基本属性：（1）进程是一个可拥有资源的独立单位；（2）进程同时又是一个可独立调度和分派的基本单位。将进程的上述两个属性分开，由OS分开处理，亦即对于作为调度和分派的基本单位，不同时作为拥有资源的单
17、位；而对于拥有资源的基本单位，又不对之进行频繁的切换。正是在这种思想的指导下，形成了线程的概念。37、试说明线程具有哪些属性？（P73）38、试从调度性、并发性、拥有资源及系统开销几个方面，对进程和线程进行比较。【解】（1）调度性 在传统的OS中，拥有资源的基本单位和独立调度、分派的基本单位都是进程。而在引入线程的OS中，则把线程作为调度和分派的基本单位，而把进程作为资源拥有的基本单位，使传统进程的两个属性分开，线程便能轻装运行，从而显著提高系统并发程度。在同一进程中，线程的切换不会引起进程切换，在由一个进程中的线程切换到另一个进程中的线程时，将会引起进程切换。（2）并发性 多线程的操作系统中
18、，不仅进程可以并发执行，而且一个进程的多个线程也可并发执行。从而能更有效地使用系统资源和提高系统吞吐量。（3）拥有资源 进程是拥有资源的独立单位。线程自己基本不拥有系统资源，但可访问隶属进程的资源。（4）系统开销 在创建和撤消进程时，系统要为之分配或回收资源，所以系统开销要显著大于在创建和撤消线程的开销。在进行进程切换时，涉及到整个当前进程CPU环境的保存以及新被调度运行的进程的CPU环境的设置。而线程切换只须保存和设置少量寄存器的内容，并不涉及存储器管理方面的操作。可见，进程切换的开销也远大于线程切换的开销。此外，由于同一进程中的多个线程具有相同的地址空间，致使它们之间的同步和通信的实现也变得比较容易。39、为了在多线程OS中实现进程之间的同步与通信，通常提供了哪几种同步机制？【解】互斥锁，条件变量，计数信号量，多读、单写锁。40、用于实现线程同步的私用信号量和公用信号量之间有何差异？
