Title :
The hierarchical daisy architecture for causal delivery
Author :
Baldoni, Roberto ; Friedman, Roy ; Van Renesse, Robbert
Author_Institution :
Dipartimento di Inf. e Sistemistica, Rome Univ., Italy
Abstract :
We propose the hierarchical daisy architecture, which provides causal delivery of messages sent to any subset of processes. The architecture provides fault tolerance and maintains the amount of control information within a reasonable size. It divides processes into logical groups. Messages inside a logical group are sent directly, while messages that need to cross logical group boundaries are forwarded by servers. We prove the correctness of the daisy architecture and discuss possible optimizations
Keywords :
fault tolerant computing; message passing; parallel architectures; program verification; causal delivery; control information; correctness proving; distributed computing; fault tolerance; hierarchical daisy architecture; logical group boundaries; servers; Added delay; Communication system control; Control systems; Event detection; Fault tolerance; Intersymbol interference; Network topology; Particle separators; Protocols; Stability;
Conference_Titel :
Distributed Computing Systems, 1997., Proceedings of the 17th International Conference on
Conference_Location :
Baltimore, MD
Print_ISBN :
0-8186-7813-5
DOI :
10.1109/ICDCS.1997.603422
