The inhibition spectrum and the achievement of causal consistency

Distributed Computing

Volumn 10, Issue 1, 1996, Pages 11-27

  Critchlow, Carol ^a   Taylor, Kim ^b  

^a HOBART AND WILLIAM SMITH COLLEGES   (United States)

^b Sybase Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; NETWORK PROTOCOLS;

CONSISTENT CUT PROTOCOLS (CCPS); DEADLOCK DETECTION; FIRST IN FIRST OUT (FIFO) SYSTEMS; GLOBAL CHECKPOINTING; GLOBAL INHIBITION; LOCAL INHIBITION; TERMINATION DETECTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030195128     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050021     Document Type: Article

References (28)

1. Awerbuch B: Complexity of network synchronization. J ACM 32(4): 804-823 (1985)
2. Birman K: Replication and availability in the ISIS system. Proceedings of the 10th ACM Symposium on Operating Systems Principles. Operating Syst Rev 19(5): 79-86 (1985)
3. Birman K, Joseph T: Reliable communication in the presence of failures. ACM Trans Comput Syst 5(1): 47- 76 (1987)
4. Bougé L, Francez N: A compositional approach to superimposition. Proceedings of the ACM Symposium on Principles of Programming Languages, January 1988
5. Bracha G, Toueg S: Distributed deadlock detection. Distrib Comput 2(3): 127-138 (1987)
6. Chandy M, Lamport L: Finding global states of a distributed system. ACM Transact Comput Syst 3(1): 63-75 (1985)
7. Chandy M, Misra J: How processes learn. Proceedings of the 5th ACM Symposium on Principles of Distributed Computing, pp 204-214, 1985
8. Chang EJH: Echo algorithms: depth parallel operations on graphs. IEEE Trans Softw Eng SE-8(4): 391-400 (1982)
9. Critchlow C, Taylor K: The inhibition spectrum and the achievement of causal consistency. Technical Report 90-1101, Cornell University Department of Computer Science, February 1990
10. Critchlow C: On inhibition and atomicity in asynchronous consistent-cut protocols. Technical Report 89-1069, Cornell University Department of Computer Science, December 1989
11. Critchlow C: The inherent cost of achieving causal consistency. PhD thesis, Cornell University, 1992
12. Dill DL: Trace theory for automatic hierarchical verification of speed-independent circuits. PhD thesis, Carnegie Mellon University, 1988
13. Francez N: Distributed termination. ACM Trans Program Lang Syst 2(1): 42-55 (1980)
14. Gafni F: Perspectives on distributed network protocols: a case for building blocks. Proceedings of Milcom '86, Monterrey CA, 1986
15. Gelernter D: Generative communication in Linda. ACM Trans Program Lang Syst 7(1): 80 -112 (1985)
16. Josephs MB: Receptive process theory. Technical report. Department of Mathematics and Computing Science, Eindhoven University of Technology, 1991
17. Koo R, Toueg S: Checkpointing and rollback-recovery for distributed systems. IEEE Trans Softw Eng SE-13(1): 23-71 (1987)
18. Lai TH, Yang TH: On distributed snapshots. Inf Process Lett 25: 153-158 (1987)
19. Lamport L: Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7): 558 -565 (1978)
20. Lynch N, Tuttle M: An introduction to input/output automata. CWI Q 2(3): 217-246 (1989)
21. Lynch NA, Tuttle M: Hierarchical correctness proofs for distributed algorithms. Technical Report MIT/LCS/TR-387, M.I.T. Laboratory for Computer Science, April 1987
22. Mattern F: Virtual time and global states of distributed systems. In: Cosnard M, Robert Y, Quinton P, Raynal M (eds) Parallel and distributed algorithms. Proceedings of the International Workshop on Parallel and Distributed Algorithms, Chateau de Bonus, France, October 1988, pp 215- 226. Elsevier Science Publishers 1989
23. NeXT Computer Inc: Operating system software. NeXT, Inc., 1990
24. Oki B, Pflueg M, Siegel A, Skeen D: The information bus an architecture for extensible distributed systems. Proceedings of the 14th ACM Symposium on Operating Systems Principles, pp 58-68, 1993
25. Panangaden P, Taylor K: Concurrent common knowledge: defining agreement for asynchronous systems. Distrib Comput 6: 73- 93 (1992)
26. Russell DL: Process backup in producer-consumer systems. Proceedings of the ACM Symposium on Operating Systems Principles, November 1977
27. Taylor K: The role of inhibition in asynchronous consistent-cut protocols. In: Bermond J-C, Raynal M (eds) Distributed algorithms. Proceedings of the Third International Workshop on Distributed Algorithms, Nice, France, September 1989. Lect Notes Comput Sci vol 392, pp 280-291. Springer, Berlin Heidelberg New York 1989
28. Winskel G: Event structures. Technical Report 95, University of Cambridge, Computer Laboratory, 1986