2026-08-01T05:09:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23597 2025-07-07T04:33:34Z ddc:004 open_access

Revisiting Timing Anomalies in Predictable In-Order Pipelines Rouizi, Lilia Asavoae, Mihail Binder, Benjamin Rieg, Lionel Brandner, Florian Timing Anomalies Causality Timing Predictability Timing Analysis The quality of timing guarantees ensured through worst-case-execution time analysis and schedulability tests - required to be both sound and precise - is directly influenced by the predictability properties of the execution platform. A platform is considered predictable when safe and precise bounds can be computed through analysis tools. Counter-intuitive and Amplification Timing Anomalies (TAs) are detrimental to predictability and thus may make it much harder/impossible to compute such bounds. In order to address this issue, research has followed two orthogonal approaches, (i) designing predictable execution platforms and (ii) characterizing counter-intuitive TAs through formal definitions. However, predictable designs rarely apply any formal definitions of timing anomalies. This paper aims at investigating precisely this relationship. We first show how a previously proposed definition of counter-intuitive TAs can be applied to the predictable in-order processor SIC. We then extend this approach in order to provide the first formal definition of both counter-intuitive and amplification effects. The proposed definitions are then evaluated on a regular in-order processor as well as the predictable SIC core using a systematic approach that allows to assess their applicability and relevance. Finally, we prove, for the first time, the absence of some, but not all, TA effects in SIC. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Lilia Rouizi and Mihail Asavoae and Benjamin Binder and Lionel Rieg and Florian Brandner 2025 Is Part Of LIPIcs, Volume 335, 37th Euromicro Conference on Real-Time Systems (ECRTS 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECRTS.2025.19 urn:nbn:de:0030-drops-235974 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2025.19 eng https://creativecommons.org/licenses/by/4.0/legalcode