2章 分布式程序设计语言.pptVIP

第2章 分布式程序设计语言 分布式程序设计语言 为什么需要分布式程序设计语言？ 传统顺序程序设计语言（如：Fortran、Pascal或C等）不能解决诸如并发、通信、同步和可靠性等分布式环境下需要解决的问题，因此不适合于分布式系统。 并行程序设计语言不一定能在分布式系统中使用，因为它没有考虑通信开销。 分布式程序设计语言较传统顺序程序设计语言更注重（显式）表达如下3个方面的需求： 多个PE的使用；（并发） PE之间的合作；（通信和同步） 对局部故障的生存能力。（故障弱化） 分布式程序设计语言 分布式控制描述语言（DCDL） 本章主要介绍一种称为分布式控制描述语言的DCDL，它是一种框架控制驱动的描述语言。 DCDL可用于描述一些控制结构，如：并行的表示、进程间通信和同步、容错设计等。 DCDL表示的控制算法是在抽象层上提出的，可以应用于操作系统层、语言运行时（run-time）系统层或用户层。 DCDL有形式定义（书中附录给出了DCDL常用的语法符号列表），我们主要通过一些实例来阐述它的语义结构。 分布式程序设计语言 DCDL语义结构中用到的一些表示方法： 语句和命令 语句：Si（1?i?n） 它可以是一个命令列表C或一个Dijkstra保护命令。 命令列表：C 由一系列命令组成。 Dijkstra(被)保护命令（guarded command）：G?C 其中G是一个布尔表达式列表组成的保护(guarded)，C是一个命令列表。当保护G执行结果为true时，执行命令列表C。（即满足条件G时，执行C） 分布式程序设计语言 优先图（precedence graph） 优先图是一个有向无环图（DAG, Directed Acyclic Graph），即不带环路的有向图。 节点代表语句（可以为空），有向边代表优先关系。如： 分布式程序设计语言 优先顺序是可传递的（transitive）。即： 若 ，则 。 但优先图中不允许存在冗余的连接，如上页图中，若有 ，就是冗余连接。 （冗余连接的优先顺序可以从其它优先顺序导出） 不存在冗余连接的优先图是保持所有优先关系的最简化的优先图！ 即：一个优先顺序集合R是非冗余的当且仅当不存在R的子集使得它们有相同的传递闭包。 分布式程序设计语言 顺序语句（Sequence Statement） 顺序执行的语句：S1、S2、 …、Sn 优先图： DCDL表示： S1;S2; … ;Sn 分布式程序设计语言 并行语句（Parallel Statement） 并行执行的语句：S1、S2、…、Sn 优先图： DCDL表示：[S1||S2|| … ||Sn] 分布式程序设计语言 例：一个优先图用顺序语句和并行语句表示 优先图： 其DCDL表示：S1; [[S2; [S3||S4]; S5; S6]||S7]; S8 分布式程序设计语言 以DCDL的复合语句（由顺序或/和并行语句组成）描述的语句一定可以用一个优先图来表示，但并不是所有优先图都可以用DCDL来表示。如优先图： 就不能用DCDL复合语句来表示。 解决的办法可以通过下面三种。 分布式程序设计语言 解决办法一：更具限制性优先图 将给定的优先图G转化为更具限制性的新优先图G’，G’中保留了G所有的优先顺序，但可能又加上了新的优先顺序（可能会失去一定程度的并行性）。 如上图中，断开S1到S2、S3到S5的连接，加入S3到S2的连接后，其更具限制性的优先图为： 则可用DCDL描述，为：S1; S3; S2; [S4||S5]; S6 分布式程序设计语言 解决办法二：使用fork/join语句 用fork/join语句这样一个更有效的结构来描述： 分布式程序设计语言 解决办法三：使用信号量 用parbegin/parend（或cobegin/coend）加上二元信号量s来解决。 对信号量s可进行P、V操作： P(s): 若s为0，则挂起; s:=s-1 V(s): s:=s+1 如例图，对每个有优先顺序关系的语句 定义一个二元信号量sij，初始值为0；每个语句变成复合语句或进程： S(1): S1; V(s12); V(s13) S(2): P(s12); S2; V(s24); V(s25) S(3): P(s13); S3; V(s35) S(4): P(s24); S4; V(s46) S(5): P(s25); P(s35); S5; V(s56) S