Javier Pimas, Javier Burroni, Jean Baptiste Arnaud, Stefan Marr,
"Garbage Collection and Eciency in Dynamic Metacircular Runtimes"
: Proceeding DLS 2017 Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, ACM, New York, Seite(n) 39-50, 10-2017, ISBN: 978-1-4503-5526-1
Garbage Collection and Eciency in Dynamic Metacircular Runtimes
Sprache des Titels:
Proceeding DLS 2017 Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages
In dynamic object-oriented languages, low-level mechanisms such as just-in-time compilation, object allocation, garbage collection (GC) and method dispatch are often handled by virtual machines (VMs). VMs are typically implemented using static languages, allowing only few changes at run time. In such systems, the VM is not part of the language and interfaces to memory management or method dispatch are fixed, not allowing for arbitrary adaptation. Furthermore, the implementation can typically not be inspected or debugged with standard tools used to work on application code.
This paper reports on our experience building Bee, a dynamic Smalltalk runtime, written in Smalltalk. Bee is a Dynamic Metacircular Runtime (DMR) and seamlessly integrates the VM into the application and thereby overcomes many restrictions of classic VMs, for instance by allowing arbitrary code modifications of the VM at run time. Furthermore, the approach enables developers to use their standard tools for application code also for the VM, allowing them to inspect, debug, understand, and modify a DMR seamlessly.
We detail our experience of implementing GC, compilation, and optimizations in a DMR. We discuss examples where we found that DMRs can improve understanding of the system, provide tighter control of the software stack, and facilitate research. We also show that the Bee DMR matches and surpass the performance of a widely used Smalltalk VM.