Cache Predictability and Performance Improvement in ARINC-653 Compliant Systems

Depuis les années 2000, les processeurs multi-coeurs sont développés afin de répondre à une demande croissante en performances et miniaturisation.Ces nouvelles architectures viennent remplacer les processeurs mono-coeurs, moins rentables sur le plan des performances et de la consommation énergétique.De par cette transition, les systèmes avioniques actuels se retrouvent face à un défi de taille.Ces systèmes critiques n'utilisent que des processeurs mono-coeurs, éprouvés et validés depuis des années afin de garantir la fiabilité du système.Cependant, les fabriquants de processeurs et autres microcontrôleur délaissent peu à peu ces architectures pour ne produire que des processeurs multi-coeurs.Afin de maintenir les systèmes avioniques critiques, les intégrateurs doivent alors se tourner vers ces nouveaux processeurs.Cependant, cette transition n'est pas sans défi.Outre le fait de devoir assurer la portabilité des applications mono-coeur dans un environnement multi-coeurs, l'utilisation de plusieurs coeurs permet leur exécution concurrente.Ce nouveau paradigme apporte aux systèmes des comportements qui peuvent entrainer, dans certains cas, un dysfonctionnement complet du système.De tels comportements ne sont pas acceptables dans ces systèmes où la moindre faute peut provoquer des pertes humaines.Les systèmes critiques suivent certaines règles afin de garantir leur intégrité.Le standard ARINC-653 définit un ensemble de règles et de recommandations afin de développer ce genre de systèmes.Le standard introduit le concept de système partitionné où chaque partition s'exécute indépendamment des autres et ne peut pas influer sur le comportement du système ou des autres partitions.Ainsi, si une partition vient à fonctionner anormalement, son exécution ne peut compromettre le bon fonctionnement des autres partitions.Le problème émergeant dans les architectures multicoeurs vient du fait que plusieurs partitions peuvent s'exécuter de manière parallèle.Cette nouvelle possibilité introduit de la concurrence sur les ressources du système, ce qui génère des comportements non prévisibles.Ces comportements, appelés interférences apparaissent lorsque plusieurs coeurs partagent les mêmes ressources.Lors d'un accès à ces ressources (mémoire, périphériques, etc.), un arbitrage doit être fait afin d'assurer l'intégrité des données.Cet arbitrage peut causer des délais dans l'accès à une ressource.De plus si plusieurs partitions accèdent à une même ressource, le concept d'isolation n'est plus respecté.Dans le cas des mémoires caches partagées, une partition peut évincer des données utilisées par une autre partition.Dans ce mémoire, nous étudions la possibilité d'empêcher l'évincement de données des caches privés d'un processeur.Cette méthode, appelée cache locking, permet de réduire le nombre de fautes de cache dans les caches privés et ainsi limiter les accès aux caches partagés.Cela permet de réduire les interférences liées aux caches partagés, non seulement vi en termes de concurrence d'accès, mais aussi d'évincement non voulus de données dans ces caches.Ainsi nous introduisons un outil de profilage d'utilisation de la mémoire dans les systèmes partitionnés.Nous présentons aussi un algorithme associé à cet outil permettant de sélectionner le contenu des mémoires caches devant être empêché d'être évincé.Cet outil propose un processus complet de traitement des traces d'accès mémoire jusqu'à la création des fichiers de configuration.Nous avons validé notre approche par le biais de simulation et d'expérimentation sur matériel réel.Un système d'exploitation temps réel respectant la norme ARINC-653 a été utilisé afin de conduire nos expérimentations.Les résultats obtenus sont encourageants et permettent de comprendre l'impact des méthodes de caches locking pour les systèmes embarqués multi-coeurs.vii

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.