Cristin-resultat-ID: 1940831
Sist endret: 3. november 2021, 11:01
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

Hardware-Assisted Online Data Race Detection

Bidragsytere:
  • Faustin Ahishakiye
  • Jose Ignacio Requeno Jarabo
  • Ka I Pun og
  • Volker Stolz

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Trykket: 2021
Volum: 13065

Beskrivelse Beskrivelse

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.

Bidragsytere

Faustin Ahishakiye

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Jose Ignacio Requeno Jarabo

  • Tilknyttet:
    Forfatter
    ved Universidad Complutense de Madrid
  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Ka I Pun

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1 - 4 av 4