Component-level virtual machines: A paradigm for achieving controllability in cloud-deployed dynamic distributed systems

组件级虚拟机：在云部署的动态分布式系统中实现可控性的范例

• 批准号: 293243-2011
• 负责人: Neville, Stephen
• 金额: $ 1.02万
• 依托单位: University of Victoria
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=571419
• 关键词: Component; level; virtual; machines; paradigm

Component-based software engineering (CSBE) has become standard, e.g., Microsoft's COM, Sun's EJB, and CORBA CCM. Modern societies have become reliant on CSBE systems for core services across many diverse domains, e.g., entertainment and social networking, banking and finance, healthcare, eGovernment, and critical infrastructure. But, ensuring that real-world CSBE systems are robust to failure, meet their quality of service (QoS) guarantees, etc., has remained an open problem, in part due to the lack of predictability of server-level behaviours. Queuing theory provide abstracted models of CSBE system behaviours that tend to become suspect towards a system's performance, capacity, and fault boundaries and neglect system dynamics and transients. Cloud-deployed dynamic distributed systems (DDS) offers a paradigm to address some of these issues by enabling distributed systems that grow/shrink in real-time in response to workload demand. But, DDS introduce closed-loop control theory issues into software systems given DDS use feed back control loops, i.e., stability, transients, potential oscillatory behaviours, etc., all come into play. This research program will address the problem of controllability in cloud-deployed DDS systems through introducing component-level virtual machines (CVMs) as a pragmatic approach that wraps each CSBE component its own minimally scoped VM, with full CSBE systems then composed via CVM-to-CVM message passing. This places component behaviours into hard VM-enforced shells thereby allowing: a) CSBE system predictability, b) tractable control theory analyzes, c) a practical method for applying formal method constructs via CVM-enforced message policies, and d) potentially, significantly improving cloud resource utilization over their current 20% range, a core facet to improving carbon footprints within clouds. Overall, the research will significantly advance the state of the art in building at-scale software systems that meet QoS guarantees, in a manner that is usable by real-world programmers.

基于协同的软件工程（CSBE）已经成为标准，例如，Microsoft的COM、Sun的EJB和CORBA CCM。现代社会已经变得依赖于CSBE系统来提供跨许多不同领域的核心服务，例如，娱乐和社交网络、银行和金融、医疗保健、电子政务和关键基础设施。但是，确保现实世界的CSBE系统对故障是鲁棒的，满足其服务质量（QoS）保证等，仍然是一个悬而未决的问题，部分原因是服务器级行为缺乏可预测性。混沌理论提供了CSBE系统行为的抽象模型，这些行为倾向于对系统的性能、容量和故障边界产生怀疑，而忽略了系统动态和瞬态。云部署的动态分布式系统（DDS）提供了一种解决这些问题的范例，它使分布式系统能够响应工作负载需求实时增长/收缩。但是，DDS将闭环控制理论问题引入到软件系统中，因为DDS使用反馈控制回路，即，稳定性、瞬态、潜在振荡行为等，都发挥了作用。 该研究计划将通过引入组件级虚拟机（CVM）作为一种务实的方法来解决云部署DDS系统的可控性问题，该方法将每个CSBE组件包装为自己的最小范围VM，然后通过CVM到CVM的消息传递组成完整的CSBE系统。这将组件行为置于硬VM强制外壳中，从而允许：a）CSBE系统可预测性，B）易处理的控制理论分析，c）通过CVM强制消息策略应用正式方法构造的实用方法，以及d）潜在地，在其当前20%的范围内显着提高云资源利用率，这是改善云中碳足迹的核心方面。 总的来说，这项研究将显着推进最先进的大规模软件系统，满足QoS保证，在现实世界的程序员可用的方式。