计算机操作系统
计算机操作系统
第一章第一章 操作系统引论
操作系统引论
1. 设计现代 OS 的主要目标是什么?
方便性,有效性,可扩充性和开放性.
2. OS 的作用可表现为哪几个方面?
a. OS 作为用户与计算机硬件系统之间的接口;
b. OS 作为计算机系统资源的管理者;
c. OS 实现了对计算机资源的抽象.
7. 实现分时系统的关键问题是什么?应如何解决?
a. 关键问题:使用户能与自己的作业进行交互,即当用户在自己的终端上键入命令时,
系统应能及时接收并及时处理该命令,再将结果返回给用户。
b. 解决方法:
------对于及时接收,只需在系统中设置一多路卡,使主机能同时接收用户从各个终端上
输入的数据;此外,还须为每个终端配置一个缓冲区,用来暂存用户键入的命令(或
数据)。
------对于及时处理,应使所有的用户作业都直接进入内存,并且为每个作业分配一个时
间片,允许作业只在自己的时间片内运行,这样在不长的时间内,能使每个作业都
运行一次。
12. 试在交互性,及时性和可靠性方面,将分时系统与实时系统进行比较.
a. 分时系统是一种通用系统,主要用于运行终端用户程序,因而它具有较强的交互能力;
而实时系统虽然也有交互能力,但其交互能力不及前。
b. 实时信息系统对实用性的要求与分时系统类似,都是以人所能接收的等待时间来确
定;而实时控制系统的及时性则是以控制对象所要求的开始截止时间和完成截止时间
来确定的,因此实时系统的及时性要高于分时系统的及时性。
c. 实时系统对系统的可靠性要求要比分时系统对系统的可靠性要求高。
13. OS 具有哪几大特征?它的最基本特征是什么?
a. 并发性、共享性、虚拟性、异步性。
b. 其中最基本特征是并发和共享。(最重要的特征是并发性)
18. 是什么原因使操作系统具有异步性特征?
在多道程序环境下允许多个进程并发执行,但由于资源等因素的限制,
进程的执行通常并非一气呵成,而是以走走停停的方式运行。内存中的每个
进程在何时执行,何时暂停,以怎样的速度向前推进,每道程序总共需要多
少时间才能完成,都是不可预知的,因此导致作业完成的先后次序与进入内
存的次序并不完全一致。或者说,进程是以异步方式运行的。但在有关进程
控制及同步机制等的支持下,只要运行环境相同,作业经多次运行,都会获
得完全相同的结果,因而进程以异步的方式执行是系统所允许的。
2. 试画出下面 4 条语句的前趋图:
第二章第二章 进程管理
进程管理
S1: a:=x+y;
S2: b:=z+1;
S3: c:=a-b;
S4: w:=c+1;
S1
S2
S3
S4
3. 为什么程序并发执行会产生间断性特征?
程序在并发执行时,由于它们共享系统资源,以及为完成同一项任务而相互合作,
致使在这些并发执行的进程之间,形成了相互制约的关系,从而也就使得进程在执行期
间出现间断性。
4. 程序并发执行时为什么会失去封闭性和可再现性?
因为程序并发执行时,是多个程序共享系统中的各种资源,因而这些资源的状态是
由多个程序来改变,致使程序的运行失去了封闭性。而程序一旦失去了封闭性也会导致
其再失去可再现性。
5. 在操作系统中为什么要引入进程概念?它会产生什么样的影响?
为了使程序在多道程序环境下能并发执行,并能对并发执行的程序加以控制和描
述,从而在操作系统中引入了进程概念。
影响: 使程序的并发执行得以实行。
6. 试从动态性,并发性和独立性上比较进程和程序?
a. 动态性是进程最基本的特性,可表现为由创建而产生,由调度而执行,因得不到资源
而暂停执行,以及由撤销而消亡,因而进程由一定的生命期;而程序只是一组有序指
令的集合,是静态实体。
b. 并发性是进程的重要特征,同时也是 OS 的重要特征。引入进程的目的正是为了使其
程序能和其它建立了进程的程序并发执行,而程序本身是不能并发执行的。
c. 独立性是指进程实体是一个能独立运行的基本单位,同时也是系统中独立获得资源和
独立调度的基本单位。而对于未建立任何进程的程序,都不能作为一个独立的单位来
运行。
7. 试说明 PCB 的作用?为什么说 PCB 是进程存在的唯一标志?
a. PCB 是进程实体的一部分,是操作系统中最重要的记录型数据结构。PCB 中记录了操
作系统所需的用于描述进程情况及控制进程运行所需的全部信息。因而它的作用是使
一个在多道程序环境下不能独立运行的程序(含数据),成为一个能独立运行的基本单
位,一个能和其它进程并发执行的进程。
b. 在进程的整个生命周期中,系统总是通过其 PCB 对进程进行控制,系统是根据进程
的 PCB 而不是任何别的什么而感知到该进程的存在的,所以说,PCB 是进程存在的
唯一标志。
8. 试说明进程在三个基本状态之间转换的典型原因.
a. 处于就绪状态的进程,当进程调度程序为之分配了处理机后,该进程便由就绪状态变
为执行状态。
b. 当前进程因发生某事件而无法执行,如访问已被占用的临界资源,就会使进程由执行
状态转变为阻塞状态。
c. 当前进程因时间片用完而被暂停执行,该进程便由执行状态转变为就绪状态。
9. 为什么要引入挂起状态?该状态有哪些性质?
a. 引入挂起状态主要是出于 4 种需要(即引起挂起的原因): 终端用户的请求,父进程
请求,负荷调节的需要,操作系统的需要。
b. 被挂起的进程是处于静止状态,并且不能直接被处理机调度。
17. 为什么进程在进入临界区之前应先执行“进入区”代码?而在退出前又要执行“退出区”
代码?
为了实现多个进程对临界资源的互斥访问,必须在临界区之前加一段用于检查临界
资源是否正在被访问的代码,如未被访问,该进程可进入临界区对此临界资源进行访问;
如正被访问,则该进程不能进入临界区访问临界资源。
在退出临界区后,执行恢复访问标志的代码为“退出区”,而在退出前执行“退出区”
代码主要是为了使其它进程能再访问此临界资源。
18. 同步机构应遵循哪些基本准则?为什么?
a. 空闲让进、忙则等待、有限等待、让权等待四条准则
b. 为实现进程能互斥地进入到自己的临界区
19. 试从物理概念上说明记录型信号量 wait 和 signal。
Wait(S):当 S.value>0 时,表示目前系统中这类资源还有可用的,执行一次 wait 操作,
意味着进程请求一个单位的该类资源,是系统中可供分配的该类资源减少一
个,因此描述为 S.value:=S.value-1;当 S.value<0 时,表示该类资源已分配完
毕,因此进程应调用 block 原语,进行自我阻塞,放弃处理机,并插入到信
号量链表 S.L 中。
Signal(S):执行一次 signal 操作,意味着释放一个单位的可用资源,使系统中可供分配
的该类资源数增加一个,故执行 S.value:=S.value+1 操作。若加 1 后 S.value
≤0,则表示在该信号量链表中,仍有等待该资源的进程被阻塞,因此应调用
wakeup 原语,将 S.L 链表中的第一个等待进程唤醒。
22. 试写出相应的程序来描述图 2-17 所示的前驱图。
a. Var a, b, c, d, e, f, g, h; semaphore:= 0, 0, 0, 1, 0, 0, 0, 0;
begin
parbegin
begin S1; signal(a); signal(b); end;
begin wait(a); S2; signal(c); signal(d); end;
begin wait(b); S3; signal(e); end;
begin wait(c); S4; signal(f); end;
begin wait(d); S5; signal(g); end;
begin wait(e); S6; signal(h); end;
begin wait(f); wait(g); wait(h); S7; end;
parend
end
b. 略
23. 在生产者—消费者问题中,如果缺少了 signal(full)或 signal(empty),对执行结果将会有
何影响?
如果缺少了 signal(full),那么表明从第一个生产者进程开始就没有对信号量 full 值
改变,即使缓冲池存放的产品已满了,但 full 的值还是 0,这样消费者进程在执行 wait(full)
时会认为缓冲池是空的而取不到产品,那么消费者进程则会一直处于等待状态。
如果缺少了 signal(empty),例如在生产者进程向 n 个缓冲区投满产品后消费者进程
才开始从中取产品,这时 empty=0,full=n,那么每当消费者进程取走一个产品时 empty
并没有被改变,直到缓冲池中的产品都取走了,empty 的值也一直是 0,即使目前缓冲池
有 n 个空缓冲区,生产者进程要想再往缓冲池中投放产品会因申请不到空缓冲区而被阻
塞。
24. 在生产者—消费者问题中,如果将两个 wait 操作即 wait(full)和 wait(mutex)互换位置,
或者将 signal(mutex)和 signal(full)互换位置,结果会如何?
在生产者—消费者问题中,如果将两个 wait 操作,即 wait(full)和 wait(mutex)互换位
置后,可能引起死锁。考虑系统中缓冲区全满时,若一生产者进程先执行了 wait(mutex)
操作并获得成功,则当再执行 wait(empty)操作时,它将因失败而进入阻塞状态,它期待
消费者进程执行 signal(empty)来唤醒自己,在此之前,它不可能执行 signal(mutex)操作,
从而使试图通过执行 wait(mutex)操作而进入自己的临界区的其他生产者和所有消费者进
程全部进入阻塞状态,这样容易引起系统死锁。
若 signal(mutex)和 signal(full)互换位置后只是影响进程对临界资源的释放次序,而不
会引起系统死锁,因此可以互换位置。
25. 我们为某临界资源设置一把锁 W,当 W=1 时表示关锁;当 W=0 时表示锁已打开,试
写出开锁和关锁原语,并利用它们去实现互斥。
整型信号量:lock(W): while W=1 do no-op
W:=1;
unlock(W): W:=0;
记录型信号量:lock(W): W:=W+1;
if(W>1) then block(W.L)
unlock(W): W:=W-1;
if(W>0) then wakeup(W.L)
例子:
Var W:semaphore:=0;
begin
repeat
lock(W);
critical section
unlock(W);
remainder section
until false;
end
26. 试修改下面生产者——消费者问题解法中的错误:
producer:
begin
repeat
……
produce an item in nextp;
wait(mutex);
wait(full);
buffer(in):=nextp;……
signal(mutex);
until false;
end
consumer:
begin
repeat
……
wait(mutex);
wait(empty);
nextc:=buffer(out);
out:=out+1;
signal(mutex);
consume item in nextc;
until false;
end
27. 试利用记录型信号量写出一个不会出现死锁的哲学家进餐问题的算法。
三种解决方法中的任意一种即可(略)。P62
28. 在测量控制系统中的数据采集任务时,把所采集的数据送往一单缓冲区;计算任务从该
单缓冲区中取出数据进行计算。试写出利用信号量机制实现两任务共享单缓冲区的同步
算法。
a. Var mutex, empty, full: semaphore:=1, 1, 0;
gather:
begin
compute:
begin
repeat
……
gather data in nextp;
wait(empty);
wait(mutex);
buffer:=nextp;
signal(mutex);
signal(full);
until false;
end
b. Var empty, full: semaphore:=1, 0;
gather:
begin
repeat
……
gather data in nextp;
wait(empty);
buffer:=nextp;
signal(full);
until false;
repeat
……
wait(full);
wait(mutex);
nextc:=buffer;
signal(mutex);
signal(empty);
compute data in nextc;
until false;
end
compute:
begin
repeat
……
wait(full);
nextc:=buffer;
signal(empty);
compute data in nextc;
until false;
end
end
33. 试比较进程间的低级通信工具与高级通信工具.
用户用低级通信工具实现进程通信很不方便,因为其效率低,通信对用户不透明,
所有的操作都必须由程序员来实现,而高级通信工具则可弥补这些缺陷,用户可直接
利用操作系统所提供的一组通信命令,高效地传送大量的数据。
36. 为什么要在 OS 中引入线程?
在 OS 中引入进程的目的,是为了使多个程序能并发执行,以提高资源利用率和系
统吞吐量。在 OS 中再引入线程,则是为了减少程序在并发执行时所付出的时空开销,
使 OS 具有更好的并发性。
38. 试从调度性,并发性,拥有资源及系统开销方面对进程和线程进行比较.
a. 调度性。在传统的操作系统中,拥有资源的基本单位和独立调度、分派的基本单位都
是进程,在引入线程的 OS 中,则把线程作为调度和分派的基本单位,而把进程作为
资源拥有的基本单位;
b. 并发性。在引入线程的 OS 中,不仅进程之间可以并发执行,而且在一个进程中的多
个线程之间,亦可并发执行,因而使 OS 具有更好的并发性;
c. 拥有资源。无论是传统的操作系统,还是引入了线程的操作系统,进程始终是拥有资
源的一个基本单位,而线程除了拥有一点在运行时必不可少的资源外,本身基本不拥
有系统资源,但它可以访问其隶属进程的资源;
d. 开销。由于创建或撤销进程时,系统都要为之分配和回收资源,如内存空间等,进程
切换时所要保存和设置的现场信息也要明显地多于线程,因此,操作系统在创建、撤
消和切换进程时所付出的开销将显著地大于线程。
1. 高级调度与低级调度的主要任务是什么?为什么要引入中级调度?
第三章第三章 处理机调度与死锁
处理机调度与死锁
高级调度的主要任务:用于决定把外存上处于后备队列中的哪些作业调入内存,并为它
们创建进程,分配必要的资源,然后,再将新创建的进程插入就
绪队列上,准备执行。
低级调度的主要任务:用于决定就绪队列中的哪个进程应获得处理机,然后再由分派程
引入中级调度的主要目的:是为了提高系统资源的利用率和系统吞吐量。
序执行将处理机分配给该进程的具体操作。
10. 试比较 FCFS 和 SPF 两种进程调度算法
相同点:两种调度算法都是既可用于作业调度,也可用于进程调度;
不同点:FCFS 调度算法每次调度都是从后备队列中选择一个或是多个最先进入该队列
的作业,将它们调入内存,为它们分配资源,创建进程,然后插入到就绪队
列中。该算法有利于长作业/进程,不利于短作业/进程。
SPF 调度算法每次调度都是从后备队列中选择一个或若干个估计运行时间最
短的作业,将它们调入内存中运行。该算法有利于短作业/进程,不利于长作
业/进程。
15. 按调度方式可将实时调度算法分为哪几种?
按调度方式不同,可分为非抢占调度算法和抢占调度算法两种。
18. 何谓死锁?产生死锁的原因和必要条件是什么?
a.死锁是指多个进程因竞争资源而造成的一种僵局,若无外力作用,这些进程都将永远
不能再向前推进;
b.产生死锁的原因有二,一是竞争资源,二是进程推进顺序非法;
c.必要条件是: 互斥条件,请求和保持条件,不剥夺条件和环路等待条件。
19.在解决死锁问题的几个方法中,哪种方法最易于实现?哪种方法是资源利用率最高?
解决/处理死锁的方法有预防死锁、避免死锁、检测和解除死锁,其中预防死锁方法最
容易实现,但由于所施加的限制条件过于严格,会导致系统资源利用率和系统吞吐量降低;
而检测和解除死锁方法可是系统获得较好的资源利用率和系统吞吐量。
20. 请详细说明可通过哪些途径预防死锁?
a.摒弃"请求和保持"条件:系统规定所有进程开始运行之前,都必须一次性地申请其在整
个运行过程所需的全部资源,但在分配资源时,只要有一种资源不能满足某进程的要
求,即使其它所需的各资源都空闲,也不分配给该进程,而让该进程等待;
b.摒弃"不剥夺"条件:系统规定,进程是逐个地提出对资源的要求的。当一个已经保持了
某些资源的进程,再提出新的资源请求而不能立即得到满足时,必须释放它已经保持
了的所有资源,待以后需要时再重新申请;
c.摒弃"环路等待"条件:系统将所有资源按类型进行线性排序,并赋予不同的序号,且所
有进程对资源的请求必须严格按序号递增的次序提出,这样,在所形成的资源分配图
中,不可能再出现环路,因而摒弃了"环路等待"条件。
22. 在银行家算法中,若出现下述资源分配情:
Process
Allocation
P0
P1
P2
P3
P4
0032
1000
1354
0332
0014
Need
0012
1750
2356
0652
0656
Available
1622
试问:
⑴ 该状态是否安全?
⑵ 若进程 P2 提出请求 Request(1,2,2,2)后,系统能否将资源分配给它?
⑴该状态是安全的,因为存在一个安全序列< P0P3P4P1P2>。下表为该时刻的安全序
列表。
资源情况
进程
Work
Need
Allocation
Work+Allocation
Finish
P0
P3
P4
P1
P2
1 6 2 2
1 6 5 4
1 9 8 7
1 9 9 11
2 9 9 11
0 0 1 2
0 6 5 2
0 6 5 6
1 7 5 0
2 3 5 6
0 0 3 2
0 3 3 3
0 0 1 4
1 0 0 0
1 3 5 4
1 6 5 4
1 9 8 7
1 9 9 11
2 9 9 11
3 12 14 17
true
true
true
true
true
⑵若进程 P2 提出请求 Request(1,2,2,2)后,系统不能将资源分配给它,若分配
给进程 P2,系统还剩的资源情况为(0,4,0,0),此时系统中的资源将无法满足任何
一个进程的资源请求,从而导致系统进入不安全状态,容易引起死锁的发生。