计算机操作系统第三版汤子瀛课后习题答案(好的)(3)

signal(mutex);/* signal(empty); */

consumer item in nextc;

until false;

end

28．在测量控制系统中的数据采集仸务，把所采集的数据送一单缓冲区；计算仸务从该单 缓冲中叏出数据迚行计算.试写出利用信号量机制实现两者共享单缓冲的同步算法。 答：

a. Var mutex, empty, full: semaphore:=1, 1, 0;

gather:

begin

repeat

gather data in nextp;

wait(empty);

wait(mutex);

buffer:=nextp;

signal(mutex);

signal(full);

until false;

end

compute:

begin

repeat

wait(full);

wait(mutex);

nextc:=buffer;

signal(mutex);

signal(empty);

compute data in nextc;

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;

end

compute:

begin

repeat

wait(full);

nextc:=buffer;

signal(empty);

compute data in nextc;

until false;

end

29．画图说明管程由哪几部分组成，为什么要引入条件发量？

答：管程由四部分组成：①管程的名称；②局部于管程内部的共享数据结构说明；③对该数据结构进行操作的一组过程；④对局部于管程内部的共享数据设臵初始值的语句；

当一个进程调用了管程，在管程中时被阻塞或挂起，直到阻塞或挂起的原因解除，而在此期间，如果该进程不释放管程，则其它进程无法进入管程，被迫长时间地等待。为了解决这个问题，引入了条件变量condition。

31．什么是AND信号量？试利用AND信号量写出生产者一消费者问题的解法。

答：为解决并行带来的死锁问题，在wait 操作中引入AND 条件，其基本思想是将进 程在整个运行过程中所需要的所有临界资源，一次性地全部分配给进程，用完后一次性释放。 解决生产者－消费者问题可描述如下:

var mutex,empty,full: semaphore:=1,n,0;

buffer: array[0,...,n-1] of item;

in,out: integer:=0,0;

begin

parbegin

14

producer: begin

produce an item in nextp;

wait(empty);

wait(s1,s2,s3,...,sn); //s1,s2,...,sn为执行生产者进程除empty 外其余的条件 wait(mutex);

buffer(in):=nextp;

in:=(in+1) mod n;

signal(mutex);

signal(full);

signal(s1,s2,s3,...,sn);

until false;

end

consumer: begin

repeat

wait(full);

wait(k1,k2,k3,...,kn); //k1,k2,...,kn 为执行消费者进程除full 外其余的条件 wait(mutex);

nextc:=buffer(out);

out:=(out+1) mod n;

signal(mutex);

signal(empty);

signal(k1,k2,k3,...,kn);

consume the item in nextc;

until false;

end

parend

end

33．试比较迚程间的低级不高级通信工具。

答：用户用低级通信工具实现进程通信很不方便，效率低，通信对用户不透明，所有操作都 必须由程序员来实现，而高级通信工具弥补了这些缺陷，用户直接利用操作系统提供的一组通信命令，高效地传送大量的数据。

34．当前有哪几种高级通信机制？

答：共享存储器系统、消息传递系统以及管道通信系统。

35．消息队列通信机制有哪几方面的功能？

答：（1）构成消息（2）发送消息（3）接收梢息（4）互斥与同步。

36．为什么要在OS 中引入线程？

答：在操作系统中引入线程，则是为了减少程序在并发执行时所付出的时空开销，使OS具 有更好的并发性，提高CPU的利用率。进程是分配资源的基本单位,而线程则是系统调度的基本单位。

37．试说明线程具有哪些属性？

答：（1)轻型实体（2）独立调度和分派的基本单位（3）可并发执行（4）共享进程资源。

38. 试从调度性，并収性，拥有资源及系统开销方面对迚程和线程迚行比较。

（1）调度性。线程在OS 中作为调度和分派的基本单位，进程只作为资源拥有的基本单位。

（2）并发性。进程可以并发执行，一个进程的多个线程也可并发执行。

（3）拥有资源。进程始终是拥有资源的基本单位，线程只拥有运行时必不可少的资源，本 身基本不拥有系统资源，但可以访问隶属进程的资源。

（4）系统开销。操作系统在创建、撤消和切换进程时付出的开销显著大于线程。

39. 为了在多线程OS 中实现迚程之间的同步不通信，通常提供了哪几种同步机制？ 答：同步功能可以控制程序流并访问共享数据，从而并发执行多个线程。共有四种同步模型： 互斥锁、读写锁、条件变量和信号。

40．用亍实现线程同步的私用信号量和公用信号量之间有何差别？

答：

（1）私用信号量。当某线程需利用信号量实现同一进程中各线程之间的同步时，可调用创 建信号量的命令来创建一个私用信号量，其数据结构存放在应用程序的地址空间中。

（2）公用信号量。公用信号量是为实现不同进程间或不同进程中各线程之间的同步而设臵 的。其数据结构是存放在受保护的系统存储区中，由OS为它分配空间并进行管理。

41．何谓用户级线程和内核支持线程？

答：

（1）用户级线程：仅存在于用户空间中的线程，无须内核支持。这种线程的创建、撤销、 线程间的同步与通信等功能，都无需利用系统调用实现。用户级线程的切换通常发生在一个 应用进程的诸多线程之间，同样无需内核支持。

（2）内核支持线程：在内核支持下运行的线程。无论是用户进程中的线程，还是系统线程 中的线 程，其创建、撤销和切换等都是依靠内核，在内核空间中实现的。在内核空间里还 为每个内核支持线程设臵了线程控制块，内核根据该控制块感知某线程的存在并实施控制。

42．试说明用户级线程的实现方法。

答：用户级线程是在用户空间中的实现的，运行在“运行时系统”与“内核控制线程”的中 间系统上。运行时系统用于管理和控制线程的函数的集合。内核控制线程或轻型进程LWP 可通过系统调用获得内核提供服务，利用LWP进程作为中间系统。

43．试说明内核支持线程的实现方法。

答：系统在创建新进程时，分配一个任务数据区PTDA，其中包括若干个线程控制块TCB 空间。创建一个线程分配一个TCB，有关信息写入TCB，为之分配必要的资源。当PTDA 中的TCB 用完，而进程又有新线程时，只要所创建的线程数目未超过系统允许值，系统可 在为之分配新的TCB；在撤销一个线程时，也应回收线程的所有资源和TCB。

第三章

1．高级调度不低级调度的主要仸务是什么？为什么要引入中级调度？

答：高级调度的主要任务是根据某种算法，把外存上处于后备队列中的那些作业调入内存。低级调度是保存处理机的现场信息，按某种算法先取进程，再把处理器分配给进程。引入中级调度的主要目的是为了提高内存利用率和系统吞吐量。使那些暂时不能运行的进程

不再占用内存资源，将它们调至外存等待，把进程状 …… 此处隐藏：2818字，全部文档内容请下载后查看。喜欢就下载吧 ……