Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems

ACM Transactions on Computer Systems (TOCS)

Volumn 13, Issue 3, 1995, Pages 205-243

  Carter, John B ^a   Bennett, John K ^b   Zwaenepoel, Willy ^b  

^a UNIVERSITY OF UTAH   (United States)

^b RICE UNIVERSITY   (United States)

Author keywords

Cache consistency protocols; distributed shared memory; memory models; release consistency; virtual shared memory

Indexed keywords

BUFFER STORAGE; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; COMPUTER WORKSTATIONS; DATA STORAGE EQUIPMENT; NETWORK PROTOCOLS; PARALLEL PROCESSING SYSTEMS; PERFORMANCE; STORAGE ALLOCATION (COMPUTER); VIRTUAL STORAGE;

DISTRIBUTED SHARED-MEMORY SYSTEMS; MESSAGE PASSING; MULTIPLE CONSISTENCY PROTOCOLS; RUNTIME SYSTEM; SHARED MEMORY; SOFTWARE RELEASE CONSISTENCY; UPDATE-WITH-TIMEOUT MECHANISM; WRITE-SHARED PROTOCOLS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0029354892     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/210126.210127     Document Type: Article

References (25)

1. agarwal A., lim, B.-H., kranz, D., and kubiatowicz, J. 1990. APRIL: A processor architecture for multiprocessing In Proceedings of the 17th Annual International Symposium on Computer Architecture (Seattle, Wash., May). IEEE Computer Society Press, Los Alamitos, Calif., 104-114.
2. archibald, J. and baer, J.-L. 1986. Cache coherence protocols: Evaluation using a multiprocessor simulation model. ACM Trans. Comput. Syst. 4, 4 (Nov.), 273-298.
3. bal, H. E., kaashoeck, M. F., and tanenbaum, A. S. 1992. Orca: A language for parallel programming of distributed systems. IEEE Trans. Softw. Eng. 18, 3 (Mar.), 190-205.
4. bennett, J. K., carter, J. B., and zwaenepoel, W. 1990. Adaptive software cache management for distributed shared memory architectures. In Proceedings of the 17th Annual International Symposium on Computer Architecture IEEE Computer Society Press, Los Alamitos, Calif, 125-134.
5. bershad, B. N., zekauskas, M. J., and sawdon, W. A. 1993. The Midway distributed shared memory system. In COMPCON '93. IEEE Computer Society Press, Los Alamitos, Calif., 528-537.
6. carter, J. B. 1993. Efficient distributed shared memory based on multi-protocol release consistency. Ph D. thesis, Rice Univ., Hounton, Tex. Aug.
7. carter, J. B., bennett, J. K., and zwaenepoel, W. 1991. Implementation and performance of Mumn. In Proceedings of the 13th ACM Symposium on Operating Systems Principles (Oct.) ACM, New York, 152-164.
8. chase, J. S., amador, G. F., lazowska, E. D., levy, H. M., and littlefield, R. J. 1989. The Amber system: Parallel programming on a network of multiprocessors. In Proceedings of the 12th ACM Symposium on Operating Systems Principles (Dec.). ACM, New York, 147-158.
9. cheriton, D. R. 1988. The V distributed system. Commun. ACM 31, 3 (Mar), 314-333.
10. dasgupta, P., chen, R. C., menon, S., pearson, M., ananthanarayanan, R., ramachandran, U., ahamad, M., leblanc, r., jr., applebe, W., bernabeu-auban, J. M., hutto, P. W., khalidi, M. Y. A., and wileknloh, C. J. 1990. The design and implementation of the Clouds distributed operating system, Comput. Syst. J. 3, (Winter).
11. eggers, S. J. and katz, R. H. 1988. A characterization of sharing in parallel programs and its application to coherency protocol evaluation. In Proceedings of the 15th Annual International Symposium on Computer Architecture (May). IEEE Computer Society Press, Los Alamitos, Calif., 373-383.
12. fleisch, B. and popek, G. 1989. Mirage: A coherent distributed shared memory design. In Proceedings of the 12th ACM Symposium on Operating Systems Principles (Dec,). ACM, New York, 211-223.
13. gharachorloo, K., gxjpta, A., and hennessy, J. 1991. Performance evaluations of memory consistency models for shared-memory multiprocessors. In Proceedings of the 4th Symposium on Architectural Support for Programming Languages and Operating Systems (Apr.). ACM, New York.
14. gharachorloo,K., lenoski, D., laudon, J,, gibbons, P., gupta, A,, and hennessy,J. 1990. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture (Seattle, Wash., May). IEEE Computer Society Press, Los Alamitos, Calif 15-26.
15. jul, E., levy,H., hutchinson, N., and black, A. 1988. Fine-grained mobility in the Emerald system. ACM Trans. Comput. Syst. 6, 1 (Feb.), 109-133.
16. karlin, a. r., manasse, m. s., rudolph, L., and sleator, D. D. 1986. Competitive snoopy caching. In Proceedings of the 16th Annual IEEE Symposium on the Foundations of Computer Science. IEEE, New York, 244-254.
17. keleher, P., cox, A. L., and zwaenepoel, W. 1992. Lazy consistency for software distributed shared memory. In Proceedings of the 19th Annual International Symposium on Computer Architecture (May). IEEE Computer Society Press, Los Alamitos, Calif., 13-21.
18. keleher, P., dwarkadas, S., Cox, A., and zwaenepoel, W. 1994. Treadmarks: Distributed shared memory on standard workstations and operating systems. In Proceedings of the 1994 Winter USENIX Conference (Jan.). USENIX Assoc., Berkeley, Calif., 115-131.
19. lamport, l. 1979. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept.), 690-691.
20. lenoski, D., laudon, J., gharachorloo, K, gupta, A., and hennessy, J. 1990. The directory-based cache coherence protocol for the DASH multiprocessor. In Proceedings of the 17th Annual International Symposium on Computer Architecture (Seattle, Wash., May). IEEE Computer Society Press, Los Alamitos, Calif., 148-159.
21. Li, and Khudak, P. 1989. Memory coherence in shared virtual memory systems. ACM Trans. Comput. Syst. 7, 4 (Nov.), 321-359.
22. minnich R. G. and farber, D. J, 1989. The Mether system: A distributed shared memory for SunOS 4.0. In Proceedings of the Summer USENIX Conference (June). USENIX Assoc., Berkeley, Calif. 51-60.
23. thekkath A. C. and levy H. 1993. Limits to low-latency communications on high-speed networks. ACM Trans. Comput. Syst. 11, 2 (May), 179-203.
24. weber W.-D. and gupta A. 1989. Analysis of cache invalidation patterns in multiprocessors. In Proceedings of the 3rd Symposium on Architectural Support for Programming Languages and Operating Systems (Apr.). ACM, New York, 243-256.
25. wilson A. and larowe R. 1992. Hiding shared memory reference latency on the GalacticaNet distributed shared memory architecture. J. Parallel Distrib. Comput. 15, 4 (Aug.), 351-367.