2026-07-24T02:47:24Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7168 2024-03-06T10:39:52Z ddc:004 open_access

WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment Mancuso, Renato Pellizzoni, Rodolfo Tokcan, Neriman Caccamo, Marco real-time multicore WCET single-core equivalence DRAM management certification In the last decade there has been a steady uptrend in the popularity of embedded multi-core platforms. This represents a turning point in the theory and implementation of real-time systems. From a real-time standpoint, however, the extensive sharing of hardware resources (e.g. caches, DRAM subsystem, I/O channels) represents a major source of unpredictability. Budget-based memory regulation (throttling) has been extensively studied to enforce a strict partitioning of the DRAM subsystem’s bandwidth. The common approach to analyze a task under memory bandwidth regulation is to consider the budget of the core where the task is executing, and assume the worst-case about the remaining cores' budgets. In this work, we propose a novel analysis strategy to derive the WCET of a task under memory bandwidth regulation that takes into account the exact distribution of memory budgets to cores. In this sense, the proposed analysis represents a generalization of approaches that consider (i) even budget distribution across cores; and (ii) uneven but unknown (except for the core under analysis) budget assignment. By exploiting the additional piece of information, we show that it is possible to derive a more accurate WCET estimation. Our evaluations highlight that the proposed technique can reduce overestimation by 30% in average, and up to 60%, compared to the state of the art. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Renato Mancuso and Rodolfo Pellizzoni and Neriman Tokcan and Marco Caccamo 2017 Is Part Of LIPIcs, Volume 76, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECRTS.2017.3 urn:nbn:de:0030-drops-71684 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2017.3 eng https://creativecommons.org/licenses/by/3.0/legalcode