操作系统习题课1教材课程.pptVIP

P.137 4.4 考虑这样一个环境，用户级线程和内核级线程呈一对一的映射关系，并且允许进程中的一个或多个线程产生会引发阻塞的系统调用，而其他线程可以继续运行。解释为什么在单处理器机器上，这个模型可以使多线程程序比相应的单线程程序运行速度更快？ * [参考答案] 问题在于机器会花费相当多的时间等待I/O操作的完成。在一个多线程程序中，可能一个内核级线程会产生引发阻塞的系统调用，而其他内核级线程可以继续执行。而在单处理器机器上，进程则必须阻塞直到所有的系统调用都可以继续运行。 P.174 5.4 考虑下述程序： const int n = 50; int tally; void total() { int count; for ( count = 1; count = n; count++ ){ tally++; } } void main() { * tally = 0; parbegin(total(),total()); write(tally); } a.确定该并行程序最终输出的变量tally的合适下界和上界。假设这些进程可以以任意相对速度执行，并且一个变量只能在被一条单独的机器指令载入到寄存器后自增。 b.在a中假设的基础上，进一步假设任意数量的这种进程被允许并行地执行，那么对tally的上界和下界有什么影响？ [参考答案] a.随意一看,tally值的范围好像是落在[50,100]这个区间里,因为当没有互斥时可以从0直接增加到50。这一基本论点是当并发的运行这两进程时,我们不可能得到一个比连续执行单一某进程所得tally值还低的一个最终tally值。但是考虑下面由这两进程按交替顺序执行载入,增加,存储的情况,同时变更这个共享变量的取值: 1.进程A载入tally值,tally值加到1,在此时失去处理器(它已经增加寄存器的值到1,但是还没有存储这个值)。 2.进程B载入tally值(仍然是0),然后运行完成49次增加操作,在它已经将49这个值存储给共享变量tally后,失去处理器控制权。 3.进程A重新获得处理器控制权去完成它的第一次存储操作(用1去代替先前的49这个tally值),此时被迫立即放弃处理器。 4.进程B重新开始,将1(当前的tally值)载入到它自己的寄存器中,但此时被迫放弃处理器(注意这是B的最后一次载入)。 5.进程A被重新安排开始,但这次没有被中断,直到运行完成它剩余的49次载入,增加和存储操作,结果是此时tally值已经是50。 6.进程B在它终止前完成仅有的最后一次增加和存储操作。它的寄存器值增至2,同时存储这个值做为这个共享变量的最终结果。 因此tally值的正确范围是[2,100]。 * [参考答案] b. 对一般有N个进程的情况下,tally值的最终范围是[2,N*50],因为对其他所有进程来说,从最初开始运行到在第五步完成。但最后都被进程B破坏掉它们的最终结果。 * P.176 5.12 考虑下面关于信号量的定义： void semWait(s) { if(s.count0){ s.count--; } else{ place this process in s.queue; block; } } void semSignal(s) * { if(there is at least one process blocked on semaphore){ remove a process P from s.queue; place process P on ready list; } else s.count++; } 将该定义与图5.3中的定义进行比较，得出两个定义之间有一个区别：在前面的定义中，信号量永远不会取负值。当在程序中分别使用这两种定义时，其效果有什么不同？即能否在不改变程序意义的前提下，用一个定义代替另一个？ [参考答案] 这两个定义是等价的，在图5.3的定义中，当信号量的值为负值时，它的值代表了有多少个进程在等待。在此题中的定义中，虽然你没有关于有多少个进程在等待这个信息，但是这两个版本的函数是一样的。 * 5.补充1 假定一个阅览室最多可以容纳100人，读者进入和离开阅览室必须登记和去除登记。而且每次只允许一个人登记或者去除登记。用伪代码描述读者的行为。 * semaphore seat = 100; // 表示还有多少空位 semaphore mutex = 1; // 用于对登记表互斥访问 Reader(){ while(1){ semWait(seat); semWait(mutex); 登记; sem