Efficient noise injection for exposing hidden data races

Cited 1 time in webofscience Cited 0 time in scopus
  • Hit : 61
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorYu, Misunko
dc.contributor.authorMa, Yu-Seungko
dc.contributor.authorBae, Doo-Hwanko
dc.date.accessioned2020-05-14T02:20:03Z-
dc.date.available2020-05-14T02:20:03Z-
dc.date.created2019-12-02-
dc.date.issued2020-01-
dc.identifier.citationJOURNAL OF SUPERCOMPUTING, v.76, no.1, pp.292 - 323-
dc.identifier.issn0920-8542-
dc.identifier.urihttp://hdl.handle.net/10203/274184-
dc.description.abstractThe happens-before (HB) relation is widely used to precisely detect data races, which are among the major causes of concurrency bugs. However, the HB relation is sensitive to thread interleaving; thus, hidden races that can be revealed in other thread interleavings may remain despite the repeated running of a program with an HB detector. In this paper, we propose a noise injection-based race detection technique (RaceInducer) that can expose and detect hidden races by using the runtime HB analysis result to determine the noise injection instants. RaceInducer delays a thread execution after the occurrence of the first no-lock non-racing accesses of three types (read-exclusive, write-exclusive, and read-shared) to a shared variable during a precise HB detection (FastTrack). Using this technique, RaceInducer can efficiently disturb the normal locking sequences between two threads that generate HB edges hiding data races. We implemented RaceInducer on the RoadRunner instrumentation framework for Java and evaluated its detection capability and runtime overheads on 12 real-world benchmark programs. The evaluation results showed that RaceInducer generated a lower runtime overhead compared to random noise injection that randomly injected noise for no-lock non-racing accesses and can detect more races with the same noise strength. RaceInducer generates particularly lower runtime overhead than the random noise injection for large programs that generates a high number of shared-memory accesses. In addition, we experimentally demonstrated that RaceInducer incurred lower runtime overheads than a current hidden-race detector (DrFinder) for programs with a relatively large number of locking operations.-
dc.languageEnglish-
dc.publisherSPRINGER-
dc.titleEfficient noise injection for exposing hidden data races-
dc.typeArticle-
dc.identifier.wosid000494226800005-
dc.identifier.scopusid2-s2.0-85074477284-
dc.type.rimsART-
dc.citation.volume76-
dc.citation.issue1-
dc.citation.beginningpage292-
dc.citation.endingpage323-
dc.citation.publicationnameJOURNAL OF SUPERCOMPUTING-
dc.identifier.doi10.1007/s11227-019-03031-0-
dc.contributor.localauthorBae, Doo-Hwan-
dc.contributor.nonIdAuthorYu, Misun-
dc.contributor.nonIdAuthorMa, Yu-Seung-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorData race-
dc.subject.keywordAuthorHappens-before relation-
dc.subject.keywordAuthorNoise injection-
dc.subject.keywordAuthorDynamic detection-
dc.subject.keywordPlusSUPPORTING SELECTIVE UNDO-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 1 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0