An implementation of flush channels based on a verification methodology

Flush channels generalize more conventional asynchronous message passing protocols. A distributed system that uses flush channels allows a programmer the flexibility of specifying the delivery order of each message in relation to other messages transmitted on the channel. An implementation technique that follows directly from a verification methodology for flush channels is presented. A relatively formal argument in support of the technique is included.<<ETX>>

[1]  Tracy Camp,et al.  Proof Rules for Flush Channels , 1993, IEEE Trans. Software Eng..

[2]  Mohan Ahuja.  Assertions about past and future: Communication in a high-performance distributed system Highways , 1993, Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed Processing.

[3]  Colin J. Fidge,et al.  Partial orders for parallel debugging , 1988, PADD '88.

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

[5]  Tak-Shing Peter Yum,et al.  Resequencing of messages in communication networks , 1986, IEEE Trans. Commun..

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

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

[8]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[10]  Mohan Ahuja.  Flush Primitives for Asynchronous Distributed Systems , 1990, Inf. Process. Lett..

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

[12]  Shyamal K. Chowdhury.  The Mean Resequencing Delay for M/H_K/infty Systems , 1989, IEEE Trans. Software Eng..

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

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

[15]  Mohan Ahuja.  An implementation of F-channels, a preferable alternative to FIFO channels , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

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

[17]  Subhash C. Agrawal,et al.  Analysis of the resequencing delay for M/M/m systems , 1987, SIGMETRICS '87.