第2章DCL描述语言.pptVIP

本章主要内容 DCDL语言常用符号 DCDL语言描述与执行优先图描述基本知识 DCDL与执行优先图之间的转换 DCDL描述顺序语句，选择语句和重复语句 DCDL编程实例 分布式程序设计的特点 多个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） 间接优先关系：经直接优先关系传递的语句间的优先关系 执行优先图（续） 起点：执行优先图中入度为零的结点 终点：执行优先图中出度为零的结点 如果一个执行优先图