分布式程序设计的特点.PDF

分布式程序设计的特点 • 多个PE的使用－对并行性的支持 – 并行单元：进程、对象、语句、子句 • PE之间的合作－对通信与同步的支持 – 单播/组播 第二章 分布式程序设计语言 – 同步（直接通信）/异步（间接通信，如会合） – 对称（双向通信）/非对称（单向通信，如数据采集） – 自动缓冲/显式缓冲 – 隐式接收（匿名）/显式接收 • 对局部故障的生存能力－对容错的支持 – 程序设计容错 – 通信容错－路由控制 DCDL：分布式控制描述语言 DCDL的基本符号 • 处理的基本元素是语句 • 能以语言的方式完成对并发、进程间通信 与同步和容错这3个基本功能的无二义的表 达能力 DCDL的顺序和并行语句 执行优先图 • 顺序语句 • 用途：支持对并发的设计 – 语法：S ；S ；……S • 定义：用于描述语句间执行优先关系的不 1 2 n – 语义：顺序执行S 、S ……S 这n个语句 带环路的有向图，图中的点代表语句，边 1 2 n 代表语句间的优先关系 • 并行语句 • 优先关系 – 语法：[S ||S ||……||S ] – 直接优先关系：语句A 、B间存在直接优先关系 1 2 n – 语义：并发执行S 、S ……S 这n个语句 当且仅当执行优先图中存在边（A ，B） 1 2 n – 间接优先关系：经直接优先关系传递的语句间 的优先关系 • 复合语句：[S ；S ；……S ] 1 2 n 1 执行优先图(续） 执行优先图及其DCDL表示 • 如果一个执行优先图由几个不连通的子图构成，则这 • 语句执行的顺序性和并发