On How to Identify Cache Coherence: Case of the NXP QorIQ T4240 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

On How to Identify Cache Coherence: Case of the NXP QorIQ T4240

Résumé

Architectures used in safety critical systems have to pass certain certification standards, which require sufficient proof that they will behave as expected. Multi-core processors make this challenging by featuring complex interactions between the tasks they run. A lot of these interactions are made without explicit instructions from the program designers. Furthermore, they can have strong negative impacts on performance (and potentially affect correctness). One important such source of interactions is cache coherence, which speeds up operations in most cases, but can also lead to unexpected variations in execution time if not fully understood. Architecture documentations often lack details on the implementation of cache coherence. We thus propose a strategy to ascertain that the platform does indeed implement the cache coherence protocol its user believes it to. We also apply this strategy to the NXP QorIQ T4240, resulting in the identification of a protocol (MESIF) other than the one this architecture’s documentation led us to believe it was using (MESI).
Fichier principal
Vignette du fichier
DTIS21114.1620033312.pdf (770.84 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03215824 , version 1 (03-05-2021)

Identifiants

Citer

Nathanaël Sensfelder, Julien Brunel, Claire Pagetti. On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Jul 2020, MODENE, Italy. ⟨10.4230/LIPIcs.ECRTS.2020.13⟩. ⟨hal-03215824⟩

Collections

ONERA PHYLOG
80 Consultations
84 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More