(并发性互丝斥和同步)86.ppt

CHAPTER 5Concurrency：Mutual Exclusion and Synchronization（并发性：互斥和同步）;Concurrency（并发性）;Concurrency;5.1 PRINCIPLES OF NCURRENCY (并发的原理);A Simple Example;A Simple Example;Operating System Concerns（操作系统关注的问题）;Process Interaction;表5．1进程的交互 ;Competition Among Processes for Resources;Competition Among Processes for Resources;Competition Among Processes for Resources;Mutual Exclusion Mechanism互斥机制;Cooperation Among Processes by Sharing（进程间由于共享合作）;Cooperation Among Processes by Communication （进程间由于通信的合作） ;Requirements for Mutual Exclusion（互斥的要求）;Requirements for Mutual Exclusion （互斥的要求）;Requirements for Mutual Exclusion （互斥的要求）;Approaches of Mutual Exclusion （互斥的方法） ;5.2 Software Approaches;Dekker’s Algorithm :First Attempt;Dekker’s Algorithm :;小黑版指示P1可进;var turn:0..1; {共享的全局变量} PROCESS 0 PROCESS 1 … … while turn≠0 do {nothing}; while turn ≠ 1 do {nothing}; critical section; critical section turn:=1; turn:=0; … … 解析 保证了互斥，但存在问题：进程“忙等”进入临界区；若黑板标志修改失败，其他进程永久阻塞;Dekker’s Algorithm ;图5.3 每个人有一个自己的小屋 （P199） 每个人只能检查，但不能修改其他人的黑板标志 若某人申请进入临界区，首先检查对方黑板是否为“false” 是，修改自己小屋黑板值为“true”，进入临界区执行，完毕，恢复黑板值为“false” 否，反复进入小屋，检查黑板标志，直到标志是“false”;;var flag : array [0..1] of boolean :false ; {共享全局变量} PROCESS 0 PROCESS 1 … … while flag[1] while flag[0] do {nothing}; do {nothing}; flag[0]:=true; flag[1]:=true; critical section; critical section flag[0]:=false; flag[1]:=false; … …;若进程执行完临界区，恢复自己标志为“false”失败，则其他进程永久阻塞。 This method does not guarantee mutual exclusion 分析以下执行顺序： P0：当flag[1]=false; 执行while