Distributed consistency is perhaps the most-discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under fault, which are often extremely difficult to debug. This raises significant challenges for distributed system architects and developers. In this article, we present B lazes , a cross-platform program analysis framework that (a) identifies program locations that require coordination to ensure consistent executions, and (b) automatically synthesizes application-specific coordination code that can significantly outperform general-purpose techniques. We present two case studies, one using annotated programs in the Twitter Storm system and another using the Bloom declarative language.

中文翻译：

---

烈焰人

分布式一致性可能是当今分布式系统中讨论最多的话题。协调协议可以确保一致性，但在实践中它们会导致不良性能，除非使用得当。可扩展的分布式架构尽可能避免协调，但协调不足的系统可能会在故障下表现出行为异常，这通常极难调试。这对分布式系统架构师和开发人员提出了重大挑战。在本文中，我们介绍 B懒惰，一个跨平台的程序分析框架，它 (a) 识别需要协调以确保一致执行的程序位置，以及 (b) 自动合成可以显着优于通用技术的特定于应用程序的协调代码。我们展示了两个案例研究，一个使用 Twitter Storm 系统中的注释程序，另一个使用 Bloom 声明性语言。