HiPE on AMD64

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

HiPE on AMD64

Full text

Pdf (245 KB)

Source

Annual ERLANG Workshop archive
Proceedings of the 2004 ACM SIGPLAN workshop on Erlang table of contents

Snowbird, Utah, USA

Pages: 38 - 47

Year of Publication: 2004

ISBN:1-58113-918-7

Authors

Daniel Luna	Uppsala University, Sweden
Mikael Pettersson	Uppsala University, Sweden
Konstantinos Sagonas	Uppsala University, Sweden

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 23, Citation Count: 0

Additional Information:

abstract references 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/1022471.1022478 What is a DOI?

ABSTRACT

Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP system from Ericsson. Even though Erlang/OTP is by default based on a virtual machine interpreter, it nowadays also includes the HiPE (High Performance Erlang) native code compiler as a fully integrated component. This paper describes the recently developed port of HiPE to the AMD64 architecture. We discuss technical issues that had to be addressed when developing the port, decisions we took and why, and report on the speedups (compared with BEAM) which HiPE/AMD64 achieves across a range of Erlang programs and how these compare with speedups for the more mature SPARC and x86 back-ends.

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	AMD Corporation. AMD64 Architecture Programmer's Manual, Sept. 2003. Publication #24592, 24593, 24594, 26568, 26569.
	2	AMD Corporation. Software Optimization Guide for AMD Athlon ™ 64 and AMD Opteron ™ 64 Processors, Sept. 2003. Publication # 25112, Revision 3.03.
	3	Joe Armstrong , Robert Virding , Claes Wikström , Mike Williams, Concurrent programming in ERLANG (2nd ed.), Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1996
	4	Preston Briggs , Keith D. Cooper , Linda Torczon, Improvements to graph coloring register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.428-455, May 1994 [doi>10.1145/177492.177575]
	5	Perry Cheng , Robert Harper , Peter Lee, Generational stack collection and profile-driven pretenuring, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.162-173, June 17-19, 1998, Montreal, Quebec, Canada
	6	Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.451-490, Oct. 1991 [doi>10.1145/115372.115320]
	7	Lal George , Andrew W. Appel, Iterated register coalescing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.300-324, May 1996 [doi>10.1145/229542.229546]
	8	Per Gustafsson , Konstantinos Sagonas, Native code compilation of Erlang's bit syntax, Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, p.6-15, October 07-07, 2002, Pittsburgh, Pennsylvania [doi>10.1145/592849.592851]
	9	Erik Johansson , Mikael Pettersson , Konstantinos Sagonas, A high performance Erlang system, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.32-43, September 20-23, 2000, Montreal, Quebec, Canada [doi>10.1145/351268.351273]
	10	E. Johansson, M. Pettersson, K. Sagonas, and T. Lindgren. The development of the HiPE system: Design and experience report. Springer International Journal of Software Tools for Technology Transfer, 4(4):421--436, Aug. 2003.
	11	T. Lindahl and K. Sagonas. Unboxed compilation of floating point arithmetic in a dynamically typed language environment. In R. Peña and T. Arts, editors, Implementation of Functional Languages: Proceedings of the 14th International Workshop, number 2670 in LNCS, pages 134--149. Springer, Sept. 2002.
	12	Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
	13	P. Nyblom. The bit syntax - the released version. In Proceedings of the Sixth International Erlang/OTP User Conference, Oct. 2000. Available at http://www.erlang.se/euc/00/.
	14	Mikael Pettersson , Konstantinos F. Sagonas , Erik Johansson, The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation, Proceedings of the 6th International Symposium on Functional and Logic Programming, p.228-244, September 15-17, 2002
	15	Massimiliano Poletto , Vivek Sarkar, Linear scan register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.5, p.895-913, Sept. 1999 [doi>10.1145/330249.330250]
	16	K. Sagonas and E. Stenman. Experimental evaluation and improvements to linear scan register allocation. Software -- Practice and Experience, 33(11):1003--1034, Sept. 2003.
	17	Thomas G. Szymanski, Assembling code for machines with span-dependent instructions, Communications of the ACM, v.21 n.4, p.300-308, April 1978 [doi>10.1145/359460.359474]
	18	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]