BuDDI：一种面向CALM编程的声明式Bloom语言
BuDDI: A Declarative Bloom Language for CALM Programming
摘要：
协调协议帮助分布式系统的程序员分析事务对系统状态的影响，但它们并不便宜。协调协议可能涉及多轮通信，这可能会损害系统的响应能力。在分布式计算中存在用于管理协调-性能权衡的许多努力。最近的一个工作线的特点是类的工作量，协调是不必要的一致性：即，逻辑单调的程序。在本文中，我们提出了一个典型的计算生物学工作负载的逻辑单调性的案例研究。我们利用布卢姆语言编写高效的分布式程序，并比较其性能等效程序写在UPC++，一种流行的语言编写分布式程序。此外，我们利用Bloom的分析工具来确定协调点，并利用我们自己使用Bloom的经验为没有强大的分布式计算背景的用户推荐一些更高级别的抽象。
英文摘要：
Coordination protocols help programmers of distributed systems reason about the effects of transactions on the state of the system, but they're not cheap. Coordination protocols may involve multiple rounds of communication, which can hurt system responsiveness. There exist many efforts in distributed computing for managing the coordination-performance trade-off. More recent is a line of work that characterizes the class of workloads for which coordination is not necessary for consistency: namely, logically monotonic programs. In this paper, we present a case study of logical monotonicity in workloads typical to computational biology. We leverage the Bloom language to write efficient distributed programs, and compare their performance to equivalent programs written in UPC++, a popular language for writing distributed programs. Additionally, we leverage Bloom's analysis tools to identify points-of-coordination, and use our own experience using Bloom to recommend some higher-level abstractions for users without strong distributed computing backgrounds.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
