操作系统复习资料全第二章进程管理-经典同步问题.pptVIP

2.利用信号量集机制解决读者-写者问题 Var RN integer;//最多允许RN读者进程共享文件 L, mx:semaphore∶=RN,1;//L读者数控制信号量，mx写互斥信号量 begin parbegin reader:begin repeat Swait(L,1,1); //读进程检查L=1，才可进入临界区 Swait(mx,1,0);//如果无写进程进入临界区，mx=1 … perform read operation; … Ssignal(L,1); until false; end writer:begin repeat Swait(mx,1,1; L,RN,0); //既无写者进程在写，又无读者进程在读时，才允许写进程进入临界区 perform write operation; Ssignal(mx,1); until false; end parend end 练习题 三个进程P1、P2、P3互斥使用一个包含N(N0)个单元的缓冲区。P1每次用put()将一个正整数送入缓冲区的一个单元中，P2每次用getodd()从缓冲区中取出一个奇数，P3每次用geteven()从缓冲区中取出一个偶数。试用信号量机制实现这三个进程的互斥与同步活动，用伪代码实现。 Semaphore empty=N,mutex=1,s1=s2=0; p1(){ ???p(empty);? ?? ?? ???p(mutex);? ?? ?? ???put(); ? ?? ?? ????if(是奇数) then v(s1); else v(s2) ; v(mutex); }p2(){? ?? ?? ???p(s1);? ?? ?? ???p(mutex);? ?? ?? ?? ?getodd();? ?? ?? ???v(mutex);? ?? ?? ???v(empty); }p3(){? ???p(s2);? ?? ?? ???p(mutex);? ?? ?? ??geteven();? ?? ?? ???v(mutex);? ?? ?? ???v(empty); } 复习 为什么需要进程同步？ 哪些进程需要同步？ 进程同步的两种解决方法 什么是临界资源和临界区？ 信号量的物理意义？ 信号量有哪些应用？ 并发进程的同步问题（包括资源共享和进程之间的合作），是多道环境下操作系统必须解决重要问题。否则，将会造成计算错误、资源不能共享、系统混乱等严重错误发生。 本节将研究几个典型的进程同步问题。 2.4 经典进程的同步问题 进程同步机制应遵循的准则(掌握) 空闲让进 忙则等待 有限等待 让权等待 几种不同类型的信号量 1、整型信号量 （最早期的信号量实现） 定义一个整型变量S； 当S0时，表示某类可用资源数目，即表示还有S个资源空闲可供共享使用； 当S＜0时，其绝对值表示信号量S所代表资源的阻塞队列中的进程数，即系统中因请求该类资源而被阻塞的进程数目。 信号量S的值除初始化（为资源数目）外，其值只能通过原语wait和signal，也称P、V操作来改变。 整型信号量的P、V操作描述 wait和signal操作原语为： wait(S): while S≤0 do no-op ； S∶=S-1; signal(S): S∶=S+1; 解释：P或wait操作：当S≤0时，说明无资源可用，一直测试直到其他进程释放该类资源。 V或signal操作：使用完资源时释放该资源，简单地将资源数目加一即可。并不需要唤醒等待该资源的进程（为什么）。 2. 记录型信号量 整型信号量机制中的wait操作，只要信号量S≤0， 就会不断地测试,系统处于空转状态。因此，该机制并未遵循“让权等待”的准则， 而是使进程处于“忙等”的状态。 记录型信号量机制，采用“让权等待”策略，必然出现多个进程等待访问同一临界资源的情况。为此，信号量设置除需要一个用于代表资源数目的整型变量value外，还应增加一个进程链表L，用于链接等待资源的进程队列。 2. 记录型信号量的定义 type semaphore=record