Global analysis for partitioning non-strict programs into sequential threads

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Global analysis for partitioning non-strict programs into sequential threads

Full text

Pdf (1.47 MB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1992 ACM conference on LISP and functional programming table of contents

San Francisco, California, United States

Pages: 324 - 334

Year of Publication: 1992

ISBN:0-89791-481-3

Also published in ...

Authors

Kenneth R. Traub
David E. Culler
Klaus E. Schauser

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 18, Citation Count: 8

Additional Information:

references cited by index terms collaborative colleagues

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/141471.141568 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.

	AA89	Zena Ariola , Arvind, P-TAC: a parallel intermediate language, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.230-242, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99388]
	AN87	Arvind , R S Nikhil, Executing a program on the MIT tagged-token dataflow architecture, Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe, p.1-29, March 1987, Eindhoven, The Netherlands
	ANP86	Arvind , Rishiyur S. Nikhil , Keshav Pingali, I-structures: Data structures for parallel computing, Proceedings of the Workshop on Graph Reduction, p.336-369, September 29-October 01, 1986
	BHA85	G. L. Burn , C. L. Hankin , S. Abramsky, The theory of strictness analysis for higher order functions, on Programs as data objects, p.42-62, April 1986, Copenhagen, Denmark
	BHY88	A. Bloss, P. Hudak, and J. Young. Code optimizations for lazy evaluation. Lisp and $ymb. Comp., 1(2):147-164, Sep 1988.
	BNA91	Paul S. Barth , Rishiyur S. Nikhil , Arvind Nikhil, M-structures: extending a parallel, non-strict, functional language with state, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.538-568, June 1991, Cambridge, Massachusetts, United States
	BP89	M. Beck and K. Pingali. From control flow to dataflow. Technical Report TR 89-1050, Cornell U. Dept. of Comp. Sci., Ithaca NY, Oct 1989.
	CSS+91	David E. Culler , Anurag Sah , Klaus E. Schauser , Thorsten von Eicken , John Wawrzynek, Fine-grain parallelism with minimal hardware support: a compiler-controlled threaded abstract machine, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, p.164-175, April 08-11, 1991, Santa Clara, California, United States
	FOW87	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	HDGS91	J. E. Hoch, D. M. Davenport, V. G. Grafe, and K. M. Steele. Compile-time partitioning of a non~ strict language into sequential threads. In Proc. 3rd Syrup. on Par. and Dist. Processing. IEEE, Dec 1991.
	HWe90	P. Hudak and P. Wadler (editors). Report on the programming language Haskell, a non-strict purely functional language (Version 1.0). Technical Report YALEU/DCS/RR777, Yale University Department of Computer Science, New Haven CT, Apt 1990.
	Ian90	Robert A. Iannucci, Parallel Machines: Parallel Machine Languages, Kluwer Academic Publishers, Norwell, MA, 1990
	Joh86	Thomas Johnsson, Target code generation from G-machine code, Proc. of a workshop on Graph reduction, p.119-159, September 1987, Santa Fe, New Mexico, United States
	Myc80	Alan Mycroft, The Theory and Practice of Transforming Call-by-need into Call-by-value, Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming, p.269-281, April 22-24, 1980
	Nik90	R.S. Nikhil. Id version 90.0 reference manual. CSG Memo 284-1, MIT Lab. for Comp. Sci., Cambridge MA, Sep 1990.
	NPA92	R. S. Nikhil , G. M. Papadopoulos , Arvind, T: a multithreaded massively parallel architecture, Proceedings of the 19th annual international symposium on Computer architecture, p.156-167, May 19-21, 1992, Queensland, Australia
	PC90	Gregory M. Papadopoulos , David E. Culler, Monsoon: an explicit token-store architecture, Proceedings of the 17th annual international symposium on Computer Architecture, p.82-91, May 28-31, 1990, Seattle, Washington, United States
	PT91	Gregory M. Papadopoulos , Kenneth R. Traub, Multithreading: a revisionist view of dataflow architectures, Proceedings of the 18th annual international symposium on Computer architecture, p.342-351, May 27-30, 1991, Toronto, Ontario, Canada
	SCvE91	Klaus Erik Schauser , David E. Culler , Thorsten von Eicken, Compiler-controlled multithreading for lenient parallel languages, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.50-72, June 1991, Cambridge, Massachusetts, United States
	Tra86	K. R. Traub, A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTURE, Massachusetts Institute of Technology, Cambridge, MA, 1986
	Tra89	Kenneth R. Traub, Compilation as partitioning: a new approach to compiling non-strict functional languages, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.75-88, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99376]
	Tra91a	Kenneth R. Traub, Implementation of non-strict functional programming languages, MIT Press, Cambridge, MA, 1991
	Tra91b	Kenneth R. Traub, Multi-thread code generation for dataflow architectures from non-strict programs, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.73-101, June 1991, Cambridge, Massachusetts, United States

CITED BY 8

	Ellen Spertus , William J. Dally, Evaluating the locality benefits of active messages, ACM SIGPLAN Notices, v.30 n.8, p.189-198, Aug. 1995
	Xingbin Zhang , Andrew A. Chien, Dynamic pointer alignment: tiling and communication optimizations for parallel pointer-based computations, ACM SIGPLAN Notices, v.32 n.7, p.37-47, July 1997
	Klaus E. Schauser , David E. Culler , Seth C. Goldstein, Separation constraint partitioning: a new algorithm for partitioning non-strict programs into sequential threads, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.259-271, January 23-25, 1995, San Francisco, California, United States
	Lucas Roh , Walid A. Najjar , A. P. Wim Böhm, Generation and quantitative evaluation of dataflow clusters, Proceedings of the conference on Functional programming languages and computer architecture, p.159-168, June 09-11, 1993, Copenhagen, Denmark
	M. Yasugi , Satoshi Matsuoka , Akinori Yonezawa, The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, p.57-66, August 24-26, 1994
	Stephan Murer , Philipp Färber, Code Generation for Multi-Threaded Architectures from Dataflow Graphs, Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, p.77-90, January 20-22, 1993
	Xinan Tang , J. Wang , Kevin B. Theobald , Guang R. Gao, Thread partitioning and scheduling based on cost model, Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures, p.272-281, June 23-25, 1997, Newport, Rhode Island, United States
	P. W. Trinder , K. Hammond , H.-W. Loidl , S. L. Peyton Jones, Algorithm + strategy = parallelism, Journal of Functional Programming, v.8 n.1, p.23-60, January 1998