Automatic Fence Insertion for Shared Memory Multiprocessing

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 2003, Pages 285-294

  Fang, Xing ^a   Lee, Jaejin ^b   Midkiff, Samuel P ^a  

^a PURDUE UNIVERSITY   (United States)

^b Seoul National University   (South Korea)

Author keywords

Compilers; Consistency Models; Java

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; DATA REDUCTION; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PROGRAM COMPILERS; SYNCHRONIZATION;

MEMORY BARRIERS (MB); SEQUENTIAL CONSISTENCY (SC);

MULTIPROCESSING SYSTEMS;

EID: 1142280971     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/782852.782854     Document Type: Conference Paper

References (23)

1. Sarita V. Adve and Mark D. Hill. Weak ordering - a new definition. In Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA), pages 2-14, May 1990.
2. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.
3. Andrew W. Appel. Modern Compiler Implementation in Java. Cambridge University Press, New York, 1998.
4. Apple Computer, IBM, and Motorola. PowerPC Microprocessor Common Hardware Reference Platform. Morgan Kaufmann Publishers. Inc., 1995.
5. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. The MIT Press, 1990.
6. Intel Corporation, 2002. The IA-32 Intel Architecture Software Developer's Manual.
7. Michel Dubois. Christoph Scheurich, and Faye Briggs. Memory access buffering in multiprocessors. In Proceedings of The 13th Annual International Symposium on Computer Architecture (ISCA), pages 434-442, June 1986.
8. Xing Fang. Inserting fences to guarantee sequential consistency. Master's thesis, Department of Computer Science and Engineering, Michigan State University, August 2002. Technical Report MSU-CSE-02-27.
9. Michael R. Garey and David S. Johnson. Computers and Intractability. W. H. Freeman and Company, 1979.
10. Kourosh Gharachorloo, Daniel Lenoski, James Laudon, Phillip Gibbons, Anoop Gupta, and John Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA), pages 15-26, May 1990.
11. James R. Goodman. Cache consistency and sequential consistency. Technical Report CS-TR-91-1006, Department of Computer Science, University of Wisconsin, February 1991.
12. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
13. Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, September 1979.
14. Jaejin Lee. Compilation Techniques for Explicitly Parallel Programs. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, October 1999. Technical Report UIUCDCS-R-99-2112.
15. Jaejin Lee and David A. Padua. Hiding relaxed memory consistency with compilers. In Proceedings of The 2000 International Conference on Parallel Architectures and Compilation Techniques, October 2000.
16. Jaejin Lee and David A. Padua. Hiding relaxed memory consistency with a compiler. IEEE Transactions on Computers: Special Issue on Parallel Architectures and Compilation Techniques, 50(8):824-833, August 2001.
17. Zhiyuan Li and Walid Abu-sufah. A technique for reducing synchronization overhead in large scale multiprocessors. In Proceedings of The 12th Annual International Symposium on Computer Architecture (ISCA), pages 284-291, 1985.
18. Zhiyuan Li and Walid Abu-sufah. On reducing data synchronization in multiprocessed loops. IEEE Transactions on Computers, C-36(1):105-109, January 1987.
19. Samuel P. Midkiff and David A. Padua. Compiler generated synchronization for do loops. In the 1986 International Conference on Parallel Processing, pages 19-22, August 1986.
20. Samuel P. Midkiff and David A. Padua. Compiler algorithms for synchronization. IEEE Transactions on Computers, C-36(12):1485-1495, December 1987.
21. William Pugh. Fixing the Java memory model. In Proceedings of the ACM 1999 Java Grande Conference, June 1999.
22. Dennis Shasha and Marc Snir. Efficient and correct execution of parallel programs that share memory. A CM Transactions on Programming Languages and Systems, 10(2):282-312, April 1988.
23. Zehra Sura, Chi-Leung Wong, Xing Fang, Jaejin Lee, Samuel P. Midkiff, and David Padua. Automatic implementation of programming language consistency models. In Proceedings of The 15th International Workshop on Languages and Compilers for Parallel Computing (LCPC), July 2002.