Abstract
We present an intermediate representation called ThreadTDF, a component of the Parallel TDF system for compiling distributed concurrent programs to shared and distributed memory multiprocessors. ThreadTDF is a parallel extension of the TDF architecture neutral distribution format (ANDF) for sequential programs. ThreadTDF provides featherweight thread mechanisms for explicitly scheduling dynamic finegrain concurrent computations within procedures (and more generally within static local scopes). Communication between address spaces is supported by remote service request mechanisms based upon asynchronous activation of remote threads and synchronous remote procedure calls. In ThreadTDF variable lifetimes bound the lifetimes of featherweight threads declared in their scope. We show how a compiler uses thread lifetime information to integrate resource allocation and communication with thread scheduling for efficient intraprocedural concurrency. Initial performance results are given for the SPARC processor.
This work was carried out under contract for the UK Defence Research Agency
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
V. Bala and J. Ferrante. Explicit data placement(XDP): A methodology for explicit compile-time representation and optimisation of data movement. ACM SIGPLAN notices, 28(1):28–31, January 1993.
Robert D. Blumofe and Charles E. Leiserson. Scheduling multithreaded computations by work stealing. In Proceedings of the 35th Annual Symposium on Foundations of Computer Science (FOCS '94), pages 356–368, Santa Fe, New Mexico, November 1994.
Frédéric Broustaut, Christian Fabre, François de Ferrière, éric Ivanov, and Mauro Fiorentini. Verification of ANDF components. In Proceedings of the 1995 ACM Workshop on Intermediate Representations, 1995.
Daved E. Culler, Seth Copen Goldstein, Klaus Erik Schauser, and Thorsten von Eicken. TAM — a compiler controlled threaded abstract machine. Report, Computer science division, University of California, 1993.
Mark Debbage, Mark Hill, Sean Wykes, and Denis Nicole. Southampton's Portable Occam Compiler (SPOC): User Guide. University of Southampton, Southampton, UK, March 1994.
Stephen L. Diamond and Gianluigi Castelli. Architecture Neutral Distribution Format (ANDF). IEEE Micro, 14(6):73–76, December 1994.
DRA. TDF Specification, Issue 3. Open Software Systems Group, St. Andrews Rd, Malvern, Worcs, WR14 3PS, UK, March 1994. Obtainable via WWW from http://riwww.osf.org:8001/andf/andf.papers/toc.html.
P. W. Edwards, D. I. Bruce, D. J. C. Hutchinson, I. F. Currie, and P. D. Hammond. TDF and parallel object oriented languages. Deliverable 2.2 IED3/1/1059, Defense Research Agency, Open Software Systems Group, St. Andrews Rd, Malvern, Worcs, WR14 3PS, UK, 1992. October.
Ian Foster, Carl Kesselman, and Steven Tuecke. Nexus: Runtime support for taskparallel programming languages. Technical report, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 1994.
E. W. Giering, Frank Mueller, and T. P. Baker. Implementing Ada 9X features using POSIX threads: Design issues (draft). Technical report, New York University, Computer Science Department, New York, NY 10003, USA, 1993.
Matthew Haines, David Cronk, and Piyush Mehrotra. On the design of Chant: A talking threads package. In Proceedings of Supercomputing 94, pages 350–359, November 1994. Washington, DC.
S. Hiranandani, K. Kennedy, and C. Tseng. Preliminary experiences with the Fortran D compiler. In Supercomputing 93, pages 338–350, November 1993. Portland, Oregon.
Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach, and William E. Weihl. Efficient implementation of high-level languages on user-level communication architectures. Technical report, MIT, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Massachusetts 02139, May 1994.
V. B. Muchnick and A. V. Shafarenko. F-code: A portable software platform for data-parallel lanaguages. Technical report, Dept. of Electronic and Electrical Engineering, University of Surrey, April 1992.
Ben Sloman and Tom Lake. Extending TDF for concurrency and distribution. Report, GLOSSA, 59 Alexandra Road, Reading, RG1 5PG, UK, January 1995.
T. von Eicken, D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active messages: a mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture, pages 256–266, May 1992. Gold Coast, Australia.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sloman, B., Lake, T. (1995). Featherweight threads and ANDF compilation of concurrency. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020485
Download citation
DOI: https://doi.org/10.1007/BFb0020485
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive