The Predictable Execution Model in Practice
| العنوان: | The Predictable Execution Model in Practice |
|---|---|
| المؤلفون: | Björn Forsberg, Andrea Marongiu, Marco Solieri, Marko Bertogna, Luca Benini |
| المصدر: | ACM Transactions on Embedded Computing Systems, 20 (5) |
| بيانات النشر: | Association for Computing Machinery (ACM), 2021. |
| سنة النشر: | 2021 |
| مصطلحات موضوعية: | Computer science, 02 engineering and technology, computer.software_genre, 01 natural sciences, Predictable execution models, Software, Commercial off-the-shelf systems, Freedom from interference, Memory interference, Multi-core systems, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Execution model, 010302 applied physics, business.industry, Suite, 020202 computer hardware & architecture, Code refactoring, Hardware and Architecture, Programming paradigm, Benchmark (computing), Memory footprint, Compiler, business, computer, Computer hardware |
| الوصف: | Adoption of multi- and many-core processors in real-time systems has so far been slowed down, if not totally barred, due do the difficulty in providing analytical real-time guarantees on worst-case execution times. The Predictable Execution Model (PREM) has been proposed to solve this problem, but its practical support requires significant code refactoring, a task better suited for a compilation tool chain than human progranuners. Implementing a PREM compiler presents significant challenges to conform to PREM requirements, such as guaranteed upper bounds on memory footprint and the generation of efficient schedulable non-preemptive regions. This article presents a comprehensive description on how a PREM compiler can be implemented, based on several years of experience from the community. We provide accumulated insights on how to best balance conformance to real-time requirements and performance and present novel techniques that extend the applicability from simple benchmark suites to real-world applications. We show that code transformed by the PREM compiler enables timing predictable execution on modern commercial off-the-shelf hardware, providing novel insights on how PREM can protect 99.4% of memory accesses on random replacement policy caches at only 16%. performance loss on benchmarks from the PolyBench benchmark suite. Finally, we show that the requirements imposed on the programming model are well-aligned with current coding guidelines for timing critical software, promoting easy adoption. ISSN:1539-9087 ISSN:1558-3465 |
| تدمد: | 1558-3465 1539-9087 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9b66a49ce43f5c4ee7e9ff8748929b2 https://doi.org/10.1145/3465370 |
| حقوق: | OPEN |
| رقم الأكسشن: | edsair.doi.dedup.....b9b66a49ce43f5c4ee7e9ff8748929b2 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15583465 15399087 |
|---|