Automatic implementation of programming language consistency models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2481 LNCS, Issue , 2005, Pages 172-187

  Sura, Zehra ^a   Wong, Chi Leung ^a   Fang, Xing ^b   Lee, Jaejin ^c   Midkiff, Samuel P ^b   Padua, David ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b PURDUE UNIVERSITY   (United States)

^c Seoul National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILER TRANSFORMATIONS; HARDWARE CONSISTENCY MODEL; INTER-THREAD ANALYSIS; SHARED MEMORY ACCESSES;

COMPUTER HARDWARE; CONSTRAINT THEORY; MAPPING; PROGRAM COMPILERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745171747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596110_12     Document Type: Conference Paper

References (19)

1. Sarita V. Adve and Kourosh Gharachorloo.: Shared memory consistency models: A tutorial. IEEE Computer, pages 66-76, Dec 1996
2. B. Alpern, et al: The Jalapeno virtual machine. IBM Systems Journal, Feb 2000
3. J.-D. Choi, M. Gupta, M. Serrano, V.C. Sreedhar, and S. Midkiff: Escape analysis for Java. Proceedings ACM 1999 Conference on Object-Oriented Programming Systems (OOPSLA 99), pages 1-19, Nov 1999
4. P.A. Emrath, S. Ghosh, and D.A. Padua: Event synchronization analysis for debugging parallel programs. Proceedings of Supercomputing, pages 580-588, 1989
5. Xing Fang: Inserting fences to guarantee sequential consistency. Master's thesis, Michigan State University, July 2002
6. J. Gosling, B. Joy, G. Steele, and G. Bracha: The Java Language Specification, Second Edition. The Java Series, Addison-Wesley Publishing Company, Redwood City, CA 94065, USA, 2000
7. Mark D. Hill: Multiprocessors should support simple memory-consistency models. IEEE Computer, pages 28-34, Aug 1998
8. Arvind Krishnamurthy and Katherine Yelick: Optimizing parallel SPMD programs. Seventh Workshop on Languages and Compilers for Parallel Computing, Aug 1994
9. Arvind Krishnamurthy and Katherine Yelick: Analyses and optimizations for shared address space programs. Journal of Parallel and Distributed Computing, 38:139-144, 1996
10. J. Lee, S.P. Midkiff, and D.A. Padua: Concurrent static single assignment form and constant propagation for explicitly parallel programs. Proceedings of The 10th International Workshop on Languages and Compilers for Parallel Computing, pages 114-130, Springer, Aug 1997
11. J. Lee and D.A.Padua: Hiding relaxed memory consistency with compilers. Proceedings of The 2000 International Conference on Parallel Architectures and Compilation Techniques, Oct 2000
12. J. Lee, D.A.Padua, and S.P. Midkiff: Basic compiler algorithms for parallel programs. Proceedings of The 1999 ACM SIGPLAN Symposiun on Principles and Practice of Parallel Programming, pages 1-12, May 1999
13. G. Naumovich, G.S. Avruninand, and L.A. Clarke: An efficient algorithm for computing MHP information for concurrent Java programs. Proceedings of Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering, Sep 1999
14. William Pugh: Fixing the Java memory model. Proceedings of the ACM 1999 Java Grande Conference, June 1999
15. R. Rugina and M. Rinard: Pointer analysis for multithreaded programs. Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pages 77-90, June 1999
16. Dennis Shasha and Marc Snir: Efficient and correct execution of parallel programs that share memory. ACM Transactions on Programming Languages and Systems, 10(2):282-312, Apr 1988
17. C.-L. Wong, Z. Sura, X. Fang, S.P. Midkiff, J. Lee, and D. Padua: The Pensieve Project: A Compiler Infrastructure for Memory Models. The International Symposium on Parallel Architectures, Algorithms, and Networks, May 2002
18. Eclipse Platform Technical Overview. Object Technology International, Inc., July 2001, Available at www.eclipse.org
19. The NetBeans Platform. Sun Microsystems, Inc., Documentation available at www.netbeans.org