Token-based sequential consistency

Computer Systems Science and Engineering

Volumn 17, Issue 6, 2002, Pages 359-365

  Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Asynchronous distributed systems; Message passing; Sequential consistency; Shared memory abstraction; Token

Indexed keywords

CONCURRENT ENGINEERING; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SEQUENTIAL MACHINES; STORAGE ALLOCATION (COMPUTER);

ASYNCHRONOUS DISTRIBUTED SYSTEMS; CONCURRENT OBJECT; MESSAGE PASSING; SEQUENTIAL CONSISTENCY; SHARED MEMORY ABSTRACTION;

MULTIPROCESSING SYSTEMS;

EID: 0037624514     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. Adve S.V. and Garachorloo K., Shared Memory Models: a Tutorial. IEEE Computer, 29(12):66-77, 1997.
2. Ahamad M., Hutto P.W., Neiger G., Burns 2. J.E. and Kohli P., Causal memory: Definitions, Implementations and Programming. Distributed Computing, 9:37-49, 1995.
3. Ahamad M. and Kordale R., Scalable Consistency Protocols for Distributed Services. IEEE Transactions on Parallel and Distributed Systems, 10(9):888-903, 1999.
4. Ahamad M., Raynal M. and Thia-Kime G., An Adaptive Protocol for Implementing Causally Consistent Distributed Services. Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, IEEE Computer Society Press, pp. 86-93. Amsterdam (Netherland), 1998.
5. Attiya H, and Welch J.L., Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
6. Demmer M.J. and Herlihy M.P., The Arrow Distributed Directory Protocol. Proc. 12th Int. Symposium on Distributed Computing (DISC'98), Springer-Verlag LNCS 1599, pp. 119-133, Andros (Greece), 1998.
7. Garg V.K. and Raynal M., Normality: a Correctness Condition for Concurrent Objects. Parallel Processing Letters. 9(1):123-134, 1999.
8. Herlihy M.P., Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124-149, 1991.
9. Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems. 12(3):463-492, 1990.
10. Helary J.-M., Mostefaoui A. and Raynal M., A General Scheme for Token and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Transactions on Parallel and Distributed Systems. 5(11):1185-1196, 1994.
11. Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
12. Mittal N. and Garg V.K., Consistency Conditions for Multi-Object Distributed Operations, Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, IEEE Computer Society Press, pp. 582-589, Amsterdam (Netherlands), 1998.
13. J. Misra. Axioms for Memory Access in Asynchronous Hardware Systems. Transactions on Programming Language and Systems, 8(1):142-153, 1986.
14. Mizuno M., Raynal M. and Zhou J.Z., Sequential Consistency in Distributed Systems. Proc. Int. Workshop on Theory and Practice of Distributed Systems, Springer Verlag LNCS 938, pp. 224-241, Dagsthul Castle (Germany), 1994.
15. Mizuno M., Nielsen M.L. and Raynal M., An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Processing Letters, 6(2):265-278, 1996.
16. Naimi M. and Trehel M., An Improvement of the Distributed Mutual Exclusion Algorithm. Proc. 7th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'87), IEEE Computer Society Press, pp. 371-375, Berlin (Germany), 1987.
17. Raymond K., A Tree-Based Algorithm for Distributed Mutual Exclusion. ACM Transactions on Computer Systems, 7(1):61-77, 1989.
18. Raynal M., Sequential Consistency as Lazy Linearizability. Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), ACM Press, pp. 151-152, Winnipeg (Canada), August 2002.
19. Raynal M. and Schiper A., From Causal Consistency to Sequential Consistency in Shared Memory Systems. Proc. 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FST\&TCS'95), Springer-Verlag LNCS 1026, pp. 180-194, Bangalore (India), 1995.
20. Raynal M. and Schiper A., A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories. Proc. 9th Int. IEEE Conference on Parallel and Distributed Computing Systems (PDCS'96), IEEE Computer Society Press, pp. 125-131, Dijon (France), 1996.
21. 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.
22. Taylor R.N., Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta Informatica, 19:57-84, 1983.