Scheduling garbage collection in realtime systems
2010 (English)In: CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, New York, NY: ACM Digital Library, 2010, 51-60 p.Conference paper (Refereed)
The key to successful deployment of garbage collection in real-time systems is to enable provably safe schedulability tests of the real-time tasks. At the same time one must be able to determine the total heap usage of the system. Schedulability tests typically require a uniformed model of timing assumptions (inter-arrival times, deadlines, etc.). Incorporating the cost of garbage collection in such tests typically requires both artificial timing assumptions of the garbage collector and restricted capabilities of the task scheduler. In this paper, we pursue a different approach. We show how the reactive object model of the programming language Timber enables us to decouple the cost of a concurrently running copying garbage collector from the schedulability of the real-time tasks. I.e., we enable any regular schedulability analysis without the need of incorporating the cost of an interfering garbage collector. We present the garbage collection demand analysis, which determines if the garbage collector can be feasibly scheduled in the system.
Place, publisher, year, edition, pages
New York, NY: ACM Digital Library, 2010. 51-60 p.
Research subject Embedded System
IdentifiersURN: urn:nbn:se:ltu:diva-28516DOI: 10.1145/1878961.1878971Local ID: 255107c0-c1ab-11df-a707-000ea68e967bISBN: 978-1-60558-905-3OAI: oai:DiVA.org:ltu-28516DiVA: diva2:1001714
International Conference on Hardware-Software Codesign and System Synthesis : 24/10/2010 - 29/10/2010
Godkänd; 2010; 20100916 (keero)2016-09-302016-09-30Bibliographically approved