Pyrlang: a high performance Erlang virtual machine based on RPython
Pages 48 - 49
Abstract
In widely-used actor-based programming languages, such as Erlang, sequential execution performance is as important as scalability of concurrency. We are developing a virtual machine called Pyrlang for the Erlang BEAM bytecode with a just-in-time (JIT) compiler. By using RPython’s tracing JIT compiler, our preliminary evaluation showed approximately twice speedup over the standard Erlang interpreter. In this poster, we overview the design of Pyrlang and the tech- niques to apply RPython’s tracing JIT compiler to BEAM bytecode programs written in the Erlang’s functional style of programming.
References
[1]
G. Agha. Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge, 1986.
[2]
J. Armstrong. ”The development of Erlang.” In Proceedings of International Conference on Functional Programming ’97, pages 196–203. ACM, 1997.
[3]
E. Johansson, et al. HiPE: High Performance Erlang. Technical Report ASTEC report 99/04, Uppsala University, 1999.
[4]
C. F. Bolz, A. Cuni, M. Fijalkowski, & A. Rigo. Tracing the meta-level: PyPy’’s tracing JIT compiler. In Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems pages 18-25. ACM, 2009.
[5]
Bolz, Carl Friedrich, et al. ”Allocation removal by partial evaluation in a tracing JIT.” Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. ACM, 2011.
[6]
C. F. Bolz, T. Pape, J. Siek, and S. Tobin-Hochstadt. ”Metatracing makes a fast Racket.” In Proceedings of Workshop on Dynamic Languages and Applications. 2014.
[7]
H. Hayashizaki, P. Wu, H. Inoue, M. J. Serrano, and T. Nakatani. Improving the performance of trace-based systems by false loop filtering. In Proceedings of the sixteenth international Conference on Architectural support for programming Languages and operating systems pages 405- 418. ACM, 2012.
[8]
K. Li and P. Hudak. A new list compaction method. Software: Practice and Experience 16.2:145-163, 1986.
[9]
Z. Shao, J. H. Reppy, and A. W. Appel. Unrolling lists. In Proceedings of the ACM Conference on Lisp and Functional Programming pages 185–195, 1994.
[10]
K. Lundin. ”About Erlang/OTP and Multi-core performance in particular.” Erlang Factory London (2009).
Index Terms
- Pyrlang: a high performance Erlang virtual machine based on RPython
Recommendations
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programmingMost Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...
Parallel virtual machines with RPython
DLS 2016: Proceedings of the 12th Symposium on Dynamic LanguagesThe RPython framework takes an interpreter for a dynamic language as its input and produces a Virtual Machine (VM) for that language. RPython is being used to develop PyPy, a high-performance Python interpreter. However, the produced VM does not support ...
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Thanks to partial evaluation and meta-tracing, it became practical to build language implementations that reach state-of-the-art peak performance by implementing only an interpreter. Systems such as RPython and GraalVM provide components such as a ...
Comments
Information & Contributors
Information
Published In
October 2015
112 pages
Copyright © 2015 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 October 2015
Check for updates
Author Tags
Qualifiers
- Abstract
Conference
SPLASH '15
Sponsor:
SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity
October 25 - 30, 2015
PA, Pittsburgh, USA
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 113Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in