Scope consistency: A bridge between release consistency and entry consistency

Theory of Computing Systems

Volumn 31, Issue 4, 1998, Pages 451-473

  Iftode, L ^a   Singh, J P ^b   Li, K ^b  

^a RUTGERS UNIVERSITY   (United States)

^b Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL TECHNIQUES;

AUTOMATIC UPDATES; HARDWARE SUPPORTS; LAZY RELEASE CONSISTENCIES; MEMORY CONSISTENCY MODELS; PROGRAMMING COMPLEXITY; PROGRAMMING INTERFACE; SHARED VIRTUAL MEMORY; SOFTWARE PROTOCOLS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032371309     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s002240000097     Document Type: Article

References (33)

1. S.V. Adve, A.L. Cox, S. Dwarkadas, R. Rajamony, and W. Zwaenepoel. A Comparison of Entry Consistency and Lazy Release Consistency Implementation. In Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture, pages 26-39, February 1996.
2. S.V. Adve and M.D. Hill. Weak Ordering - A New Definition. In Proceedings of the 17th Annual Symposium on Computer Architecture, pages 2-14, June 1990.
3. B.N. Bershad and M.J. Zekauskas. Midway: Shared Memory Parallel Programming with Entry Consistency for Distributed Memory Multiprocessors. Technical Report CMU-CS-91-170, Carnegie Mellon University, September 1991.
4. R. Bisiani and M. Ravishankar. PLUS: A Distributed Shared-Memory System. In Proceedings of the 17th Annual Symposium on Computer Architecture, pages 115-124, May 1990.
5. M. Blumrich, C. Dubnick, E. Felten, and K. Li. Protected, User-Level DMA for the SHRIMP Network Interface. In Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture, pages 154-165, February 1996.
6. M. Blumrich, K. Li, R. Alpert, C. Dubnicki, E. Felten, and J. Sandberg. A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. In Proceedings of the 21st Annual Symposium on Computer Architecture, pages 142-153, April 1994.
7. J.B. Carter, J.K. Bennett, and W. Zwaenepoel. Implementation and Performance of Munin. In Proceedings of the 13th Symposium on Operating Systems Principles, pages 152-164, October 1991.
8. J.B. Carter, J.K. Bennett, and W. Zwaenepoel. Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems. ACM Transactions on Computer Systems, 13(3):205-244, August 1995.
9. M. Dubois, C. Scheurich, and F. Briggs. Memory Access Buffering in Multiprocessors. In Proceedings of the 13th Annual Symposium on Computer Architecture, pages 434-442, June 1986.
10. E.W. Felten, R.D. Alpert, A. Bilas, M.A. Blumrich, D.W. Clark, S. Damianakis, C. Dubnicki, L. Iftode, and K. Li. Early Experience with Message-Passing on the SHRIMP Multicomputer. In Proceedings of the 23rd Annual Symposium on Computer Architecture, pages 296-307, May 1996.
11. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. Hennessy. Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors. In Proceedings of the 17th Annual Symposium on Computer Architecture, pages 15-26, May 1990.
12. P.B. Gibbons, M. Merritt, and K. Gharachorloo. Proving Sequential Consistency of High-Perfonnance Shared Memories. In Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, July 1991.
13. R. Gillett, M. Collins, and D. Pimm. Overview of Network Memory Channel for PCI. In Proceedings of the IEEE Spring COMPCON '96, February 1996.
14. J.R. Goodman and P.J. Woest. The Wisconsin Multicube: A New Large-Scale Cache-Coherent Multiprocessor. In Proceedings of the 15th Annual Symposium on Computer Architecture, pages 422-431, June 1988.
15. S.A. Herrod. TangoLite; A Multiprocessor Simulation Environment, User Guide. Computer Systems Laboratory, Stanford University, 1994.
16. L. Iftode, C. Dubnicki, E.W. Felten, and K. Li. Improving Release-Consistent Shared Virtual Memory Using Automatic Update. In Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture, pages 14-25, February 1996.
17. L. Iftode, J.P. Singh, and K. Li. Understanding Application Performance on Shared Virtual Memory. In Proceedings of the 23rd Annual Symposium on Computer Architecture, pages 122-133, May 1996.
18. P. Keleher, A.L. Cox, S. Dwarkadas, and W. Zwaenepoel. TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems. In Proceedings of the Winter USENIX Conference, pages 115-132, January 1994.
19. P. Keleher, A.L. Cox, and W. Zwaenepoel. Lazy Consistency for Software Distributed Shared Memory. In Proceedings of the 19th Annual Symposium on Computer Architecture, pages 13-21, May 1992.
20. L.I. Kontothanassis and M.L. Scott. Using Memory-Mapped Network Interfaces to Improve the Performance of Distributed Shared Memory. In Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture, pages 166-179, February 1996.
21. L. Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocessor Programs. IEEE Transactions on Computers, 28(9):690-691, 1979.
22. K. Li. Shared Virtual Memory on Loosely-coupled Multiprocessors. Ph.D. thesis, Technical Report YALEU-RR-492, Yale University, October 1986.
23. K. Li and P. Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, November 1989.
24. C. Maples. A High-Performance, Memory-Based Interconnection System for Multicomputer Environments. In Proceedings of Supercomputing '90, pages 295-304, November 1990.
25. D.J. Scales, K. Gharachorloo, and C.A. Thekkath. Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory. In Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 174-185, October 1996.
26. C. Scheurich and M. Dubois. Correct Memory Operation of Cache-Based Multiprocessors. In Proceedings of the 14th Annual Symposium on Computer Architecture, pages 234-243, June 1987.
27. I. Schoinas, B. Falsafi, A.R. Lebeck, S.K. Reinhardt, J.R. Larus, and D.A. Wood. Fine-grain Access for Distributed Shared Memory. In Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 297-306, October 1994.
28. J.P. Singh, J.L. Hennessy, and A. Gupta. Implications of Hierarchical N-Body Methods for Multiprocessor Architecture. Technical Report CSL-TR-92-506, Stanford University, 1992.
29. A.W. Wilson, Jr., R.P. LaRowe, Jr., and M.J. Teller. Hardware Assist for Distributed Shared Memory. In Proceedings of 13th International Conference on Distributed Computing Systems, pages 246-255, May 1993.
30. L.D. Wittie, G. Hermannsson, and A. Li. Eager Sharing for Efficient Massive Parallelism. In Proceedings of the 1992 International Conference on Parallel Processing, pages 251-255, August 1992.
31. S.C. Woo, M. Ohara, E. Torrie, J.P. Singh, and A. Gupta. Methodological Considerations and Characterization of the SPLASH-2 Parallel Application Suite. In Proceedings of the 23rd Annual Symposium on Computer Architecture, May 1995.
32. M.J. Zekauskas, W.A. Sawdon, and B.N. Bershad. Software Write Detection for a Distributed Shared Memory. In Proceedings of the Operating Systems Design and Implementation Symposium, pages 87-100, November 1994.
33. Y. Zhou, L. Iftode, and K. Li. Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems. In Proceedings of the Operating Systems Design and Implementation Symposium, pages 75-88, October 1996.