Teapot: Language support for writing memory coherence protocols

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 237-248

  Chandra, Satish ^a   Richards, Brad ^a   Larus, James R ^a  

^a University of Wisconsin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144399607     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231430     Document Type: Article

References (28)

1. Sarita V. Adve and Mark D. Hill. Weak Ordering - A New Definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 2-14, May 1990.
2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. Henri E. Bal, Andrew S. Tanenbaum, and M. Frans Kaashoek. Orca: A Language for Distributed Programming. ACM SIGPLAN Notices, 25(5):17-24, May 1990.
4. G'erard Berry and Georges Gonthier. The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Technical Report nn, Ecole Nationale Sup'erieure des Mines de Paris, nd.
5. John B. Carter, John K. Bennert, and Willy Zwaenepoel. Implementation and Performance of Munin. In Proceedings of the 13th ACM Symposium on Operating System Principles (SOSP), pages 152-164, October 1991.
6. S. Chakrabarti, E. Deprit, E.-J. Im, A. Krishnamurthy, C.-P. Wen, and K. Yelick. Multipol: A Distributed Data Structure Library. Technical Report UCB/CSD-95-879, Computer Science Division (EECS), University of California at Berkeley, July 1995.
7. Satish Chandra, James R. Larus, and Anne Rogers. Where is Time Spent in Message-Passing and Shared-Memory Programs? In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI), pages 61-75, October 1994.
8. Edmund M. Clarke, Orna Grumberg, and David E. Long. Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.
9. David L. Dill, Andreas J. Drexler, Alan J. Hu, and C. Han Yang. Protocol Verification as a Hardware Design Aid. In 1992 IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 522-525, 1992.
10. Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean. Using Continuations to Implement Thread Management and Communication in Operating Systems. In Proceedings of the 13th ACM Symposium on Operating System Principles (SOSP), pages 122-136, October 1991.
11. Babak Falsafi, Alvin Lebeck, Steven Reinhardt, Ioannis Schoinas, Mark D. Hill, James Larus, Anne Rogers, and David Wood. Application-Specific Protocols for User-Level Shared Memory. In Proceedings of Supercomputing '94, pages 380-389, November 1994.
12. Christopher T. Haynes and Daniel P. Friedman. Engines Build Process Abstractions. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 18-24, August 1984.
13. Christopher T. Haynes, Daniel P. Friedman, and Mitchell Wand. Continuations and Coroutines. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 293-298, August 1984.
14. Mark D. Hill, James R. Larus, and David A. Wood. Tempest: A Substrate for Portable Parallel Programs. In COMPCON '95, pages 327-332, San Francisco, California, March 1995. IEEE Computer Society.
15. Gerard Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
16. Kirk L. Johnson, M. Frank Kaashoek, and Deborah A. Wallach. CRL: High Performance All-Software Distributed Shared Memory. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP), December 1995.
17. Jeffrey Kuskin et al. The Stanford FLASH Multiprocessor. In Proceedings of the 21st Annual International Symposium on Computer Architecture, pages 302-313, April 1994.
18. James R. Larus, Brad Richards, and Guhan Viswanathan. LCM: Memory System Support for Parallel Language Implementation. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI), pages 208-218, October 1994.
19. Daniel Lenoski, James Laudon, Kourosh Gharachorloo, Wolf-Dietrich Weber, Anoop Gupta, John Hennessy, Mark Horowitz, and Monica Lam. The Stanford DASH Multiprocessor. IEEE Computer, 25(3):63-79, March 1992.
20. Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, November 1989.
21. Chung-Shyan Liu. An Object-Based Approach to Protocol Software Implementation. In SIGCOMM '94, pages 307-316, London, England, August 1994.
22. Fong Pong and Michel Dubois. A New Approach for the Verification of Cache Coherence Protocols. IEEE Transactions on Parallel and Distributed Systems, 6(8):773-787, August 1995.
23. Steven K. Reinhardt, James R. Larus, and David A. Wood. Tempest and Typhoon: User-Level Shared Memory. In Proceedings of the 21st Annual International Symposium on Computer Architecture, pages 325-337, April 1994.
24. Ioannis Schoinas, Babak Falsafi, Alvin R. Lebeck, Steven K. Reinhardt, James R. Larus, and David A. Wood. Fine-grain Access Control for Distributed Shared Memory. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI), pages 297-307, October 1994.
25. Keiraro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takasha Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches in Lucas File System. Technical Report 94-14, Department of Information Science, University of Tokyo, December 1994.
26. Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, and William E. Weihl. Optimistic Active Messages; A Mechanisms for Scheduling Communication with Computation. In Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), pages 217-226, August 1995.
27. Mitchell Wand. Continuation-Based Multiprocessing. In Conference Record of the 1980 LISP Conference, pages 19-28, Stanford Univ., Palo Alto CA, August 1980.
28. Jeannette M. Wing and Mandana Vaziri-Farahani. Model Checking Software Systems: A Case Study. In Proceedings ACM SIG-SOFT Symposium On The Foundations Of Software Engineering, October 1995.