第4讲 并发控制.ppt

吉林建筑工程学院城建学院The City College Of JiLin Architectural And Civil Engineering Institute Department of Computer Science Technology 第四章 并发控制 目的与要求：了解并行程序的高级语言表示与操作系统支持下的实现；了解同步与互斥问题。理解互斥问题的硬件实现方法；掌握信号量机制及使用它解决进程同步互斥问题的方法。掌握信号量解决进程同步互斥问题的方法；掌握进程通信的基本实现方法。了解死锁的定义，掌握死锁预防，了解死锁避免，死锁检测，死锁恢复的方法。 重点与难点：并行程序中的同步与互斥，信号量实现及使用。信号量的典型应用，通讯实现。死锁预防法则的使用，死锁避免和检测算法。 作业：1，2，3，4，6，11，13，14，15，21，23，28，31 4.1 并发进程 4.1.1 顺序程序及其特性 顺序性 内部顺序性： 如： P1 : a=x+y;b=a-z;c=a+b;d=c+5; 外部顺序性： 输入，计算，打印 特性 连续性：一个程序的指令连续执行 封闭性：P独占全部资料，不受外界影响 可再现性：执行结果只与初始条件有关 4.1 并发进程 4.1.2 并发程序及其特性 并发性 内部并发性： 如：a=x+2;b=y+4;c=a+b;d=c-6;e=c+6; 外部并发性： 如：程序1计算，程序2输入，程序3输出 特性 间断性：多个程序交叉执行 非封闭性：进程相互影响 不可再现性：交叉是随机的 4.2 同步与互斥 4.2.1 进程互斥 互斥关系（亦称间接制约关系） 即进程间因相互竞争使用独占型资源（互斥资源）所产生的制约关系。 4.2.1.1 共享变量与临界区域 共享变量（shared variable） 多个进程都需要访问的变量。 临界段（区）（critical section) 各进程必须互斥执行的程序段。 临界资源(critical resource) 一次仅允许一个进程使用的资源 如：独占型硬件资源，共享变量 4.2.1.2 进程互斥的硬件实现 boolean lock=false; Pi进入: While (test_and_set(lock)); /*lock=true*/ 临界区 Pi离开：lock=false; 4.2.1.2进程互斥的硬件实现 4.2.2 进程同步 4.2.2 进程同步 同步关系（亦称直接制约关系） 指完成同一任务的伙伴进程间，因需要在某些位置上协调它们的工作而等待、传递信息所产生的制约关系。 例1：两个进程P1和P2，其中， 进程P1依次运行S1，S2，S4，S5，S7子任务， 进程P2依次运行S3，S6子任务。 4.2.3 信号量 信号量机构的组成：“信号量”、“P、V操作”。 信号量S：一整型变量，只能被两个原语访问。 P操作(原语)： P(S){ While （S≤0） ；空操作 S = S-1 ； } V操作(原语)：V(S){ S = S＋1；} P、V操作是两条原语，即保证P、V操作对变量S的访问是互斥操作。 一. 原语概念与实现 原语定义：指完成某种功能且不被分割或不被中断执行的操作序列。 原语可通过硬件实现不可中断性；或通过实现临界段的元方法达到不被中断。 实现临界段的元方法: 屏蔽中断(只用于单机) 利用“test-and-set”指令 下面我们用屏蔽中断方法实现P（s）和V（s）的原子性。 P（s） V（s） { { disableInterrupt(); disableInterrupt(); while （s≤0）{ enableInterrupt(); disableInterrupt(); }； s = s - 1； s = s +1； enableInterrupt(); enableInterrupt(); }