arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2101.01159cs.DCcs.DBcs.OScs.PL
收藏

云计算编程的新方向

New Directions in Cloud Programming

Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano

AI总结:

本文提出一项云计算编程研究议程,通过将分布式程序分为PACT四方面,并采用多阶段编译器,逐步引导开发者转向声明式编程,以降低云计算开发难度。

摘要:

在AWS推出近二十年之后,大多数开发者仍然难以利用云计算的巨大潜力。在本文中,我们提出了一项面向新一代云计算编程研究的议程,旨在以渐进的方式将研究思想带给程序员。我们方法的关键在于将分布式程序分离为一个包含四个方面的PACT:程序语义、可用性、一致性和优化目标。我们提议通过将熟悉的代码提升到我们更具声明性的抽象层次,逐步将开发者迁移到PACT编程。随后,我们提出一个多阶段编译器,该编译器在每个阶段生成人类可读的代码,供寻求更多控制的开发者手动调整。我们的议程在多个领域提出了众多研究挑战,包括语言设计、查询优化、事务、分布式一致性、编译器和程序合成。

英文摘要:

Nearly twenty years after the launch of AWS, it remains difficult for most developers to harness the enormous potential of the cloud. In this paper we lay out an agenda for a new generation of cloud programming research aimed at bringing research ideas to programmers in an evolutionary fashion. Key to our approach is a separation of distributed programs into a PACT of four facets: Program semantics, Availablity, Consistency and Targets of optimization. We propose to migrate developers gradually to PACT programming by lifting familiar code into our more declarative level of abstraction. We then propose a multi-stage compiler that emits human-readable code at each stage that can be hand-tuned by developers seeking more control. Our agenda raises numerous research challenges across multiple areas including language design, query optimization, transactions, distributed consistency, compilers and program synthesis.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑