进程同步例题精选.pdfVIP

2003.试题一.4.关于临界区问题(critical section problem)是一个算法（假设只有进程P0 和P1 可能进入该临界区），如下（i 为0 或1 ），该算法_____ A 、 不能保证进程互斥进入临界区，且会出现“饥饿”（Starvation ） B、 不能保证进程互斥进入临界区，但不会出现“饥饿” C、 保证进程能互斥进入临界区，但会出现“饥饿” D、 保证进程互斥进入临界区，不会出现“饥饿” reapeat retry: if(turn≠-1) turn:=i; if(turn≠i) go to retry; turn:=-1; critical Section(临界区) turn=0; remainder Section(其他区域) until false; 解：应该选A。首先考虑不能保持互斥：P0 令turn ＝0 ，然后P1 执行retry 发现turn≠-1 ，所 以P1 令turn ＝1 ；然后或者P0 或者P1 先后令turn ＝－1 ，然后都进入临界区。如果某个进 程 P0 （或P1 ）从临界区出来（这时turn ＝0 ）又要进入，则令turn ＝i ，则它又能进入，重 复该过程则可能导致另外的一个进程饥饿。 2004.试题5.假设缓冲区buf1 和缓冲区buf2 无限大，进程p1 向buf1 写数据，进程p2 向buf2 写数据，要求buf1 数据个数和buf2 数据个数的差保持在(m,n)之间(mn,m,n 都是正数). 分析 ：题中没有给出两个进程执行顺序之间的制约关系，只给出了一个数量上的制约关系， 即m=|buf1 数据个数－buf2 数据个数|=n ．不需要考虑缓冲区的大小，只需要考虑两个进 程的同步和互斥．p2 向buf2 写数据比p1 向buf1 写数据的次数最少不超过m 次，最多不能 超过n 次，反之也成立．所以是一个生产者和消费者问题。 将等式展开得：(1)m=(buf1 数据个数－buf2 数据个数)=n; (2)m=(buf2 数据个数－buf1 数 据个数)=n; 由于m,n 都是正数，等式只有一个成立，不妨设(1)成立．在进程p1 和p2 都没 有运行时，两个缓冲区数据个数之差为0,因此，p1 必须先运行，向buf1 至少写m+1 个数据 后再唤醒p2 运行．信号量s1 表示p1 一次写入的最大量,初值为n（这时buf2 数据个数为0 ）， s2 表示p2 一次写入的最大量,初值为-m （这时buf1 数据个数为0 ）. begin var mutex1=1,mutex2=1,s1=n,s2=-m:semaphore; cobegin process p1 begin repeat get data; p(s1); p(mutex1); 写数据到buf1; v(mutex1); v(s2); end process p2 begin repeat; get data; p(s2); p(mutex2); //两个进程的互斥信号量应该用同一个mutex 即可