5、轻量级可靠对象迁移协议与安全移动计算框架综述

轻量级可靠对象迁移协议与安全移动计算框架综述

在当今的分布式计算领域，可靠的对象迁移协议和安全的移动计算框架至关重要。下面将为大家详细介绍相关的两个重要内容，包括轻量级可靠对象迁移协议和Seal安全移动计算框架。

轻量级可靠对象迁移协议

该协议旨在构建一个高效、可靠的对象迁移机制，同时保留集中式对象语义并能精确预测网络行为。

故障模型

• 网络故障模型 ：网络存在两种故障模式，即网络不活动和永久性站点故障。网络以异步和无序（非FIFO）的方式发送消息，到达的消息不会损坏。站点故障是瞬间且永久的，来自故障站点的传输中消息可能丢失，发往故障站点的消息总是丢失。网络不活动表现为站点间通信带宽突然下降，且能被快速检测到，网络最终会恢复活动，恢复后消息不会丢失。
• 状态指针故障模型 ：基于网络故障模型，可靠协议设计使得代理能够通知调用线程以下问题：
  • 永久无法执行状态更新（状态丢失）。
  • 永久无法移动状态指针（管理器故障），状态指针可能是本地的也可能不是。
  • 当前无法执行状态更新（网络不活动），若网络恢复活动，此问题可能消失。
  • 当前无法移动状态指针（网络不活动），若网络恢复活动，此问题可能消失。
  • Mozart系统可在运行时配置为同步或异步检测这些故障，并在遇到特定故障时引发异常或调用用户定义的过程。

可靠协议的逐步构建

从不可靠的前身逐步构