Efficient Dynamic Updates of Distributed Components Through Version Consistency
Efficient Dynamic Updates of Distributed Components Through Version Consistency
复制标题
DOI：
10.1109/tse.2016.2592913
复制
发表时间：
2017-04
影响因子：
7.4
通讯作者：
L. Baresi;C. Ghezzi;Xiaoxing Ma;V. Manna
中科院分区：
文献类型：
--
作者：
L. Baresi;C. Ghezzi;Xiaoxing Ma;V. Manna
现代基于构件的分布式软件系统越来越要求提供不间断的服务，因此其更新必须在运行时进行。不同的作者已经提出了安全管理动态更新的解决方案。我们的贡献旨在提高其效率而不影响安全性。我们提出了一个新的标准，称为版本一致性，它定义了动态更新时，可以安全和有效地应用到执行分布式事务的组件。版本一致性确保了分布式事务的服务，就好像它们是在系统的单个一致版本上操作的一样，尽管可能有并发更新。本文提出了一种有效的分布式版本一致性检查算法，并利用图转换系统对算法进行了形式化描述，最后通过模型检查验证了算法的正确性。本文还介绍了ConUp，一个新的原型框架，支持的方法，并提供了一个可行的，具体的解决方案，使用版本一致性。该方法和ConUp都在一个重要的第三方应用程序上进行了评估。所取得的成果证明了拟议解决方案在及时性和中断方面的好处。
Modern component-based distributed software systems are increasingly required to offer non-stop service and thus their updates must be carried out at runtime. Different authors have already proposed solutions for the safe management of dynamic updates. Our contribution aims at improving their efficiency without compromising safety. We propose a new criterion, called version consistency, which defines when a dynamic update can be safely and efficiently applied to the components that execute distributed transactions. Version consistency ensures that distributed transactions be served as if they were operated on a single coherent version of the system despite possible concurrent updates. The paper presents a distributed algorithm for checking version consistency efficiently, formalizes the proposed approach by means of a graph transformation system, and verifies its correctness through model checking. The paper also presents ConUp, a novel prototype framework that supports the approach and offers a viable, concrete solution for the use of version consistency. Both the approach and ConUp are evaluated on a significant third-party application. Obtained results witness the benefits of the proposed solution with respect to both timeliness and disruption.