[论文解读] A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications (Extended Abstract)

Alan Dearle, Graham Kirby+1 more|arXiv (Cornell University)|Jun 24, 2010

Advanced Software Engineering Methodologies参考文献 3被引用 20

一句话总结

本文提出了一种基于约束的框架，用于组件化分布式应用的部署及自主管理。该框架使用声明式约束语言指定部署目标，利用约束求解器生成满足条件的配置，并在目标不再满足时支持运行时重新配置，从而在动态环境中实现自愈与自适应能力。

ABSTRACT

We propose a framework for the deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over aspects such as component-host mappings and component interconnection topology. A constraint solver is used to find a configuration that satisfies the goal, and the configuration is deployed automatically. The deployed application is instrumented to allow subsequent autonomic management. If, during execution, the manager detects that the original goal is no longer being met, the satisfy/deploy process can be repeated automatically in order to generate a revised deployment that does meet the goal.

研究动机与目标

• 解决手动管理组件化分布式应用复杂且不断演化的部署所面临的挑战。
• 通过在组件部署位置和拓扑结构上形式化、声明式地定义约束，实现自动化部署。
• 通过检测目标违反情况并触发重新部署，支持运行时自适应。
• 将自主管理集成到部署生命周期中，以提高系统弹性与可维护性。

提出的方法

• 定义一种声明式约束语言，用于表达部署目标，包括组件-主机映射关系和互连拓扑结构。
• 利用约束求解器自动生成满足所有指定约束的配置。
• 自动化地将生成的配置部署到目标基础设施。
• 对已部署的应用进行监控，以检测其运行时行为与原始目标的偏差。
• 当检测到目标违反时，触发“重新满足并重新部署”流程，实现动态重新配置。
• 复用同一框架完成初始部署与运行时自适应，确保管理逻辑的一致性。

实验结果

研究问题

• RQ1 如何形式化地指定分布式应用的部署目标，以实现自动化配置？
• RQ2 在运行时执行过程中，哪些机制能够实现对部署目标违反的自动检测？
• RQ3 如何复用同一框架完成初始部署与运行时重新配置，以确保一致性？
• RQ4 约束求解在实现可扩展且正确的部署配置中起到什么作用？
• RQ5 如何将自主管理集成到部署生命周期中，以支持自愈行为？

主要发现

• 该框架成功实现了基于声明式约束语言的组件化分布式应用自动化部署。
• 约束求解能够无需人工干预地生成符合目标的有效配置。
• 运行时监控与重新配置使系统能够在环境变化导致目标违反时实现自适应。
• 复用相同的部署逻辑完成初始部署与运行时重新配置，确保了一致性并降低了复杂性。
• 该方法通过统一的、基于约束的模型，证明了在分布式系统中实现自主管理的可行性。