操作系统 第3章试题.pptVIP

第三章 进程的同步与通信;进程同步的任务： 使并发执行的诸进程之间能有效地共享资源和相互合作， 从而使程序的执行具有可再现性。;多道程序环境下，诸进程之间的关系： ;3.1 进程同步的基本概念;临界资源：一段时间内只允许一个进程访问的资源。 要求：共享临界资源的诸进程必须互斥访问临界资源。 原因： 例：生产者--消费者问题（P62） ; 生产者 counter:=counter+1;----CS ? 1 register1:=counter; 2 register1:= register1+1; 3 counter:= register1;;结论： counter是临界资源，生产者和消费者应互斥访问。 即：虽然生产者、消费者并发执行，但在执行counter的 加1、减1的语句时，只能顺序进行。 即：只能按可能性中A或B的顺序进行，绝不能交替进行。 临界资源实例： 硬件中的打印机、磁带机等，软件中的变量、队列、缓 冲区等。 ;临界区（CS）：每个进程中访问临界资源的那段代码。 要求：为实现对临界资源的互斥访问，应保证诸进程互斥进入各自 的临界区。（两个互斥是一致的） 模型： 准则：1.空闲让进 2.忙则等待 3.有限等待 4.让权等待 ;问题描述： 两个进程P0和P1，共享一个临界资源R。 算法1 （turn=j，表示允许进程Pj进入临界区） ;算法2 var flag:array[0..1] of boolean; （flag[i]=true，Pi在临界区）;算法3 var flag:array[0..1] of boolean;;算法4;缺点： 四种算法全部属于“忙等待”方式。 现在已很少使用。;利用Test-and-Set指令 1.Test-and-Set 指令 function TS(var. lock:boolean):boolean begin TS:=lock; lock:=true; end;2. 利用TS指令实现进程互斥的模型 repeat while TS(lock) do skip;----进入区 critical section; --------临界区 lock:=false; -----------------退出区 remainder section until false; 思路： false 可以进入CS a)每个临界资源?一个lock（初值=false） true 不能进入CS b)在进入区测试是否 不能 (lock=true):忙等待 可以进入临界区CS 可以 (lock=false)?进入CS执???退出CS;硬件指令的缺点： 1.虽可有效实现互斥，但属于“忙等待”方式，违背了 “让权等待”原则。 2.很难用它解决复杂的同步问题。;一、记录型信号量机制 二、AND型信号量集机制 1965年，荷兰科学家Dijkstra在THE系统上提出。 一个信号量S是一个整型量，除对其初始化外，它只能 由两个原子操作P和V来访问。 P和V的名称来源于荷兰文proberen（测试）和verhogen （增量），它们的执行具有不可中断性。 本书中将P、V操作称做 wait 和 signal 操作。;定义： ;实现进程互斥：;var mutex:semaphore:=1; begin parbegin process1:begin repeat P(mutex); count:=count+1; V(mutex); until false; end process2:begin