Towards a practical snapshot algorithm

Proceedings ISTCS 1995 - 3rd Israel Symposium on the Theory of Computing and Systems

Volumn , Issue , 1995, Pages 121-129

  Riany, Yaron ^a   Shavit, Nir ^a   Touitou, Dan ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMS; MEMORY ARCHITECTURE; MULTIPROCESSING SYSTEMS;

ATOMIC SNAPSHOTS; DISTRIBUTED SHARED MEMORY MULTIPROCESSORS; LOCK-FREE; SHARED MEMORY; SNAPSHOT ALGORITHMS; SYNCHRONIZATION OPERATION; THEORETICAL RESEARCH; WAIT FREE;

LOCKS (FASTENERS);

EID: 84861191761     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISTCS.1995.377039     Document Type: Conference Paper

References (26)

1. Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M., and Shavit, N. Atomic snapshots of shared memory. Journal of the ACM 40 (4) (Sept. 1993) 873-890.
2. Agrawal, A. et al. The MIT Alewife machine: A large scale distributed memory multiprocessor. Proceedinga of Workshop on Scalable Shared Memory Multiproceaaora. Kluwer Academic Publishers, 1991. An extended version of this paper has been submitted for publication, and appears as MIT/LCS Memo TM-454, 1991.
3. Anderson, J. H. Composite registers. Proceedinga of the 9th Annual ACM Sympoaium on Principlea of Distributed Computing (Aug. 1990) 15-29.
4. Anderson, J. H., Singh, A. k., and Gouda, M. G. The elusive atomic register revisited. Proceedinga of the 6th ACM Sympoaium on Principlea of Distributed Computing,(Aug. 1987)206-221.
5. Aspnes, J., and Herlihy, M. Wait-free data structures in the asynchronous PRAM model. Proceedings of the 2nd Annual Symposium on Parallel Algorithms and Architectures (July 1990) 340-349.
6. Attiya, H., Dolev, D., and Shavit, N. Bounded polynomial randomized consensus. Proceedings of ike 8th ACM Symposium on Principles of Distributed Computing,(Aug. 1989) 281-293.
7. Attiya, H., Herlihy, M., and Rachman, O. Efficient atomic snapshots using lattice agreement. Proceedings of the 6th International Workshop on Distributed Algorithms. Haifa. Israel. November 1992 (SegaU A. and Zaks S. eds.) 35-53.
8. H. Attiya, N. Lynch and N. Shavit, "Are Wait-Free Algorithms Fast?" Journal of the ACM, Vol. 41, No. 4 (July 1994), 725-763.
9. Attiya, H., and Rachman, O. Atomic snapshots in O (nlogn) operations. Proceedings of the 12th ACM Symposium on Principles of Distributed Computing,(Aug. 1993) 29-40.
10. Brewer, E. A., Dellarocas, C. N-, Colbrook, A., and Weihl, W. E. Proteus: A High performance parallel architecture simulator. MIT Technical report/MIT/LCS/TR-561, September 1992.
11. Brewer, E. A. and Dellarocas, C. N. Proteus User Documentation, Version 4. 0, march 1992.
12. Chandra T. D. and Dwork, C. Using Consensus to solve Atomic Snapshots. Manuscript, 1993.
13. Digital Equipment Corporation. ALPHA system reference manual.
14. Dolev, D., and Shavit, N. Bounded concurrent time-stamp systems are constructive! Proceedings of the 21st Annual ACM Symposium on the Theory of Computing,(May 1989) 454-465.
15. Dwork, C, Herlihy, M., Plotkin, S. A., and Waarts, O. Time lapse snapshots. Proceedings of the Israel Symposium on the Theory of Commuting and Systems. Haifa, Israel, May 1992 (Dolev D., Galil Z., and Rodeh M. eds.) 154-170.
16. Herlihy, M-, and Wing, J. M. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, IZ, 3 (July 1990) 463-492.
17. Preliminary version appeared as Axioms for concurrent objects, in Proc. 14th ACM Symp. on Principles of Programming Languages,(Jan. 1987) 13-25.
18. Herlihy, M. Wait free synchronization. ACM Transactions on Programming Languages and Systems, IS, 1 (January 1991) 124-149.
19. Herlihy, M. A Methodology For Implementing Highly Concurrent Data Objects. ACM Transactions on Programming Languages and Systems 15 (5): 745-770, November 1993.
20. D. Gawlik. Processing 'hot spots' in high performance systems. In Proceedings COMPCON'85, 1985.
21. IBM Corporation. POWER PC reference manual.
22. Israeli, A., and Li, M. Bounded time stamps. Proceedings of the 28th IEEE Symposium on Foundations of Computer Science, 1987.
23. Israeli A., Shaham A., and Shirazi A. Linear time snapshot protocols for unbalanced systems. Proceedings of the 7tk International Workshop on Distributed Algorithms,.
24. Kirousis, L. M., Spirakis, P., and Tsigas, Ph. Reading many variables in one atomic operation: Solutions with linear or sub-linear complexity. Proceedings of the 5th International Workshop on Distributed Algorithms. October 1991 229-241.
25. L. Lamport. On Interprocess Communication, Parts I and II. Distributed Computing, Volume 1, 77-101, 1986.
26. MIPS Computer Company. The MIPS RISC Architecture.