Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1940831
Sist endret:
21. desember 2022, 15:07
NVI-rapporteringsår:
2021
Resultat
Vitenskapelig artikkel
2021
Hardware-Assisted Online Data Race Detection
Faustin Ahishakiye
Jose Ignacio Requeno Jarabo
Ka I Pun
og
Volker Stolz
Tidsskrift
Tidsskrift
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Trykket: 2021
Volum: 13065
Open Access
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/978-3-030-87348-6_6
Institusjonsarkiv
hdl.handle.net/11250/2984243
Beskrivelse
Beskrivelse
Engelsk
Tittel
Hardware-Assisted Online Data Race Detection
Sammendrag
Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This paper shows how to detect data races using the COEMS technology through continuous online monitoring with low-impact instrumentation on a novel FPGA-based external platform for embedded multicore systems. It is used in combination with formal specifications in the high-level stream-based temporal specification language TeSSLa, in which we encode a lockset-based algorithm to indicate potential race conditions. We show how to instantiate a TeSSLa template that is based on the Eraser algorithm, and present a corresponding light-weight instrumentation mechanism that emits necessary observations to the FPGA with low overhead. We illustrate the feasibility of our approach with experimental results on detection of data races on a sample application.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Faustin Ahishakiye
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Jose Ignacio Requeno Jarabo
Forfatter
ved Universidad Complutense de Madrid
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Violet Ka I Pun
Bidragsyterens navn vises på dette resultatet som Ka I Pun
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Volker Stolz
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1
-
4
av
4
Tilknyttede prosjekter
Tilknyttede prosjekter
COEMS Training Network
Volker Stolz
Høgskulen på Vestlandet
1 resultat
Avsluttet prosjekt
1
-
1
av
1