EAGER: From Clarity to Efficiency for Distributed Algorithms

分布式算法是分布式系统的基础，分布式系统是国家计算机基础设施的重要组成部分。 开发这些算法的正确和鲁棒的实现是一项艰巨的任务。 这个研究项目是一个雄心勃勃的努力，通过提高抽象层次来解决分布式算法编程的问题。 研究人员将开发一种名为DistAlgo的新型高级语言，用于编写分布式算法。 这种语言将使它更容易清楚地表达分布式算法，并将提供一个有用的教学符号教学分布式programming.The调查人员将开发优化，将允许有效的实现从DistAlgo程序生成。 因此，这项工作将弥补通常用于描述分布式算法的伪代码与此类算法的有效实现之间的差距。 的优化是基于自动增量技术应用到过程的状态和历史的逻辑描述。 研究人员将通过将其应用于众所周知的分布式算法来评估他们的方法。

Distributed algorithms are the foundation of distributed systems, which are an important part of the nation's computer infrastructure. Developing correct and robust implementations of such algorithms is a difficult task. This research project is an ambitious effort to address the problem of programming distributed algorithms by raising the level of abstraction. The investigators will develop a novel very-high-level language, called DistAlgo, for writing distributed algorithms. This language will make it easier to clearly express distributed algorithms and will provide a useful pedagogical notation for teaching distributed programming.The investigators will develop optimizations that will allow efficient implementations to be generated from DistAlgo programs. Thus, this work will bridge the gap between the pseudocode that is typically used to describe distributed algorithms and the efficient implementations of such algorithms. The optimizations are based on automatic incrementalization techniques applied to the logical descriptions of process states and histories. The investigators will evaluate their approach by applying it to well known distributed algorithms.