计算机的操作系统许曰滨版第四章.pptx

第四章：并发控制计算机操作系统原理主要内容基本概念（同步、互斥） 软、硬件方法解决互斥问题信号量机制 信号量机制解决同步互斥问题管程进程通信进程死锁讨论 4.1 基本概念在多道程序运行环境中，一个进程的运行不是孤立的，例如下列存款例子进程之间的关联由于共享资源引起的错误void echo(){ chin = getchar(); chout = chin; putchar(chout);}P1和P2都在调用echo，p1输入一个字符后如果被中断，p2开始运行也会输入一个字符，那么p1的输入就被p2的输入覆盖掉了，导致p1的输入丢失。字符回显程序中问题出现在哪？4.1.1 临界资源和临界区临界资源（Critical Resources）：一种一次只能为一个进程服务的资源。临界区（Critical Section）：进程中访问临界资源的程序。每个使用该资源的进程都要包含一个临界区。操作系统在管理可控制资源分配与使用方面，应当保证进程对临界资源的访问满足以下3点：互斥访问要求不致于产生“死锁”?不能有“饥饿”进程4.1.2 互斥管理准则空闲让进忙则等待有限等待让权等待互斥与同步的关系互斥：当某个进程运行其中一个程序片段时，其它进程就不能运行它 们之中的任一程序片段，只能等到该进程运行完这个程序片段后才可以运行，例如卡车计数同步：进程的运行必须严格按照规定的 某种先后次序来运行，这种先后次序依赖于要完成的特定的任务，例如输入处理同步是一种更为复杂的互斥，而互斥是一种特殊的同步4.2 互斥的解决：软件方法- 数学领域中主要使用method- 计算机科学中method是一类algorithm的总称。- Method给出了解决问题的思路，algorithm是这类思路的实现，可以轻易的转化为伪代码来实现方法。软件方法是针对处理机或者共享内存的多处理机系统设计的方法主要包括Dekker方法和Peterson算法（方法和算法的区别何在？）Dekker Algorithm第一次尝试 算法中设计了一个变量turn保存允许进入临界区的进程编号（初值为1，表示进程1可以首先进入）。当一个进程要求进入临界区时，先检查turn的值。若turn保存的不是自己的进程编号就进行循环等待；否则进入临界区。访问完成后退出临界区，再将turn设置为对方的进程编号。第一次尝试算法如下：Process P (1)Process P (2)Beginbegin………… While (turn≠1) do skip; While (turn≠2) do skip; Critical section; Critical section; turn = 2; turn = 1;…… ……end. end.第二次尝试 算法中定义了一个标志数组flag[]。当flag[i]=true，表示进程i正在临界区。初始时Flag[]的各分量值皆为false，表示尚无进程进入。当一个进程要求进入临界区时，先检查是否有进程已进入。若有进程进入，就循环等待；否则，设置自己的标志为真，立即进入。访问完成后再将自己的标志设为假。第二次尝试算法如下：Process P (1) Process P (2)Begin begin…… ……While (Flag[2]) do skip; While (Flag[1]) do skip;Flag[1] = true; Flag[2] = true;Critical section; Critical section;Flag[1] = false; Flag[2] = false;…… ……end. end.第三次尝试在第二次尝试的基础上，将其中的两个语句顺序交换，形成了新的算法如下： Process P (1)Process P (2) Beginbegin ………… Flag[1] = true;Flag[2] = true; While (