Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Encapsulation of parallelism in the Volcano query processing system
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
The weakest failure detector for solving consensus
Journal of the ACM (JACM)
Proceedings of the seventeenth ACM symposium on Operating systems principles
Byzantine generals in action: implementing fail-stop processors
ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communications of the ACM
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Moshe: A group membership service for WANs
ACM Transactions on Computer Systems (TOCS)
GAMMA - A High Performance Dataflow Database Machine
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Scalable Fault-Tolerant Aggregation in Large Process Groups
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Approximate Aggregation Techniques for Sensor Databases
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Medians and beyond: new aggregation techniques for sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
TAG: a Tiny AGgregation service for Ad-Hoc sensor networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Tributaries and deltas: efficient and robust aggregation in sensor network streams
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Quicksilver Scalable Multicast (QSM)
NCA '08 Proceedings of the 2008 Seventh IEEE International Symposium on Network Computing and Applications
A Hybrid Approach for Clustering-Based Data Aggregation in Wireless Sensor Networks
ICDS '09 Proceedings of the 2009 Third International Conference on Digital Society
Distributed data flow language for multi-party protocols
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Storing and accessing live mashup content in the cloud
ACM SIGOPS Operating Systems Review
PIKM '10 Proceedings of the 3rd workshop on Ph.D. students in information and knowledge management
Improving communication latency with the write-only architecture
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
Strong reliability properties, such as state machine replication and virtual synchrony, are hard to implement in a scalable manner. They are typically expressed in terms of global membership views. However, global membership is non-scalable. We propose a new way of modeling protocols that does not rely on global membership. Our approach is based on the concept of a distributed data flow, a set of events distributed in space and time. We model protocols as networks of such flows, constructed through recursive delegation. The resulting system uses multiple small membership services instead of a single global service while still supporting stronger properties. This paper focuses on the theoretical model and its base properties; in particular, on the concept of monotonic aggregation. We present a high-level architecture overview and initial performance results.