1第二章分布式程序设计语言分布式程序设计的特点• 多个PE的使用－对并行性的支持–并行单元：进程、对象、语句、子句• PE之间的合作－对通信与同步的支持– 单播/组播– 同步（直接通信）/异步（间接通信，如会合）– 对称（双向通信）/非对称（单向通信，如数据采集）– 自动缓冲/显式缓冲– 隐式接收（匿名）/显式接收• 对局部故障的生存能力－对容错的支持– 程序设计容错– 通信容错－路由控制DCDL：分布式控制描述语言• 处理的基本元素是语句• 能以语言的方式完成对并发、进程间通信与同步和容错这3个基本功能的无二义的表达能力DCDL的基本符号DCDL的顺序和并行语句• 顺序语句– 语法：S1；S2；… … Sn– 语义：顺序执行S1、S2… … Sn这n个语句• 并行语句– 语法：[S1||S2||… … ||Sn]– 语义：并发执行S1、S2… … Sn这n个语句• 复合语句：[S1；S2；… … Sn ]执行优先图• 用途：支持对并发的设计• 定义：用于描述语句间执行优先关系的不带环路的有向图，图中的点代表语句，边代表语句间的优先关系• 优先关系– 直接优先关系：语句A、B间存在直接优先关系当且仅当执行优先图中存在边（A，B）– 间接优先关系：经直接优先关系传递的语句间的优先关系2执行优先图(续）• 如果一个执行优先图由几个不连通的子图构成，则这些子图是可以并行的且每张子图均是执行优先图– 由一个单个结点构成的图也是执行优先图• 起点：执行优先图中入度为零的结点• 终点：执行优先图中出度为零的结点• 连通的执行优先图中的每一点均是从起点可达的– 对有唯一的起点的执行优先图从起点可到达子图中所有的点• 如果从执行优先图的一个直接优先关系同时又满足间接优先关系（可从其它的优先关系导出），则该图是冗余的，否则就是非冗余的执行优先图及其DCDL表示• 语句执行的顺序性和并发性可以用执行优先图来表达• 在DCDL中右图可表示为:S1;[[S2;[S3 || S4];S5;S6] || S7];S8S1S2S3S4S5S7S6S8DCDL并行语句的局限• DCDL的基本结构是并行的串行表示，因此它不能表示一个并发依赖于另一个并发的情形– S4 || S5依赖于S2 || S3S1S2S4S5S6S3执行优先图与DCDL的并行语句• 定理2.1 在一张执行优先图中任取2个结点A和B，除去A的所有离开弧和B的所有到达弧，如果可以产生多于一个互不相连且不包含A和B的子图，则这些子图是并发的且可以用一个DCDL的并行语句表示。• 推论：一张执行优先图中满...
