北航研究生课程程序语言设计原理教程第13章.pptVIP

第13章 程序的并发性和进程交互原语 * * 13.1 基本概念 程序与进程 一个程序的一次执行叫做一个进程(process) 就绪ready 可执行代码装入内存立即可运行 运行running 执行进程 阻塞blocked 停止本进程执行, 随时可恢复执行 终止terminated 停止, 且不可恢复执行 激活：创建一个进程并使之进入就绪或立即运行状态 触发：使就绪或阻塞状态转入运行态 中断：使运行的进程转入阻塞或终止态 原语：程序语言中定义的例程名 线程：创建子进程不另分配资源 子进程：一个进程执行中再次创建的进程 线程与进程计算模式及分类 线程是共享资源的轻量级进程（lightweight process）,它也有线程执行状态，也有其静态存储和局部变量。 MS-DOS Java UNIX Windows NT Solaris Mach OS/2 原子动作 原子动作是一次“立即”执行完的“顺序”动作。至于是否真正不再分就不一定了。原子动作一般定义在语句级的事件(event)上 事件是本程序表示的状态有了变化 例： PL/1的多任务 PL/1的并发进程是任务TASK, 它可以定义语句级的事件。 P是一个进程, 它并行执行Q进程, 则P进程的正文可以写: DECLARE X EVENT : CALL Q(APT) TASK (X) //激活Q 进程交互 (1) 独立进程 两进程并行但不相关 设进程为事件序列, 若有C,K两并行进程, 可表达为C‖K.其中: C={C1, C2…Cn} K={K1,K2,…Km} 独立进程是两进程内任何事件Ci, Kj的执行都不依赖对方 (2) 竞争进程 两进程竞争同一资源 临界段(Critical section)：据有并加工资源的代码段 竞争进程一般形式是: C : loop K : loop 入口协议 入口协议 临界段 临界段 出口协议 出口协议 非临界段 非临界段 end loop end loop 入口协议一般是按所设共享变量判断能否进入,出口协议则改置 正确值.为确保进程的确定性,利用共享变量“通信”协调 (3) 通信进程 两进程有协议的信息交换 设C,K定义如前, Ci必须先于Kj(Kj要用到Ci的结果)的执行, 即其它事件先后无所谓, 一定要保证Ci, Kj的执行顺序. 同步(synchronous)通信 指两进程进度各不相同, 但必须同步到达通信点.若一方未到,另一方等待,直至完成信息交换.交换后各自执行各自进程则为单向同步通信.如果交换后,发送方一直等待接受方执行的结果,拿回结果后再各自执行自己的进程为双向同步通信。 异步(asynchronous)通信 一般要借助相当大的邮箱.两进程以各自速度执行,发送方有了信息投入邮箱,并继续执行自己进程.接受方在认为合适时从邮箱获取信息.一般不竞争邮箱且为单向通信, 当然也可做成双向的。 定向/广播式通信 所谓定向是发送方指明接受方.而广播式通信发送方只向公共信道发送信息,任何共享该信道的成员均可接受, 所以是异步通信、单向的. 13.2 并发程序带来的问题 (1) 速度依赖 并发程序执行结果,取决于顺序成分进程执行的相对速度.对于并发且有实时(real time)要求的程序,执行结果还取决于绝对速度. 并发程序调整相对速度的办法是延迟快进程.把进程挂起来(进入悬置态)待到指定条件满足才唤醒该进程.其基本原语是: await表达式 do 语句｜进程 (2) 输入值依赖 同一并发程序两组数据输入可能会有很大差别 (3) 不确定性 顺序程序两次同样值的测试,一般情况下都是一致的.即所说的再现.并发程序因上述原因往往没有确定的结果值.对于有副作用的函数或表达式这种先后次序的差异影响则更大 (4) 死锁（deadlock）是一种状态,由于进程对资源有互不相兼容的要求而使进程无法进展.表现为: 受到排斥 进程永远访问不到所需资源 循环等待 进程资源分配链形成一封闭回路 无占先(no preemption