《操作系统习题集 - 进程管理》由会员分享，可在线阅读，更多相关《操作系统习题集 - 进程管理（28页珍藏版）》请在金锄头文库上搜索。
1、习题集 - 2 - 进程管理1. 在优先级调度中，_类进程可能被“饿死”，即长时间得不到调度。A 短进程 B 长进程 C 低优先级进程 D 大内存进程解： C。优先级调度算法（PRI）的基本思想是：内核为每个进程赋予一个优先级，进程按照优先级的大小顺序在就绪队列中排队，内核将CPU分配给就绪队列头部的第一个进程优先级最大的进程。因此，进程的优先级越低，在就绪队列中的排队位置就越靠近队列尾，获得运行之前的等待时间就越长。低优先级的进程必须等待所有高优先级进程运行结束后才会被调度运行。如果不断有高优先级的进程加入就绪队列，那么低优先级进程就会一直等待下去。这就是所谓的“饿死”现象。2. 在下面的系
2、统调用中，_不会导致进程阻塞。A 读/写文件 B 获得进程PID C 申请内存 D 发送消息解： B。当正在执行的进程需要使用某种资源或等待某个事件时，如果资源已被其他进程占用或事件尚未出现，该进程不能获得所需的资源而无法继续运行，于是，进程将被阻塞。进程在阻塞状态中等待资源被释放，或等待事件的发生。所以，进程在执行系统调用时，如果需要使用某种资源，就可能导致进程阻塞。“读/写文件”需要使用设备和文件缓冲区；“申请内存”需要分配内存资源；“发送消息”需要使用消息缓冲区。3. 下面关于临界区的叙述中，正确的是_A 临界区可以允许规定数目的多个进程同时执行B 临界区只包含一个程序段C 临界区是必须
3、互斥地执行的程序段D 临界区的执行不能被中断解： C。临界段（临界区）的概念包括两个部分： 临界资源：必须互斥访问的资源。例如，需要独占使用的硬件资源，多个进程共享的变量、结构、队列、栈、文件等软件资源。 临界区：访问临界资源的、必须互斥地执行的程序段。即，当一个进程在某个临界段中执行时，其他进程不能进入相同临界资源的任何临界段。4. 资源顺序分配法破坏了死锁发生的_必要条件。A 互斥占用 B 占有等待 C 非剥夺 D 循环等待解： D。资源顺序分配方法是：给系统中的每类资源赋予一个自然数的序号，限制进程只能严格按照资源序号由小到大的顺序申请资源。该方法可以避免“循环等待”的情况发生。因为，若
4、出现循环等待，则必会有进程在获得大序号资源后申请小序号资源。5. 假设某操作系统采用RR调度策略，分配给A类进程的时间片为100 ms，分配给B类进程的时间片为400 ms，就绪进程队列的平均长度为5（包括正在运行的进程），其中A类进程有4个，B类进程有1个，所有进程的平均服务时间为2 s，问A类进程和B类进程的平均周转时间各为多少？（不考虑IO情况）解析:时间片轮转调度（RR）是轮流地调度就绪队列中的每个进程，进程每次占用CPU的时间长度限制为时间片的大小。当采用固定的时间片大小时，每个进程按照固定周期被循环地执行。所以，进程的执行速度是由该进程的时间片大小在一个循环周期中所占的比例决定的，
5、比例越高，进程的相对执行速度就越快。解:因为就绪进程队列的平均长度为5，单个RR调度循环周期的时间为41001400800（ms）A类进程需要20个时间片的执行时间，B类进程需要5个时间片的执行时间（1 s1 000 ms）。A类进程的平均周转时间为200.816(s)B类进程的平均周转时间为50.8=4(s)6. 某多道程序设计系统中配有一台处理器CPU和两台输入/输出设备IO1、IO2，现有优先级由高到低的3个进程P1、P2、P3同时存在，它们使用资源的先后顺序和占用时间分别是：进程P1：IO2(30 ms)，CPU(10 ms)，IO1(30 ms)，CPU(10 ms)，IO2(10
6、ms)。进程P2：IO1(20 ms)，CPU(20 ms)，IO1(40 ms)。进程P3：CPU(30 ms)，IO2(20 ms)。若进程调度采用“可抢占的最高优先级”调度算法，且忽略调度等所需的时间，请回答下列问题：(1) 进程P1、P2、P3从开始到完成所用的时间分别是多少?(要求用坐标画出进程P1、P2、P3的工作过程，其中横坐标表示时间，纵坐标表示CPU和IO设备。)(2) 这3个进程从开始到全部完成时CPU的利用率为多少?IO1、IO2的利用率为多少?解析:在“可抢占的最高优先级”调度中，任何时刻内核都将处理机分配给当前最高优先级的就绪进程。也就是说，只有当高优先级进程主动放弃
7、CPU时，低优先级进程才有机会运行，并且，一旦高优先级进程需要使用CPU时，内核就会剥夺低优先级进程的CPU，分配给它使用。在本题中，由于进程P1和P2在开始执行时先需要进行IO，所以最低优先级的进程P3获得了CPU。但是，P3运行了20 ms后就被P2抢占了CPU，因为P2刚好完成了IO，并且P2的优先级大于P3。同样的原因，P2运行了10 ms后，就被P1抢占了CPU。P1在CPU上运行10 ms之后再次需要进行IO而放弃CPU，于是，P2、P1获得继续运行的机会。以此方式，P1、P2和P3相继完成自己的运行过程。解:根据“可抢占的最高优先级”调度算法，画出进程P1、P2、P3的工作过程(
8、见图29)。图2.9进程P1、P2、P3进程P1、P2、P3从开始到完成所用的时间分别是90 ms、110 ms、80 ms。这3个进程从开始到全部完成时的时间为110（ms），在此期间内：CPU的利用率(30+20+10+10)/110=63.6%IO1的利用率=(20+30+40)/110=81.8%IO2的利用率=(30+20+10)/110=54.5%7. 论述以下解决双进程临界区问题的软件算法是错误的。ProcessP0:do flag0=true；while(flag1)； 临界区flag0=false；while(1)；ProcessP1：do flag1=true；while(
9、flag0)； 临界区flag1=false；while(1)；解析: 在算法中，两个进程P1和P2各自拥有自己的标志牌flag0和flag1。当进程需要进入临界区时，举起标志牌（设置值为true）。然后观察对方是否举起标志牌，是则等待并继续观察（while语句），直到对方放下标志牌（设置值为false）。这时，进程才进入临界区。进程退出临界区时，放下标志牌（设置值为false）。解:通过使用标志牌flag0和flag1，能够保证满足“互斥”条件。但是，当两个进程按照的顺序执行程序时，它们各自举起了标志牌，同时都因为观察到对方也举起了标志牌而等待在while语句中。由于两个进程都不会放下自己的
10、标志牌，因此都无法进入临界区，不能满足“有限等待”的条件。所以，上述解决双进程临界区问题的算法是错误的。8. 以下解决双进程访问共享变量count的程序是否存在错误？试用信号量实现。Share：count=0；Int: flag2;cobeginProcess P0: do flag0=true； while(flag1)； count=count+1； flag0=false； while(1)；Process P1：do flag1=true； while(flag0)； count=count+1； flag1=false；while(1)；coend解：在上述程序中，访问共享变量的语句
11、count=count+1构成临界区。两个进程P0和P1各自拥有自己的标志牌flag0和flag1。当进程需要进入临界区时，举起标志牌（设置值为true）。然后观察对方是否举起标志牌，是则等待并继续观察（while语句），直到对方放下标志牌（设置值为false）。这时，进程才进入临界区。进程退出临界区时，放下标志牌（设置值为false）。通过使用标志牌flag0和flag1，能够保证满足“单一进入”的条件。但是，当两个进程按照、的顺序执行程序时，它们各自举起了标志牌，同时都因为观察到对方也举起了标志牌而等待在while语句中。由于两个进程都不会放下自己的标志牌，因此都无法进入临界区，不能满足“
12、有限等待”的条件。所以，上述程序是错误的。设置信号量S实现对共享变量count的互斥访问。Share：count=0；struct semaphore S=1；cobeginProcess P0: do P(S); count=count+1； V(S); while(1)；Process P1：do P(S); count=count+1； V(S);while(1)；coend9. 假定一个阅览室最多可容纳100人，读者进入和离开阅览室时都必须在阅览室门口的一个登记表上进行登记，而且每次只允许一人进行登记操作。用信号量实现该过程。解：设置信号量S：控制进入阅览室的人数。初值=100。设置信
13、号量mutex：控制登记表的互斥使用。初值=1。struct semaphore s=100,mutex=1;cobegin reader (i ) (i=1,2,k) P(S); P(mutex);写登记表；V(mutex);阅读；P(mutex); 写登记表;V(mutex);V(S);离开； coend10. 在具有N个进程的系统中，允许M个进程(NM1)同时进入它们的共享区，其信号量S的值的变化范围是（1） ，处于等待状态的进程数最多是（2）个。解：信号量S用于控制进入共享区的进程数，初值为M。极端情况是N个进程都需要进入共享区。（1）（MN，M）； （2）NM11. 在测量控制系统中
14、，数据采集任务把所采集的数据送一单缓冲区；计算任务从该缓冲区中取出数据进行计算。试写出利用信号量机制实现两者共享单缓冲区的同步操作算法。解：设置信号量S1和S2控制数据采集任务与计算任务之间的同步。初值：S1=1，S2=0。struct semaphore S1=1, S2=0;cobegin 数据采集任务： 计算任务：beginbegin While（true）While（true）采集数据；P(S2);P(S1);从缓冲区读出数据；数据写入缓冲区；V(S1);V(S2);计算； endendcoend12. 有n+1个进程A1,A2,An和B，A1,An通过同一缓冲区各自不断向B发消息，B不断取消息，它必须取走发来的每一个消息。刚开始时
