BuDDI: A Declarative Bloom Language for CALM Programming
Rolando Garcia, Giulia Guidi

TL;DR
This paper introduces BuDDI, a declarative Bloom language extension for CALM programming, demonstrating its efficiency in distributed biological workload applications and providing tools for identifying coordination points.
Contribution
It presents BuDDI, a novel declarative language for CALM programming, with analysis tools for coordination, and evaluates its performance in biological data processing.
Findings
Bloom-based programs outperform UPC++ in distributed biological workloads.
Bloom's analysis tools effectively identify points-of-coordination.
Recommendations for higher-level abstractions for non-expert users.
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Cloud Computing and Resource Management · Caching and Content Delivery
