南华大学计算机科学与技术学院分布式计算课件第四章 并发计算.ppt

第四章 并发计算 * 信件行为 信件内容 解释 INFORM 命题 告知所给定的命题为真 QUERY_IF 命题 询问是否所给定的命题为真 QUERY_REF 表达式 询问某个给定对象的指引元 PROPOSE 建议 给出一项建议 ACCEPT_PROPOSAL 建议标识符 告知所给出的建议已被接受 REJECT_PROPOSAL 建议标识符 REQUEST 动作说明 请求按说明采取动作 CFP 建议说明 请求提供一项建议 SUBSCRIBE 资源引用 预定某个信息资源 FIPA ACL几种典型的行为和内容定义 第四章 并发计算 * 信件元素 元素类型 行为(performative) 动作类型 发送者(sender) 通信参与者 接收者(receiver) 通信参与者 回应送达者(reply-to) 通信参与者 内容(content) 信件内容 语言(language) 内容描述 编码(encoding) 内容描述 本体(ontology) 内容描述 协议(protocol) 会话控制 会话标识(conversation-id) 会话控制 回应索引(reply-with) 会话控制 索引式回应(in-reply-to) 会话控制 回应定时(reply-by) 会话控制 FIPA ACL信件元素定义 第四章 并发计算 * 行为 INFORM 发送者 B 接收者 A 语言 Prolog 内容 true 行为 QUERY_IF 发送者 A 接收者 B 语言 Prolog 内容 greater(classroom_201, classroom_203 ) 软件代理利用FIPA ACL通信的例子 第四章 并发计算 * 一个程序可以是一个网页、一个脚本、一个Java APPLET、一个进程、或者是一个软件代理。因此，一个程序可能会含有四种成分： (1) 代码：可以被运行环境执行的一组语句或指令。大致上，代码可以被分成三类：一，源代码(source code)，即没有经过任何加工处理的源语言代码，其运行环境一般是该语言的解释系统；二，字节代码(bytecode)，即源代码通过翻译所形成的中间代码，其运行环境一般是该语言的虚机器；三，二进代码(binary code), 即源代码通过编译系统产生的二进制机器指令，其运行环境是某类特定的计算机。 程序迁移（1） 第四章 并发计算 * (2) 数据：代码所操作的一组对象。程序尚未执行时的数据称为初始数据，而运行期间的数据称为中间数据。当我们不需要强调执行状态时则泛称数据。 (3) 资源：程序运行时所需要使用的一组外部软硬设备，如打印机、磁盘、文件、数据库、URL、通信端口、等等。 (4) 执行状态：程序迁移发生时对运行环境的快照(snapshot)，包括程序计数器、通用寄存器、栈指针、栈中内容、等等。如果在迁移时程序尚未开始执行，则其执行状态只是该程序的启动入口。 程序迁移（2） 第四章 并发计算 * 迁移模型 迁移对象 迁移后执行方式 原始迁移 代码、初始数据 系统从起点开始执行 弱迁移 代码、中间数据 系统从起点开始执行，而用户程序 需要通过判别转移回到继续点执行 强迁移 代码、中间数据、 执行状态 系统自动从继续点执行 三种常用的程序迁移技术 第四章 并发计算 * 强迁移和弱迁移程序示意 强迁移示意： move_to(A); (从继续点恢复) 继续点 弱迁移示意： (从头开始/恢复) if (not moved){ moved = true; move_to(A); } else{ 继续点 } 第四章 并发计算 * 另一种程序迁移分类方法以程序移动的方向为标准，即程序被“请进来”还是“走出去”。 如果把一段程序送出去，则称为发送者引发(sender-initiated)的程序迁移； 反之，如果把一段程序请进来，则称为接收者引发(receiver-initiated)的程序迁移。有的文献将接收者引发的程序迁移称为按需调入代码(code on demand)。 结合我们前面讨论的三种程序迁移技术:由发送者引发的程序迁移囊括原始、弱、以及强迁移三种技术，而由接收者引发的程序迁移一般只涉及原始迁移技术。 程序迁移（3） 第四章 并发计算 * 客户 软件代理 (代码+数据) 移动代理 服务器 1 服务器 3 服务器 2 移动代理迁移 第四章 并发计算 * 典型的移动代理系统 Tacoma