A methodological construction of an efficient sequential consistency protocol (original) (raw)

Abstract

Abstract A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (22)

  1. Adve S.V. and Garachorloo K., Shared Memory Models: a Tutorial. IEEE Computer, 29(12):66-77, 1997.
  2. Afek Y., Brown G. and Merritt M., Lazy Caching. ACM Trans- actions on Programming Languages and Systems, 15(1):182-205, 1993.
  3. Ahamad M., Hutto P.W., Neiger G., Burns J.E. and Kohli P., Causal memory: Definitions, Implementations and Programming. Distributed Computing, 9:37-49, 1995.
  4. Ahamad M. and Kordale R., Scalable Consistency Protocols for Distributed Services. IEEE Transactions on Parallel and Dis- tributed Systems, 10(9):888-903, 1999.
  5. 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 Com- puter Society Press, pp. 86-93, Amsterdam (Netherland), 1998.
  6. Akl S.G., The design and analysis of parallel algorithms. Prentice- Hall, 1989.
  7. Attiya H. and Welch J.L., Sequential Consistency versus Lineariz- ability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
  8. Bal H. and Tanenbaum A.S., ORCA: a Language for Parallel Pro- gramming of Distributed Systems. IEEE Transactions on Software Engineering, 18(3):190-205, 1992.
  9. Herlihy M.P., Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124-149, 1991.
  10. Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condi- tion for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
  11. Jimenez E., Fernandez A. and Cholvi V., A parameterized Algo- rithm that Implements Sequential, Causal and Cache Consistency. Proc. 10th EUROMICRO Workshop on Parallel, Distributed and Network-Based Processing (PDP'02), Islas Canarias (Spain), 2002.
  12. Lamport L., How to Make a Multiprocessor Computer that Cor- rectly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
  13. Li K. and Hudak P., Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, 1989.
  14. Mattern F., Algorithms for Distributed Termination Detection. Dis- tributed Computing, 2:161-175, 1987.
  15. Misra J., Axioms for Memory Access in Asynchronous Hardware Systems. ACM Transactions on Programming Languages and Sys- tems, 8(1):142-153, 1986.
  16. Mizuno M., Nielsen M.L. and Raynal M., An Optimistic Proto- col for a Linearizable Distributed Shared Memory System. Parallel Processing Letters, 6(2):265-278, 1996.
  17. 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.
  18. Raynal M., Token-Based Sequential Consistency. Int. Journal of Computer Systems Science and Engineering, 17(6):359-366, 2002.
  19. Raynal M., Sequential Consistency as Lazy Linearizability. Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp. 151-152, Winnipeg, 2002.
  20. 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 Sci- ence (FST&TCS'95), Springer-Verlag LNCS #1026, pp. 180-194, Bangalore (India), 1995.
  21. Raynal M. and Schiper A., A Suite of Formal Definitions for Con- sistency 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.
  22. Wilkinson B. and Allen M., Parallel Programming: Techniques and Applications using Networked Workstations and Parallel Comput- ers. Prentice-Hall, 1999.