操作系统复习题答案基本全部答案.docVIP

（一）进程同步 进程同步1 进程P1和进程P2并发执行时满足一定的时序关系，P1的代码段S1执行完后，才能执行P2的代码段S2.为描述这种同步关系，(：试设计相应的信号量，(：给出信号量的初始值，(：给出进程P1和P2的结构 解答: (信号量变量申明为 Typedef struct { int value; //信号量中的值，表示资源的数量 struct PCB *L; //等待该信号量的队列 }semaphore; 设信号量semaphore synch; (初始值为：synch.value=0 (进程P1和P2的结构为 P1: { P2: { ? ? S1 wait(synch); signal(synch); S2 ? ? } } 进程同步2 问题描述：(理发店问题)一个理发店有一间配有n个椅子的等待室和一个有理发椅的理发室。如果没有顾客，理发师就睡觉；如果顾客来了二所有的椅子都有人，顾客就离去；如果理发师在忙而有空的椅子，顾客就会坐在其中一个椅子；如果理发师在睡觉，顾客会摇醒他。 给出同步关系 设计描述同步关系的信号量； 给出满足同步关系的进程结构(请完成满足同步关系的进程结构)。 解答：(顾客customer应满足的同步关系为： a:顾客来时要等空的椅子，否则不进理发室 b:座椅上的顾客要等理发椅空才有可能与别的顾客竞争理发椅，如果顾客坐上 理发椅，就要腾空其座椅给新来顾客，同时叫理发师给其理发。 c：一旦顾客理发完，就要让别的等待顾客有机会理发。 理发师应满足的同步关系为： 一旦顾客唤醒，就给顾客理发，之后进入睡觉。 (信号量定义如下： Typedef struct { int value; //信号量中的值，表示资源的数量 struct PCB *L; //等待该信号量的队列 }semaphore; 互斥信号量定义如下： Typedef struct { bool flag; struct PCB *L; }binary_semaphore; 理发店问题的解决需要信号量和互斥信号量为： semaphore chair; binary_semaphore barber_chair, hair_cut; 它们的初始值为： chair.value=n; barber_chair.flag=1; hair_cut.flag=0; (顾客和理发师进程分别为： customer { barber { wait(chair); do { waiting in the chair； wait(hair_cut); wait(barber_chair); cutting hair； signal(hair_cut); signal(barber_chair); sitting in barber chair for haircut; }while(1) signal(chair); } } 进程同步2