Interferences within a certifiable design methodology for high-performance multi-core platforms
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915931157954560 |
|---|---|
| author | Khelassi, Mohamed Amine Suchert, Felix Amalou, Abderaouf Lesage, Benjamin Christmann, Anika Hapka, Robin Castrillon, Jeronimo Asavoae, Mihail Jan, Mathieu Pagetti, Claire Saidi, Selma |
| author_facet | Khelassi, Mohamed Amine Suchert, Felix Amalou, Abderaouf Lesage, Benjamin Christmann, Anika Hapka, Robin Castrillon, Jeronimo Asavoae, Mihail Jan, Mathieu Pagetti, Claire Saidi, Selma |
| contents | The adoption of high-performance multi-core platforms in avionics and automotive systems introduces significant challenges in ensuring predictable execution, primarily due to shared resource interferences. Many existing approaches study interference from a single angle-for example, through hardware-level analysis or by monitoring software execution. However, no single abstraction level is sufficient on its own. Hardware behavior, program structure, and system configuration all interact, and a complete view is needed to understand where interferences come from and how to reduce them. In this paper, we present a methodology that brings together several tools that operate at different abstraction levels. At the lowest level, PHYLOG provides a formal model of the hardware and identifies possible interference channels using micro-architectural transactions. At the program level, machine learning analysis locates the exact parts of the code that are most sensitive to shared-resource contention. At the compilation level, MLIR-based transformations use this information to reshape memory access patterns and reduce pressure on shared resources. Finally, at the system level, Linux cgroups enforce static execution constraints to prevent highly interfering tasks from running together. The goal of our approach is to reduce memory interference and improve the system's predictability, thereby easing the certification process of multi-core systems in safety-critical domains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_09559 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interferences within a certifiable design methodology for high-performance multi-core platforms Khelassi, Mohamed Amine Suchert, Felix Amalou, Abderaouf Lesage, Benjamin Christmann, Anika Hapka, Robin Castrillon, Jeronimo Asavoae, Mihail Jan, Mathieu Pagetti, Claire Saidi, Selma Distributed, Parallel, and Cluster Computing Operating Systems Software Engineering The adoption of high-performance multi-core platforms in avionics and automotive systems introduces significant challenges in ensuring predictable execution, primarily due to shared resource interferences. Many existing approaches study interference from a single angle-for example, through hardware-level analysis or by monitoring software execution. However, no single abstraction level is sufficient on its own. Hardware behavior, program structure, and system configuration all interact, and a complete view is needed to understand where interferences come from and how to reduce them. In this paper, we present a methodology that brings together several tools that operate at different abstraction levels. At the lowest level, PHYLOG provides a formal model of the hardware and identifies possible interference channels using micro-architectural transactions. At the program level, machine learning analysis locates the exact parts of the code that are most sensitive to shared-resource contention. At the compilation level, MLIR-based transformations use this information to reshape memory access patterns and reduce pressure on shared resources. Finally, at the system level, Linux cgroups enforce static execution constraints to prevent highly interfering tasks from running together. The goal of our approach is to reduce memory interference and improve the system's predictability, thereby easing the certification process of multi-core systems in safety-critical domains. |
| title | Interferences within a certifiable design methodology for high-performance multi-core platforms |
| topic | Distributed, Parallel, and Cluster Computing Operating Systems Software Engineering |
| url | https://arxiv.org/abs/2604.09559 |