物联网教材环境下大规模设备协同.pptVIP

谢 谢 Sagas模型：面向长事务 ，一个 Sagas 由预先定义好执行顺序的子事务集合和对应的补偿子事务集合组成，若其中某个子事务 失败,Sagas将通过逆序执行补偿子事务来撤销该子事务和之前提交的全部子事务的操作结果 在目前出现的多个具代表性的事务工作流研究项目和原型系统中（包括 ConTracts， FlowMark , WAMO , METEOR , OPERAP，WISE,WIDEP CrossFlow 等这些项目与原型系统）通常基于 Sagas模型与Flexible 模型 Sagas没能普遍应用于大型网络环境中（物联网），因存在以下的缺陷: Sagas模型强制要求每个子事务有对应的补偿事务,而在复杂的大型网络环境中, 不存在补偿事务的子事务十分普遍; 当一个子事务失败时,必须回滚之前的所有子事务,这个要求对于大型网络环境而言过于严格和低效; 2.4.事务处理模型研究现状 2. 国内外研究现状 2.国内外研究现状 事务协调协议研究现状 事务处理技术的发展 事务处理模型研究现状 事务补偿研究现状 补偿的概念首先是由Garcia Molina于 1987 年提出 补偿定义为：根据语义有选择的撤销部分事务性操作，从而使系统又恢复到一致的状态下，避免具有级联依赖的事务活动全部中止。 补偿最早应用在 Sagas模型中 Sagas中长事务中每个子事务都被提供一个属于它自己的补偿块，如果发生失效,失败的那个子事务按照常规的方法进行回滚,Sagas按照子事务被提交的逆序调用对应的补偿块。 早期的扩展事务模型在事务补偿方面达成的共识是：事务可以尽早提交，如果事务失败，可以通过执行补偿操作来消除已执行服务的影响。这些补偿机制未对事务执行的运行状态进行评估,很可能产生子事务刚提交就要被补偿的情况,导致不必要的开销. 2.4. 事务补偿研究现状 随着网络技术的发展，研究者们发现在如今的大规模网络环境中，设计并测试正确的补偿事务将使技术人员面临极大的困难，部分事务操作不存在补偿操作，完全的补偿机制不是事务处理的最佳解决方法。因此，许多研究开始围绕事务前的协商和资源预定环节展开，希望通过良好的“事务前”准备工作，最大程度地避免补偿操作的执行。 以THP为代表的重大革新,通过一种尝试性的、非阻塞的方式预定事务资源,通过由传统的资源完全锁定方式转变为共享锁定方式,放松对隔离性的要求，从而将补偿的可能性大大降低。 这种资源的准占用模式虽然可以在一定程度上降低补偿活动的数目,但是仍未考虑补偿活动本身的代价，不适用于具有高动态性，大规模网络的物联网环境 2.4. 事务补偿研究现状 3. 若干研究问题与关键技术 3.若干研究问题与关键技术 采用的关键技术与方法 若干研究问题 针对物联网设备协同系统中事务参与者的分布，异构性，需要统一的数据存取与访问规范对流通中的数据进行管理 为事务处理系统设计统一的数据访问中间件平台 针对物联网设备协同系统中设备自治，业务事务协同交互频繁且高度动态的情况，需舍弃独占性的，静态的资源调度方式 放松事务的隔离属性，在事务协调阶段引入有动态协商思想的事务协议，实时优化资源分配，提高效率 针对物联网设备协同系统长事务较多，且业务事务协同交互频繁的情况，需要能有效处理长事务的事务模型 放松事务的原子属性，采用分级的原子性完成事务目标 针对物联网设备协同系统基于业务逻辑的事务操作多，设计补偿事务复杂或无补偿操作的问题， 需要能有效减少补偿操作代价的事务补偿机制 通过确立最合适的事务提交时间来减少补偿操作数目，从而减少补偿代价 1.4. 需解决的关键问题 拟在为物联网设备协同系统提供相适应的事务支持，在分析物联网事务环境特点的基础上，1.通过统一的数据访问平台规范整合物联网设备协同系统的流通数据；将事务处理分为两个阶段，2.在事务协调阶段引入协商思想，设计一种针对物联网环境的事务协调协议，优化资源配置；3.在事务执行阶段，定义一种具有放松的原子性和隔离性的事务模型，使之能够有效处理协同流程事务；4.在事务补偿问题上，提出一种能够有效减少补偿操作，提高系统运行效率的事务补偿机制 3.1. 主要研究方法 设备 服务器 人工服务 其他数据 1.数据统一访问平台 3.事务模型定义 4.事务补偿机制 2.事务协调协议 3.事件处理协议 事务管理系统 3. 若干研究问题与关键技术 3.若干研究问题与关键技术 采用的关键技术与方法 若干研究问题 根据面向物联网的设备协同系统环境下的事务的特点，拟采取的事务ACID属性： 满足用户要求的原子性 可恢复的一致性 分阶段的隔离性 必须保持的持久性 3.2. 采用的关键技术与方法 传统的原子性要求事务的每一个操作必须全部成功或者完全取消，不允许部分事务成功。这种约束在物联网事务中