A high-level abstraction of shared accesses

ACM Transactions on Computer Systems

Volumn 18, Issue 1, 2000, Pages 1-36

  Keleher, Peter J ^a  

^a University of Maryland ^*  (United States)

Author keywords

D.4.2 Operating Systems : Storage Management Distributed memories; D.4.3 Operating Systems : File Systems Management Access methods; Distributed file systems; DSM; Performance; Programming libraries; Reliability; Shared memory; Update protocols

Indexed keywords

EID: 0040486803     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/332799.332800     Document Type: Article

References (36)

1. BURKHARDT, H., FRANK, S., KNOBE, B., AND ROTHNIE, J. 1992. Overview of the KSR1 computer system. Tech. Rep. KSR-TR-9202001. Kendall Square Research.
2. ADVE, S., COX, A. L., DWARKADAS, S., RAJAMONY, R., AND ZWAENEPOEL, W. 1996. A comparison of entry consistency and lazy release consistency implementations. In Proceedings of the 2nd High Performance Computer Architecture Conference (Feb.),
3. AMZA, C., COX, A. L., DWARKADAS, S., KELEHER, P., LU, H., RAJAMONY, R., YU, W., AND ZWAENEPOEL, W. 1996. TreadMarks: Shared memory computing on networks of workstations. IEEE Computer 29, 2 (Feb.), 18-28.
4. AMZA, C., COX, A., RAJAMANI, K., AND ZWAENEPOEL, W. 1997. Tradeoffs between false sharing and aggregation in software distributed shared memory. SIGPLAN Not. 32, 7, 90-99.
5. BERSHAD, B., ZEKAUSKAS, M., AND SAWDON, W. A. 1993. The Midway distributed shared memory system. In Proceedings of the IEEE International Conference on Computer (COMPCON '93, Feb.), IEEE Computer Society Press, Los Alamitos, CA, 528-537.
6. CARTER, J. B., BENNETT, J. K., AND ZWAENEPOEL, W. 1991. Implementation and performance of Munin. In Proceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP '91, Pacific Grove, CA, Oct. 13-16), H. M. Levy, Ed. ACM Press, New York, NY.
7. CHANDRA, S., RICHARDS, B., AND LARUS, J. R. 1996. Teapot: Language support for writing memory coherence protocols. SIGPLAN Not. 31, 5, 237-248.
8. COX, A. L., DWARKADAS, S., LU, H., AND ZWAENEPOEL, W. 1997. Evaluating the performance of software distributed shared memory as a target for parallelizing compilers. In Proceedings of the 11th International Parallel Processing Symposium (Apr.),
9. COX, A. L., LARA, E. D., HU, Y. C., AND ZWAENEPOEL, W. 1999. A performance comparison of homeless and home-based lazy release consistency protocols in software shared memory. In Proceedings of the 5th High-Performance Computer Architecture Conference,
10. DASGUPTA, P., CHEN, R. C., MENON, S., PEARSON, M., ANANTHANARAYANAN, R., RAMACHANDRAN, U., AHAMAD, M., APPLEBE, R. L., JR., BERNABEU-AUBAN, J. M., WUTTO, P. W., KHALIDI, M. Y. A., AND WILEKNLOH, C. J. 1990. The design and implementation o the Clouds distributed operating system. USENIX Comput. Syst. J. 3, 1 (Winter), 318-329.
11. DUBOIS, M., SCHEURICH, C., AND BRIGGS, F. A. 1995. Synchronization, coherence, and event ordering in multiprocessors. In Multiprocessor performance measurement and evaluation, L. N. Bhuyan and X. Zhang, Eds. IEEE Computer Society Press, Los Alamitos, CA, 203-215.
12. DWARKADAS, S., COX, A. L., AND ZWAENPOEL, W. 1996. Integrating compile-time/run-time software distributed shared memory system. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII, Cambridge, MA, Oct. 1-5, 1996), B. Dally and S. Eggets, Eds. ACM Press, New York, NY.
13. FALSAFI, B., LEBECK, A. R., REINHARDT, S. K., SCHOINAS, I., HILL, M. D., LARUS, J. R., ROGERS, A., AND WOOD, D. A. 1994. Application-specific protocols for user-level shared memory. In Proceedings of the Conference on Supercomputing '94 (Washington, DC, Nov. 14-18, 1994), G. M. Johnson, Ed. IEEE Computer Society Press, Los Alamitos, CA, 380-389.
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 International Symposium on Computer Architecture (ISCA '90, May), IEEE Press, Piscataway, NJ.
15. IFTODE, L., SINGH, J. P., AND LI, K. 1996. Scope consistency: a bridge between release consistency and entry consistency. In Proceedings of the 8th annual ACM symposium on Parallel algorithms and architectures (SPAA '96, Padua, Italy, June 24-26, 1996), G. E. Blelloch, Ed. ACM Press, New York, NY, 277-287.
16. JOHNSON, K., KAASHOEK, F., AND WALLACH, D. 1995. CRL: High-performance all-software distributed shared memory. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SIGOPS '95, Copper Mountain Resort, CO, Dec. 3-6), M. B. Jones, Ed. ACM Press, New York, NY.
17. KAGI, A., BURGER, D., AND GOODMAN, J. R. 1997. Efficient synchronization: Let them eat QOLB. In Proceedings of the 24th international symposium on Computer architecture (ISCA '97, Denver, CO, June 2-4, 1997), A. R. Pleszkun and T. Mudge, Eds. ACM Press, New York, NY, 170-180.
18. KELEHER, P. 1996. The relative importance of concurrent writers and weak consistency models. In Proceedings of the 16th IEEE International Conference on Distributed Computing Systems (Hong Kong, May), IEEE Computer Society Press, Los Alamitos, CA.
19. KELEHER, P. J. 1999. Tapeworm: High-level abstraction of shared accesses. In Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation (OSDI 99, New Orleans, LA., Feb.), USENIX Assoc., Berkeley, CA.
20. KELEHER, P., COX, A. L., AND ZWAENEPOEL, W. 1992. Lazy release consistency for software distributed shared memory. In Proceedings of the 19th Annual International Symposium on Computer Architecture (ISCA '92, Gold Coast, Australia, May 19-21), A. Gottlieb, Ed. ACM Press, New York, NY.
21. KELEHER, P., DWARKADAS, S., COX, A., AND ZWAENEPOEL, W. 1994. Treadmarks: Distributed shared memory on standard workstations and operating systems. In Proceedings of the Winter 1994 USENIX Conference (Jan.), USENIX Assoc., Berkeley, CA.
22. KUSKIN, J., OFELT, D., HEINRICH, M., HEINLEIN, J., SIMONI, R., GHARACHORLOO, K., CHAPIN, J., NAKAHIRA, D., BAXTER, J., HOROWITZ, M., GUPTA, A., ROSENBLUM, M., AND HENNESSY, J. 1994. The Stanford FLASH multiprocessor. In Proceedings of the 21st Annual International Symposium on Computer Architecture (ISCA '94, Chicago, IL, Apr. 18-21), D. A. Patterson, Ed. IEEE Computer Society Press, Los Alamitos, CA, 302-313.
23. LEBECK, A. R. AND WOOD, D. A. 1995. Dynamic self-invalidation: Reducing coherence overhead in shared-memory multiprocessors. In Proceedings of the 22nd Annual International Symposium on Computer Architecture (ISCA '95, Santa Margherita Ligure, Italy, June 22-24), D. A. Patterson, Ed. ACM Press, New York, NY.
24. LI, K. 1988. IVY: A shared virtual memory system for parallel computing. In Proceedings of International Conference on Parallel Processing (Aug.),
25. MUKHERJEE, S. S. AND HILL, M. D. 1998. Using prediction to accelerate coherence protocols. In Proceedings of the 25th Annual International Symposium on Computer Architecture (ISCA '98, Barcelona, Spain, June 27-July 1), M. Valero, G. S. Sohi, and D. DeGroot, Eds. IEEE Press, Piscataway, NJ.
26. PERKOVIC, D. AND KELEHER, P. 1996. Online data-race detection via coherency guarantees. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI '96, Seattle, WA, Oct. 28-31), K. Petersen and W. Zwaenepoel, Eds, ACM Press, New York, NY.
27. RAJAMONY, R. AND COX, L. 1997. Performance debugging shared memory parallel programs using run-time dependency analysis. In Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and Modeling of Computer Systems (SIGMETRICS '97, Seattle, WA, June 15-18, 1997), J. Zahorjan, S. Leutenegger, and A. Greenberg, Eds. ACM Press, New York, NY.
28. RAMACHANDRAN, U., SHAH, G., SIVASUBRAMANIAM, A., SINGLA, A., AND YANASAK, I. 1995. Architectural mechanisms for explicit communication in shared memory multiprocessors. In Proceedings of the 1995 Conference on Supercomputing (CD-ROM) (San Diego, CA, Dec. 3-8, 1995), S. Karin, Ed. ACM Press, New York, NY.
29. REINHARDT, S. K., LARUS, J. R., AND WOOD, D. A. 1994. Tempest and Typhoon: User-level shared memory. In Proceedings of the 21st Annual International Symposium on Computer Architecture (ISCA '94, Chicago, IL, Apr. 18-21), D. A. Patterson, Ed. IEEE Computer Society Press, Los Alamitos, CA, 325-337.
30. SCALES, D. AND GHARACHORLOO, K. 1996. Shasta: A low-overhead, software-only approach for supporting fine-grain shared memory. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII, Cambridge, MA, Oct. 1-5, 1996), B. Dally and S. Eggets, Eds. ACM Press, New York, NY.
31. SCHOINAS, I., FALSAFI, B., LEBECK, A. R., REINHARDT, S. K., LARUS, J. R., AND WOOD, D. A. 1994. Fine-grain access control for distributed shared memory. In Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI, San Jose, CA, Oct. 4-7), F. Baskett and D. Clark, Eds. ACM Press, New York, NY, 297-306.
32. TSENG, C.-W. AND KELEHER, P. 1997. Enhancing software DSM for compiler-parallelized applications. In Proceedings of the 11th International Parallel Processing Symposium (Apr.),
33. WITTIE, L. D., HERMANNSSON, G., AND LI, A. 1992. Eager sharing for efficient massive parallelism. In Parallel Processing: COVAPPV, L. Bouge, M. Cosnard, Y. Robert, and D. Trystram, Eds. Springer Lecture Notes in Computer Science, vol. 634. Springer-Verlag, Berlin, Germany.
34. WOO, S. C., OHARA, M., TORRIE, E., SINGH, J. P., AND GUPTA, A. 1995. The SPLASH-2 programs: Characterization and methodological considerations. In Proceedings of the 22nd Annual International Symposium on Computer Architecture (ISCA '95, Santa Margherita Ligure, Italy, June 22-24), D. A. Patterson, Ed. ACM Press, New York, NY, 24-36.
35. ZHANG, Z. AND TORRELLAS, J. 1995. Speeding up irregular applications in shared-memory multiprocessors. In Proceedings of the 22nd Annual International Symposium on Computer Architecture (ISCA '95, Santa Margherita Ligure, Italy, June 22-24), D. A. Patterson, Ed. ACM Press, New York, NY.
36. ZHOU, Y., IFTODE, L., AND LI, K. 1996. Performance evaluation of two home-based lazy release consistency protocols for shared virtual memory systems. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI '96, Seattle, WA, Oct. 28-31), K. Petersen and W. Zwaenepoel, Eds. ACM Press, New York, NY.