Year: 2013
Type: preprint
Abstract: 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 paper we present Blazes, 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.
Source: arXiv (Cornell University)
Authors: Alvaro, Peter, Conway, Neil, Hellerstein, Joseph M., Maier, David
Institutions: University of California, Berkeley, Portland State University
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: Collaborative Research: NeTS-NBD: SCAN: Statistical Collaborative Analysis of Networks, III-COR-Small: Towards More Flexible, Expressive and Robust Stream Systems, III-COR; Dynamic Meta-Compilation in Networked Information Systems, NGNI-Medium: Collaborative Research: MUNDO: Managing Uncertainty in Networks with Declarative Overlays
OpenAlex ID: W2953273143