Hiding relaxed memory consistency with compilers

Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

Volumn , Issue , 2000, Pages 111-122

  Lee, Jaejin ^a   Padua, David A ^b  

^a Michigan State University   (United States)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA STORAGE EQUIPMENT; PROGRAM COMPILERS; REDUCED INSTRUCTION SET COMPUTING;

DELAY SET ANALYSIS; RELAXED MEMORY CONSISTENCY; REORDERING INSTRUCTIONS; SEQUENTIAL CONSISTENCY;

PARALLEL PROCESSING SYSTEMS;

EID: 0034511270     PISSN: 1089795X     EISSN: None     Source Type: Journal    
DOI: 10.1109/PACT.2000.888336     Document Type: Article

References (42)

1. S. Adve Designing Memory Consistency Models for Shared-Memory Multiprocessors December 1993 University of Wisconsin-Madison
2. S. V. Adve K. Gharachorloo Shared memory consistency models: A tutorial IEEE Computer 66 76 December 1996
3. S. V. Adve M. D. Hill Weak ordering-a new definition Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA) 2 14 Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA) 1990-May
4. A. V. Aho J. E. Hopcroft J. D. Ull- The Design and Analysis of Computer Algorithms 1974 Addison Wesley
5. A. V. Aho R. Sethi J. D. Ullman Compilers: Principles, Techniques, and Tools 1986 Addison Wesley
6. A. W. Appel Modern Compiler Implementation in Java 1998 Cambridge University Press New York
7. W. Collier Principles of architecture for systems of parallel processes March 1981 TR00.3100 IBM T. J. Watson Research Center
8. PowerPC Microprocessor Common Hardware Reference Platform 1995 Morgan Kaufmann Publishers, Inc.
9. T. H. Cormen C. E. Leiserson R. L. Rivest Introduction to Algorithms 1990 The MIT Press
10. IA-64 Application Developer's Architecture Guide May 1999 Intel Corporation
11. M. Dubois C. Scheurich F. Briggs Memory access buffering in multiprocessors Proceedings of The 13th Annual International Symposium on Computer Architecture (ISCA) 434 442 Proceedings of The 13th Annual International Symposium on Computer Architecture (ISCA) 1986-June
12. M. R. Garey D. S. Johnson Computers and Intractability 1979 W. H. Freeman and Company
13. K. Gharachorloo D. Lenoski J. Laudon P. Gibbons A. Gupta J. Hennessy Memory consistency and event ordering in scalable shared-memory multiprocessors Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA) 15 26 Proceedings of The 17th Annual International Symposium on Computer Architecture (ISCA) 1990-May
14. C. Gniady B. Falsafi T. N. Vijaykumar Is SC + ILP = RC? Proceedings of The 26th Annual International Symposium on Computer Architecture (ISCA) 162 171 Proceedings of The 26th Annual International Symposium on Computer Architecture (ISCA) 1999-May
15. J. R Goodman Cache consistency and sequential consistency February 1991 CS-TR-91-1006 Department of Computer Science, University of Wisconsin
16. J. Gosling B. Joy G. Steele The Java Language Specification 1996 Addison Wesley
17. M. D. Hill Multiprocessors should support simple memory-consistency models IEEE Computer 28 34 August 1998
18. J. Knoop B. Steffen J. Vollmer Parallelism for free: Efficient and optimal bitvector analysis for parallel programs ACM Transactions on Programming Languages and Systems 18 3 268 299 May 1996
19. A. Krishnamurthy K. Yelick Optimizing parallel SPMD programs Seventh Annual Workshop on Languages and Compilers for Parallel Computing Seventh Annual Workshop on Languages and Compilers for Parallel Computing 1994-August
20. A. Krishnamurthy K. Yelick Optimizing parallel programs with explicit synchronization Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI) 196 204 Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI) 1995-June
21. L. Lamport How to make a multiprocessor computer that correctly executes multiprocess programs IEEE Transactions on Computers C-28 9 690 691 September 1979
22. D. Lea Concurrent Programming in Java 1996 Addison Wesley
23. J. Lee Compilation Techniques for Explicitly Parallel Programs October 1999 University of Illinois at Urbana-Champaign
24. J. Lee S. P. Midkiff 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, number 1366 in Lecture Notes in Computer Science 114 130 Proceedings of The 10th International Workshop on Languages and Compilers for Parallel Computing, number 1366 in Lecture Notes in Computer Science 1997-August
25. J. Lee S. P. Midkiff D. A. Padua A constant propagation algorithm for explicitly parallel programs International Journal of Parallel Programming 26 5 563 589 1998
26. J. Lee D. A. Padua S. P. Midkiff Basic compiler algorithms for parallel programs Proceedings of The 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 1 12 Proceedings of The 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 1999-May
27. D. E. Lenoski W.-D. Weber Scalable Shared-Memory Multiprocessing 1995 Morgan Kaufmann Publishers, Inc.
28. Z. Li W. Abu-sufah A technique for reducing synchronization overhead in large scale multiprocessors Proceedings of The 12th Annual International Symposium on Computer Architecture (ISCA) 284 291 Proceedings of The 12th Annual International Symposium on Computer Architecture (ISCA) 1985
29. Z. Li W. Abu-sufah On reducing data synchronization in multiprocessed loops IEEE Transactions on Computers C-36 1 105 109 January 1987
30. S. P. Midkiff D. A. Padua Compiler generated synchronization for do loops 1986 International Conference on Parallel Processing 19 22 1986 International Conference on Parallel Processing 1986-August
31. S. P. Midkiff D. A. Padua Compiler algorithms for synchronization IEEE Transactions on Computers C-36 12 1485 1495 December 1987
32. P. Midkiff A. Padua Issues in the optimization of parallel programs Proceedings of the 1990 International Conference on Parallel Processing (ICPP) II 105 113 Proceedings of the 1990 International Conference on Parallel Processing (ICPP) 1990-August
33. S. P. Midkiff D. A. Padua R. Cytron Compiling programs with user parallelism Languages and Compilers for Parallel Computing 402 422 1990
34. S. S. Muchnick Advanced Compiler Design and Implementation 1997 Morgan Kaufmann
35. D. Novillo R. Unrau J. Schaeffer Concurrent SSA form in the presence of mutual exclusion Proceedings of the 1998 International Conference on Parallel Processing Proceedings of the 1998 International Conference on Parallel Processing 1998-August
36. D. A. Patterson J. L. Hennessy C. Architecture A Qunatitative Approach second 1996 Morgan Kaufmann Publishers, Inc.
37. W. Pugh Fixing the Java memory model Proceedings of the ACM 1999 Java Grande Conference Proceedings of the ACM 1999 Java Grande Conference 1999-June
38. D. Shasha M. Snir Efficient and correct execution of parallel programs that share memory ACM Transactions on Programming Languages and Systems 10 2 282 312 April 1988
39. X. Shen Arvind L. Rudolph Commit-Reconcile & Fences (CRF): A new memory model for architects and compiler writers Proceedings of The 26th Annual International Symposium on Computer Architecture (ISCA) 150 161 Proceedings of The 26th Annual International Symposium on Computer Architecture (ISCA) 1999-May
40. R. L. Sites R. T. Witek Alpha AXP Architecture Reference Manual second 1995 Digital Press
41. Personal Communication December 1998
42. D. L. Weaver T. Germond The SPARC Architecture Manual 1994 Prentice-Hall