Affiliation:
1. University of Bristol, Bristol, UK
Abstract
Garbage collected programming languages, such as Python and C#, have accelerated software development. These modern languages increase productivity and software reliability as they provide high-level data representation and control structures. Modern languages are widely used in software development for mobile, desktop, and server devices, but their adoption is limited in real-time embedded systems.
There is clear interest in supporting modern languages in embedded devices as emerging markets, like the Internet of Things, demand ever smarter and more reliable products. Multiple commercial and open-source projects, such as Zerynth and MicroPython, are attempting to provide support. But these projects rely on software garbage collectors that impose high overheads and introduce unpredictable pauses, preventing their use in many embedded applications. These limitations arise from the unsuitability of conventional processors for performing efficient, predictable garbage collection.
We propose the Integrated Hardware Garbage Collector (IHGC); a garbage collector tightly coupled with the processor that runs continuously in the background. Further, we introduce a static analysis technique to guarantee that real-time programs are never paused by the collector. Our design allocates a memory cycle to the collector when the processor is not using the memory. The IHGC achieves this by careful division of collection work into single-memory-access steps that are interleaved with the processor’s memory accesses. As a result, our collector eliminates run-time overheads and enables real-time program analysis.
The principles behind the IHGC can be used in conjunction with existing architectures. For example, we simulated the IHGC alongside the ARMv6-M architecture. Compared to a conventional processor, our experiments indicate that the IHGC offers 1.5–7 times better performance for programs that rely on garbage collection. The IHGC delivers the benefits of garbage-collected languages with real-time performance but without the complexity and overheads inherent in software collectors.
Funder
Engineering and Physical Sciences Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference62 articles.
1. Arm Limited. 2009. Cortex-M0 Technical Reference Manual. Retrieved from https://developer.arm.com/documentation/ddi0432/latest/. Arm Limited. 2009. Cortex-M0 Technical Reference Manual. Retrieved from https://developer.arm.com/documentation/ddi0432/latest/.
2. Arm Limited. 2019. Mbed TLS. Retrieved from https://github.com/ARMmbed/mbedtls. Arm Limited. 2019. Mbed TLS. Retrieved from https://github.com/ARMmbed/mbedtls.
3. Controlling fragmentation and space consumption in the Metronome, a real-time garbage collector for Java;Bacon David F.;ACM SIGPLAN Not.,2003
4. A real-time garbage collector with low overhead and consistent utilization;Bacon David F.;ACM SIGPLAN Not.,2003
5. Michel Berkelaar Kjell Eikland and Peter Notebaert. 2005. lp_solve version 5.5–open source (mixed-integer) linear programming system. Michel Berkelaar Kjell Eikland and Peter Notebaert. 2005. lp_solve version 5.5–open source (mixed-integer) linear programming system.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献