Predicated array data-flow analysis for run-time parallelization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Predicated array data-flow analysis for run-time parallelization

Full text

Pdf (1.24 MB)

Source

International Conference on Supercomputing archive
Proceedings of the 12th international conference on Supercomputing table of contents

Melbourne, Australia

Pages: 204 - 211

Year of Publication: 1998

ISBN:0-89791-998-X

Authors

Sungdo Moon	Information Sciences Institute, University of Southern California, Marina del Rey, CA
Mary W. Hall	Information Sciences Institute, University of Southern California, Marina del Rey, CA
Brian R. Murphy	Computer Science Department, Stanford University, Stanford, CA

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IEEE-CS : Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 8, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/277830.277874 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Saman Prabhath Amarasinghe, Parallelizing compiler techniques based on linear inequalities, Stanford University, Stanford, CA, 1997
	2	William Joseph Blume , Rudolf Eigenmann, Symbolic analysis techniques for effective automatic parallelization, 1995
	3	Patrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567778]
	4	Gina Gay Goff , Ken Kennedy, Practical techniques to augment dependence analysis in the presence of symbolic terms, 1997
	5	Junjie Gu , Zhiyuan Li , Gyungho Lee, Experience with efficient array data flow analysis for array privatization, Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming, p.157-167, June 18-21, 1997, Las Vegas, Nevada, United States
	6	Mohammad Reza Haghighat, Symbolic analysis for parallelizing compilers, University of Illinois at Urbana-Champaign, Champaign, IL, 1995
	7	Mary W. Hall , Brian R. Murphy , Saman P. Amarasinghe , Shih-Wei Liao , Monica S. Lam, Interprocedural Analysis for Parallelization, Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing, p.61-80, August 10-12, 1995
	8	L. Howard Holley , Barry K. Rosen, Qualified data flow problems, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.68-82, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567454]
	9	F. Irigoin, Interprocedural analyses for programming environments, Environments and tools for parallel scientific computing, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 1993
	10	Nielson. Flemming, Expected forms of data flow analyses, on Programs as data objects, p.172-191, April 1986, Copenhagen, Denmark
	11	William Pugh , David Wonnacott, Eliminating false data dependences using the Omega test, Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.140-151, June 15-19, 1992, San Francisco, California, United States
	12	Lawrence Rauchwerger , David Padua, The LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.218-232, June 18-21, 1995, La Jolla, California, United States
	13	Joel H. Salz , Ravi Mirchandaney , Kay Crowley, Run-Time Parallelization and Scheduling of Loops, IEEE Transactions on Computers, v.40 n.5, p.603-612, May 1991 [doi>10.1109/12.88484]
	14	R. E. Strom , D. M. Yellin, Extending Typestate Checking Using Conditional Liveness Analysis, IEEE Transactions on Software Engineering, v.19 n.5, p.478-485, May 1993 [doi>10.1109/32.232013]
	15	Peng Tu, Automatic array privatization and demand-driven symbolic analysis, University of Illinois at Urbana-Champaign, Champaign, IL, 1996
	16	Mark N. Wegman , F. Kenneth Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.181-210, April 1991 [doi>10.1145/103135.103136]

CITED BY 11

	Byoungro So , Sungdo Moon , Mary W. Hall, Measuring the effectiveness of automatic parallelization in SUIF, Proceedings of the 12th international conference on Supercomputing, p.212-219, July 1998, Melbourne, Australia
	Radu Rugina , Martin Rinard, Automatic parallelization of divide and conquer algorithms, ACM SIGPLAN Notices, v.34 n.8, p.72-83, Aug. 1999
	Silvius Rus , Guobin He , Christophe Alias , Lawrence Rauchwerger, Region array SSA, Proceedings of the 15th international conference on Parallel architectures and compilation techniques, September 16-20, 2006, Seattle, Washington, USA
	Silvius Rus , Maikel Pennings , Lawrence Rauchwerger, Sensitivity analysis for automatic parallelization on multi-cores, Proceedings of the 21st annual international conference on Supercomputing, June 17-21, 2007, Seattle, Washington
	Sungdo Moon , Byoungro So , Mary W. Hall, Combining compile-time and run-time parallelization[1], Scientific Programming, v.7 n.3-4, p.247-260, August 1999
	Silvius Rus , Lawrence Rauchwerger , Jay Hoeflinger, Hybrid analysis: static & dynamic memory reference analysis, Proceedings of the 16th international conference on Supercomputing, June 22-26, 2002, New York, New York, USA
	Sungdo Moon , Mary W. Hall, Evaluation of predicated array data-flow analysis for automatic parallelization, ACM SIGPLAN Notices, v.34 n.8, p.84-95, Aug. 1999
	Silvius Rus , Lawrence Rauchwerger , Jay Hoeflinger, Hybrid analysis: static & dynamic memory reference analysis, International Journal of Parallel Programming, v.31 n.4, p.251-283, August 2003
	Sungdo Moon , Byoungro So , Mary W. Hall, Evaluating Automatic Parallelization in SUIF, IEEE Transactions on Parallel and Distributed Systems, v.11 n.1, p.36-49, January 2000
	Pedro C. Diniz , Martin C. Rinard, Eliminating synchronization overhead in automatically parallelized programs using dynamic feedback, ACM Transactions on Computer Systems (TOCS), v.17 n.2, p.89-132, May 1999
	Silvius Rus , Lawrence Rauchwerger , Jay Hoeflinger, Hybrid analysis: static & dynamic memory reference analysis, Proceedings of the 16th international conference on Supercomputing, June 22-26, 2002, New York, New York, USA