进程管理补充习题.docVIP

进程管理补充习题 画出有挂起操作的操作系统中进程状态转换图，标出引起进程状态变化的主要原因。 有一个可以存放消息的缓冲池BUF，由指针IN和OUT分别指示当前可存取消息的缓冲区位置。每存入一消息，执行IN：=(IN+1 )mod 128，每取出一消息，执行OUT：=(OUT+1 )mod 128，现在有多个进程并发共享该缓冲池BUF，试用记录型信号量机制协调诸进程正确地工作。 桌上有一空盘，允许存放一只水果。妈妈可以向盘中放苹果，也可以向盘中放桔子，儿子专等吃盘中的苹果，女儿专等吃盘中的桔子。规定当盘空时只能放一只水果供孩子取用，请用记录型信号量和P、V原语实现母子三人的同步。 某集装箱仓库共有100个仓位，用同一辆吊车负责集装箱的吊进和吊出。现有一批集装箱运来进仓，另有货主不断前来提货（按仓位顺序进出），设进仓用过程PUTIN表示，出仓用过程GETOUT表示，请用记录型信号量和P、V操作协调上述工作。 有一独木桥，每次只允许一人过桥，现在桥的南北两端随时有人要过桥（PASS），为保证安全，请用记录型信号量和P、V操作解决如下问题： 只要桥上无人则允许任一方的一人过桥，桥上有人则等待。 两边的人交替过桥。即某一方一人过桥后要让另一方的一个人过桥，桥上有人则等待。 有三个进程PA、PB、PC合作解决文件打印问题：PA将文件记录从磁盘读入主存的缓冲区1，每执行一次读一个记录；PB将缓冲区1的内容复制到缓冲区2，每执行一次复制一个记录；PC将缓冲区2的内容打印出来，每执行一次打印一个记录。缓冲区的大小等于一个记录的大小。请用记录型信号量和P、V操作协调三个进程的工作。 请写出一个不会出现死锁的哲学家进餐问题的算法。 A．原理：至多只允许四个哲学家同时进餐,以保证至少有一个哲学家能够进餐,最终总会释 放出他所使用过的两支筷子,从而可使更多的哲学家进餐。以下将room 作为信号量，只允 许4 个哲学家同时进入餐厅就餐，这样就能保证至少有一个哲学家可以就餐，而申请进入 餐厅的哲学家进入room 的等待队列，根据FIFO 的原则，总会进入到餐厅就餐，因此不会 出现饿死和死锁的现象。 伪码： semaphore chopstick[5]={1，1，1，1，1}; semaphore room=4; void philosopher(int i) { while(true) { think(); wait(room); //请求进入房间进餐 wait(chopstick[i]); //请求左手边的筷子 wait(chopstick[(i+1)%5]); //请求右手边的筷子 eat(); signal(chopstick[(i+1)%5]); //释放右手边的筷子 signal(chopstick[i]); //释放左手边的筷子 signal(room); //退出房间释放信号量room } } B．原理：仅当哲学家的左右两支筷子都可用时,才允许他拿起筷子进餐。 方法1：利用AND 型信号量机制实现：根据课程讲述，在一个原语中，将一段代码同时需 要的多个临界资源，要么全部分配给它，要么一个都不分配，因此不会出现死锁的情形。当 某些资源不够时阻塞调用进程;由于等待队列的存在，使得对资源的请求满足FIFO 的要求， 因此不会出现饥饿的情形。 伪码： semaphore chopstick[5]={1，1，1，1，1}; void philosopher(int I) { while(true) { think(); Swait(chopstick[(I+1)]%5,chopstick[I]); eat(); Ssignal(chopstick[(I+1)]%5,chopstick[I]); } } 方法2：利用信号量的保护机制实现。通过信号量mutex对eat（）之前的取左侧和右侧筷 子的操作进行保护，使之成为一个原子操作，这样可以防止死锁的出现。 伪码： semaphore mutex = 1 ; semaphore chopstick[5]={1，1，1，1，1}; void philosopher(int I) { while(true) { think(); wait(mutex); wait(chopstick[(I+1)]%5); wait(chopstick[I]); signal(mutex); eat(); signal(chopstick[(I+1)]%5); signal(chopstick[I]); } } 设进程A每次产生一个记录依次存入缓存，进程B依次从缓存取出一个记录加以处理；