Abstract
Communication is Logically Instantaneous (LI) if it is possi- ble to timestamp communication events with integers in such a way that (1) timestamps increase within each process and (2) the sending and the delivery events associated with each message have the same times- tamp. So, there is a logical time frame in which for each message, the send event and the corresponding delivery events occur simultaneously. li is stronger than Causally Ordered (CO) communication, but weaker than Rendezvous (RDV) communication. This paper explores Logically Instantaneous communication and provides a simple and efficient pro- tocol that implements LI on top of asynchronous distributed systems. LI is attractive as it includes CO and provides more concurrency than RDV. Moreover it allows to adopt the following approach: first design a distributed application assuming Rendezvous communication, and then run it on top of an asynchronous distributed system providing only LI communication.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahuja M. and Raynal M., An implementation of Global Flush Primitives Using Counters. Parallel Processing Letters, Vol. 5(2):171–178, (1995).
Bagrodia R., Process Synchronization: Design and Performance Evaluation for Distributed Algorithms. IEEE TSE, SE15(9):1053–1065, (1989).
Bagrodia R., Synchronization of Asynchronous Processes in CSP. ACM TOPLAS, 11(4):585–597, (1989).
Birman K. P. and Joseph T. A., Reliable Communication in the Presence of Failures. ACM TOCS, 5(1):47–76, (1987).
Bougé L., Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. Theoretical Computer Science, 49:145–169, (1987).
Brinch Hansen P., Distributed Processes: A Concurrent Programming Concept. Communications of the ACM, 21(11):934–941, (1978).
Chandra T. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(1):225–267, (1996).
Charron-Bost B., Mattern F. and Tel G., Synchronous, Asynchronous and Causally Ordered Communications. Distributed Computing, 9:173–191, (1996).
Fritkze U., Ingels Ph., Mostefaoui, A. and Raynal M., Fault-Tolerant Total Order Multicast to Asynchronous Groups. Proc. 16th IEEE Int. Symposium on Reliable Distributed Systems, Purdue University, pp. 228–234, (1998).
Fujimoto R., Parallel Discrete Event Simulation. Communications of the ACM, 33(10):31–53, (1990).
Garcia-Molina H. and Spauster A., Ordered and Reliable Multicast Communication. ACM TOCS, 9(3):242–272, (1991).
Hadzilacos V. and Toueg S., Reliable Broadcast and Related Problems. In Distributed Systems, ACM Press (S. Mullender Ed.), New-York, pp. 97–145, (1993).
Hoare C. A. R., Communicating Sequentail Processes. Communications of the ACM, 21(8):666–677, (1978).
Lamport, L., Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, 21(7):558–565, (1978).
Misra J., Distributed Discrete Event Simulation. ACM Computing Surveys, 18(1):39–65, (1986).
Murty V. V. and Garg V. K., Synchronous Message Passing. Tech. Report TR ECE-PDS-93-01, University of Texas at Austin, (1993).
Powell D. (Guest Editor), Special Issue on Group Communication. CACM, 39(4), (1996).
Raynal M., Schiper A. and Toueg S., The Causal ordering Abstraction and a Simple Way to Implement it. Information Processing Letters, 39:343–351, (1991).
Ricart G. and Agrawala A. K., An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM, 24(1):115–123, (1981).
Silberschatz A., Synchronization and Communication in Distributed Systems. IEEE TSE, SE5(6):542–546, (1979).
Soneoka T. and Ibaraki T., Logically Instantaneous Message Passing in Asynchronous Distributed Systems. IEEE TC, 43(5):513–527, (1994).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mostéfaoui, A., Raynal, M., Veríssimo, P. (1999). Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 1999. Lecture Notes in Computer Science, vol 1662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48387-X_28
Download citation
DOI: https://doi.org/10.1007/3-540-48387-X_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66363-8
Online ISBN: 978-3-540-48387-8
eBook Packages: Springer Book Archive