Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/327190
Type: Congresso
Title: A Hardware Approach To Detect, Expose And Tolerate High Level Data Races
Author: Orosa
Lois; Lourenco
Joao
Abstract: Concurrent programs are more complex and error prone than their sequential peers, and are much harder to debug as well. High level data races (HLDR) are one of the concurrency bugs most difficult to debug. They are a class of concurrency errors that are not commonly addressed by the testing and debugging techniques and tools. HLDR result from the misdefinition of the scope of an atomic block, which should be unique but was wrongly split into two or more independent atomic blocks. Interleavings involving these misdefined atomic blocks may violate the program correctness invariants and cause the concurrent program to fail. In this work we propose a hardware module to detect, expose and tolerate HLDR in concurrent programs, with applications in both the software testing and debugging and the software deployment phases. In the detecting mode, our proposal detects HLDR with few false positives and without the overhead and intrusion of other dynamic software approaches. In the exposing mode, it "stimulates" the program to expose existing latent HLDR and trigger hidden HLDRs. Finally, in the tolerating mode, it may act as a software healing technique by inhibiting certain buggy interleavings. The results shows a reasonable performance overhead and few false positives in all modes.
Subject: Concurrency
Testing
Debugging
Data Races
Bloom Filters
Editor: IEEE
New York
Citation: 2016 24th Euromicro International Conference On Parallel,distributed , And Network-based Processing (pdp). Ieee, p. 159 - 167, 2016.
Rights: fechado
Identifier DOI: 10.1109/PDP.2016.57
Address: http://ieeexplore.ieee.org/document/7445326/
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000381810900020.pdf217.71 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.