On How to Identify Cache Coherence: Case of the NXP QorIQ T4240 - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

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

Abstract

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
Origin Publisher files allowed on an open archive

Dates and versions

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

Identifiers

Cite

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
86 View
92 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More