Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2017

Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms

Résumé

Software cache coherence schemes tend to be the solution of choice in dedicated multi/many core systems on chip, as they make the hardware much simpler and predictable. However, despite the developers’ effort, it is hard to make sure that all preventive measurements are taken to ensure coherence. In this work, we propose a method to identify the potential cache coherence violations using traces obtained from virtual platforms. These traces contain causality relations among events, which allow first to simplify the analysis, and second to avoid relying on timestamps. Our method identifies potential violations that may occur during a given execution for write-through and write-back cache policies. Therefore, it is independent of the software coherence protocol. We conducted experiments on parallel applications running on a lightweight SMP operating system, and we were able to detect coherence issues that we could then solve.
Fichier non déposé

Dates et versions

hal-01709225 , version 1 (14-02-2018)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

M. Cunha, O. Matoussi, Frédéric Pétrot. Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (2), pp.30:1-30:21. ⟨10.1145/2990193⟩. ⟨hal-01709225⟩

Collections

UGA CNRS TIMA
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More