Assertions about past and future: Communication in a high-performance distributed system Highways

Highways is a distributed-programming system, we are building, with high-performance as a major goal. The suite of send primitives implemented in Highways, called Global-Flush Primitives, have three no-table aspects. (1) Global-Flush Primitives permit one to make an assertion about messages sent in the past of sending m, in the future of sending m, about both or neither. (2) The past and the future of an event is defined using the relation "happened before." (3) A message can be sent to any subgroup of processes specified as a parameter.<<ETX>>

[1]  LamportLeslie.  Time, clocks, and the ordering of events in a distributed system , 1978 .

[2]  André Schiper,et al.  The Causal Ordering Abstraction and a Simple Way to Implement it , 1991, Inf. Process. Lett..

[3]  André Schiper,et al.  Lightweight causal and atomic group multicast , 1991, TOCS.

[4]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[5]  Mohan Ahuja,et al.  Distributed modeling and implementation of high performance communication architectures , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[6]  Mohan Ahuja.  An Implementation of F-Channels , 1993, IEEE Trans. Parallel Distributed Syst..

[7]  Richard D. Schlichting,et al.  Preserving and using context information in interprocess communication , 1989, TOCS.

[8]  Mohan Ahuja,et al.  An implementation of F-Channels for possibly cyclic networks , 1992, [1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing.

[9]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[10]  Mohan Ahuja,et al.  Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time , 1993, Inf. Process. Lett..

[11]  Tracy Camp,et al.  An implementation of flush channels based on a verification methodology , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.