[工学]操作系统讲稿ch4.ppt

Ch4 多道程序设计基础——并行程序设计 并行程序设计 进程间的同步和互斥 同步和互斥的执行工具 同步机构在实际程序设计中的应用 进程通信 *管程 *Windows NT中的同步和互斥机制 4.1 顺序程序设计和 并行程序设计 传统程序设计方法: 顺序程序设计 顺序处理：操作系统的出发点. 人的思考: 分析,分解,解决 计算机工作:cpu执行指令, 主存访问,外设传递数据 OS理论的基础:相继地一次处理一个事件 顺序处理模式：数据输入,处理,输出 I1 C1 O1 I2 C2 O2 顺序处理特点： 程序的顺序性，程序环境的封闭性，程序结果的确定性，计算的可再现性。 多道程序环境程序设计方法 并行程序设计 并行性概念 并行操作技术 : 多种硬件设备能实现并行操作 通道技术 中断技术 多道程序OS : 软件实现并行运行 多机系统：同时执行多个不同的程序段（进程） 单机系统：各进程间宏观上或逻辑上的并行运行 不同作业间并行运行；同一作业不同部分间也可以并行执行（用户指明其作业并行和串行部分）。 并行程序设计：考虑各种并行性。 程序并行性的表示之一：有向图 程序并行性的表示之二：并行语言 并行语言：并行PASCAL，CSP/K语言， MODULA语言，扩充的Ada等 并行语句记号： COBEGIN S1; S2; … ; Sn; /*并行执行 COEND 可嵌套 Si: 简单语句，复合语句，并行语句。 编译程序为每个并行语句Si设置一个进程。 程序并行性表示举例 算数表达式求值: (a-b)*(c-d)+(e/f)**2 并行程序设计的特点 并行程序设计的根本特点:并行性,共享性 4.2 进程间的同步与互斥 进程间的关系 多道程序系统的特征: 并行性，制约性，动态性 进程间的相互制约关系: 同步关系 （直接制约）: 多个进程共同完成一个任务,它们之间必须协同动作, 互相配合,相互交换信息--进程通信 互斥关系 （间接制约）: 多个进程共享资源，互斥资源的使用具有排它性，因此进程间往往需要互相竞争，以使用这些互斥的资源。也可看成一种特殊的同步关系! 重点讨论互斥问题 临界段(Critical Section)问题 当两个以上进程共享某个变量时，一次只能允许一个进程对共享变量进行写操作（即互斥地对共享变量进行访问）. 如进程 Pi:...；x:=x+1;... （i=1,2） 处理机C1上执行进程P1,有内部通用寄存器R1; 处理机C2上执行进程P2,有内部通用寄存器R2. 该赋值语句由三个机器内部动作组成: R:=x; R:=R+1; x:=R; P1:…;R1:=x; R1:=R1+1; x:=R1;… P2:…; R2:=x; R2:=R2+1; x:=R2;… P1:…;R1:=x; R1:=R1+1; x:=R1;… P2:…; R2:=x;R2:=R2+1;x:=R2;… t 临界段设计原则 临界段：进程中访问共享变量的代码段。 临界资源：允许多个进程共享使用的资源。 访问同一临界资源的各临界段分散在各有关进程的程序中。 临界段设计原则： 每次至多只允许一个进程处于临界段之中； 若有多个进程同时要求进入它们的临界段时，应在有限时间内让其中之一进入临界段,而不应相互阻塞，以至于各进程都无法进入临界段； 进程只应在临界段内逗留有限时间。 实现方法: 软件方法（复杂,局限性大）; 硬件指令（简单实用,使用广泛）; 信号量（P,V操作） *实现互斥的软件方法 两个并行进程P0,P1互斥共享单个资源. i, j : 取值为0,1. 即i=0时, j=1; i=1时 j=0. 五种尝试 软件解决方法一:进程标志位 var flag:array[0..1] of boolean; Pi:begin repeat while flag[j] do skip; flag[i]:=true; 进程Pi的临界段代码CSi; flag[i]:=false; 进程Pi的其它代码; forever end flag[i]= true 进程i在临界段中执行； flag[i]= false 进程i不在临界段中执行。 问题:当两个进程的标志位初值均为false时,则都进入—违背原则一! 软件解决方法二:临界段进程指针 var turn:0..1; Pi:begin repeat