CSR: Small: Elastic and Robust Cloud Programming

CSR：小型：弹性且稳健的云编程

• 批准号: 1618923
• 负责人: Xiangyu Zhang
• 金额: $ 48.55万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1618923&HistoricalAwards=false
• 关键词: CSR; Small; Elastic; Robust; Cloud

The emergence of cloud computing is undoubtedly one of the major paradigm shifts of the last decade in information technology, and one with substantial economic impact. Indeed, the ability to rent computing resources on a need basis (as opposed to acquiring and managing infrastructure provisioned for peak work loads that may occur only rarely) supports many businesses of different kinds and sizes. However, while cloud infrastructures allow computing resources to be allocated and released very dynamically, developing software that leverages this potential to automatically adjust its usage of resources to its workload (e.g., the number of client connections) and performance goals at runtime is a hard task for software engineers. The goal of this project is thus to provide programmers support in the form of a programming model and runtime environment for developing such elastic applications. Devising such a generic programming model is however very challenging as it must reconcile simplicity (for programmers) with scalability (by facilitating parallelism and distribution) and robustness (by handling partial failures). Unfortunately, these properties may conflict. This project addresses the challenges through the following contributions. (1) Programming model and language: a novel object-oriented programming model variant called Atomic Events and Ownership Network (AEON) is proposed. AEON combines a simplified object model to reason about units of application state with a novel type of multiple ownership to streamline interaction between these units, and a novel notion of events for atomic client-server interaction. (2) Distributed runtime environment: a highly scalable and decentralized runtime environment for AEON is implemented, with support for dynamically adding and removing computational units, as well as for supporting the restructuring of their relationships without hampering consistency or conversely stalling progress. Heuristics to efficiently (re-)partition AEON applications are also proposed. (3) Resource management and fault tolerance: a resource management framework is leveraged for facilitating the mapping between application units and underlying resources; it is augmented to provide a notion of dependable resources achieving fault tolerance. (4) Evaluation: the developed support is evaluated on a wide variety of applications and across different cloud infrastructures. All developments are based on open-source software.

云计算的出现无疑是过去十年信息技术领域的重大范式转变之一，并且具有重大的经济影响。事实上，根据需要租用计算资源的能力（而不是获取和管理为可能很少发生的峰值工作负载配置的基础设施）支持许多不同类型和规模的企业。然而，虽然云基础设施允许非常动态地分配和释放计算资源，但开发利用这种潜力自动调整资源使用以适应其工作负载（例如客户端连接数量）和运行时性能目标的软件是一项艰巨的任务对于软件工程师来说。因此，该项目的目标是以编程模型和运行时环境的形式为程序员提供开发此类弹性应用程序的支持。然而，设计这样一个通用编程模型非常具有挑战性，因为它必须将简单性（对于程序员而言）与可扩展性（通过促进并行性和分布）和鲁棒性（通过处理部分故障）协调起来。不幸的是，这些属性可能会发生冲突。该项目通过以下贡献解决了这些挑战。 （1）编程模型和语言：提出了一种新颖的面向对象编程模型变体，称为原子事件和所有权网络（AEON）。 AEON 将简化的对象模型与用于推理应用程序状态单元的新型多重所有权相结合，以简化这些单元之间的交互，以及用于原子客户端-服务器交互的事件的新颖概念。 (2)分布式运行时环境：实现了AEON的高度可扩展和去中心化的运行时环境，支持动态添加和删除计算单元，以及支持它们关系的重构，而不妨碍一致性或反过来拖延进度。还提出了有效（重新）分区 AEON 应用程序的启发式方法。 (3)资源管理和容错：利用资源管理框架，方便应用单元和底层资源之间的映射；它被增强以提供实现容错的可靠资源的概念。 (4) 评估：在各种应用程序和不同的云基础设施上对开发的支持进行评估。所有开发均基于开源软件。