Filters








30 Hits in 6.3 sec

ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes

M. Prvulovic, J. Torrellas
30th Annual International Symposium on Computer Architecture, 2003. Proceedings.  
Fortunately, we show that mechanisms for Thread-Level Speculation (TLS) can be reused to boost debugging productivity.  ...  ReEnact extends the communication monitoring mechanisms in TLS to also detect data races.  ...  : Debugging Data Races with TLS While the framework just described can be used to debug many different classes of bugs, we now demonstrate it for one class of bugs: data races in multithreaded programs  ... 
doi:10.1109/isca.2003.1206993 dblp:conf/isca/PrvulovicT03 fatcat:lvgx7bnfxjcsros4zkwel4d2ni

ReEnact

Milos Prvulovic, Josep Torrellas
2003 Proceedings of the 30th annual international symposium on Computer architecture - ISCA '03  
Fortunately, we show that mechanisms for Thread-Level Speculation (TLS) can be reused to boost debugging productivity.  ...  ReEnact extends the communication monitoring mechanisms in TLS to also detect data races.  ...  : Debugging Data Races with TLS While the framework just described can be used to debug many different classes of bugs, we now demonstrate it for one class of bugs: data races in multithreaded programs  ... 
doi:10.1145/859618.859632 fatcat:yr2ltsxiajav5edooir43tq7tu

ReEnact

Milos Prvulovic, Josep Torrellas
2003 SIGARCH Computer Architecture News  
Fortunately, we show that mechanisms for Thread-Level Speculation (TLS) can be reused to boost debugging productivity.  ...  ReEnact extends the communication monitoring mechanisms in TLS to also detect data races.  ...  ReEnact: Debugging Data Races with TLS While the framework just described can be used to debug many different classes of bugs, we now demonstrate it for one class of bugs: data races in multithreaded programs  ... 
doi:10.1145/871656.859632 fatcat:5fnbqj4gofdsndbaavfhgvofoy

ReEnact

Milos Prvulovic, Josep Torrellas
2003 Proceedings of the 30th annual international symposium on Computer architecture - ISCA '03  
Fortunately, we show that mechanisms for Thread-Level Speculation (TLS) can be reused to boost debugging productivity.  ...  ReEnact extends the communication monitoring mechanisms in TLS to also detect data races.  ...  ReEnact: Debugging Data Races with TLS While the framework just described can be used to debug many different classes of bugs, we now demonstrate it for one class of bugs: data races in multithreaded programs  ... 
doi:10.1145/859630.859632 fatcat:s7b26uhqkvgzdj7eqyvclu22ae

Using hardware transactional memory for data race detection

Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rotteler
2009 2009 IEEE International Symposium on Parallel & Distributed Processing  
We propose the concept of lightweight debug transactions that exploit the conflict detection mechanisms of transactional memory systems to perform data race detection.  ...  Dependable multithreaded software will have to rely on the ability to dynamically detect nondeterministic and notoriously hard to reproduce synchronization bugs manifested through data races.  ...  ReEnact [22] proposes several additions to hardware thread-level speculation (TLS) mechanisms to support both race detection and debugging by deterministic replay.  ... 
doi:10.1109/ipdps.2009.5161006 dblp:conf/ipps/GuptaSCIR09 fatcat:erm6mlqi4vhlbh3r4qil4x3mjy

BugNet

Satish Narayanasamy, Gilles Pokam, Brad Calder
2005 SIGARCH Computer Architecture News  
In addition, BugNet does not require a final core dump of the system state for replaying, which significantly reduces the amount of data that must be sent back to the developer.  ...  Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code.  ...  We would also like to thank Jack Sampson and the anonymous reviewers for providing useful comments on this paper. This work was funded in part by grants from ST Microelectronics, Intel and Microsoft.  ... 
doi:10.1145/1080695.1069994 fatcat:qyrntmn4fzctde6cfmi5qkoyne

SigRace

Abdullah Muzahid, Dario Suárez, Shanxiang Qi, Josep Torrellas
2009 SIGARCH Computer Architecture News  
Detecting data races in parallel programs is important for both software development and production-run diagnosis.  ...  To avoid these shortcomings, this paper proposes a novel approach to hardwareassisted data race detection. The approach, called SigRace, relies on hardware address signatures.  ...  For example, ReEnact [19] executes under thread-level speculation.  ... 
doi:10.1145/1555815.1555797 fatcat:zthk6ed4srbmvolxi7u7m27jwy

SigRace

Abdullah Muzahid, Dario Suárez, Shanxiang Qi, Josep Torrellas
2009 Proceedings of the 36th annual international symposium on Computer architecture - ISCA '09  
Detecting data races in parallel programs is important for both software development and production-run diagnosis.  ...  To avoid these shortcomings, this paper proposes a novel approach to hardwareassisted data race detection. The approach, called SigRace, relies on hardware address signatures.  ...  For example, ReEnact [19] executes under thread-level speculation.  ... 
doi:10.1145/1555754.1555797 dblp:conf/isca/MuzahidSQT09 fatcat:26sb43trvrbxdj4sualhnxs7ni

Finding concurrency bugs with context-aware communication graphs

Brandon Lucia, Luis Ceze
2009 Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture - Micro-42  
Past work on detecting concurrency bugs has addressed the general problem in an ad-hoc fashion, focusing mostly on data races and atomicity violations.  ...  For example, RecPlay [17] detects data races and provides replay capabilities; AVIO [9] and Atom-Aid [10] detect atomicity violations using heuristics based on identifying unserializable interleavings;  ...  This work was supported in part by NSF under grants CNS-0720593 and CCF-0930512, and gifts from Intel, Microsoft and Google.  ... 
doi:10.1145/1669112.1669181 dblp:conf/micro/LuciaC09 fatcat:tcapnbfx45f4ratnjaerjjhsmm

A serializability violation detector for shared-memory server programs

Min Xu, Rastislav Bodík, Mark D. Hill
2005 Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05  
First, to detect only erroneous executions, SVD checks serializability of atomic regions, which are code regions that need to be executed atomically.  ...  Two properties of SVD help in achieving these goals.  ...  Acknowledgements This work is supported in part by the National Science Foundation We would like to thank Remzi Arpaci-Dusseau, Mikko Lipasti, Barton Miller, and David Wood for useful comments based on  ... 
doi:10.1145/1065010.1065013 dblp:conf/pldi/XuBH05 fatcat:q26l2vhqqndjjhhzgdrpt2iplm

A serializability violation detector for shared-memory server programs

Min Xu, Rastislav Bodík, Mark D. Hill
2005 SIGPLAN notices  
First, to detect only erroneous executions, SVD checks serializability of atomic regions, which are code regions that need to be executed atomically.  ...  Two properties of SVD help in achieving these goals.  ...  Acknowledgements This work is supported in part by the National Science Foundation We would like to thank Remzi Arpaci-Dusseau, Mikko Lipasti, Barton Miller, and David Wood for useful comments based on  ... 
doi:10.1145/1064978.1065013 fatcat:p6vx77bbj5bdzbngkn4ibiywwu

iWatcher

Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, Josep Torrellas
2004 SIGARCH Computer Architecture News  
To further reduce overhead and support rollback, iWatcher can leverage Thread-Level Speculation (TLS). To test iWatcher, we use applications with various bugs.  ...  Recent impressive performance improvements in computer architecture have not led to significant gains in ease of debugging. Software debugging often relies on inserting run-time software checks.  ...  Acknowledgments We thank the anonymous reviewers for useful feedback, the UIUC PROBE, I-ACOMA, and Opera groups for useful discussions, and Paul Sack and Radu Teodorescu for proofreading the paper.  ... 
doi:10.1145/1028176.1006720 fatcat:ktu4qnchwfblnlnkhwhgztbgsa

RADISH

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2012 SIGARCH Computer Architecture News  
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforcing both atomicity and  ...  In RADISH, hardware caches a principled subset of the metadata necessary for race detection; this subset allows the vast majority of race checks to occur completely in hardware.  ...  ReEnact [36] uses thread-level speculation mechanisms to detect races and potentially recover from them via checkpoint/rollback.  ... 
doi:10.1145/2366231.2337182 fatcat:pkplgfzeuzdwnpqjxpsiwymgxe

RADISH: Always-on sound and complete race detection in software and hardware

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2012 2012 39th Annual International Symposium on Computer Architecture (ISCA)  
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforcing both atomicity and  ...  In RADISH, hardware caches a principled subset of the metadata necessary for race detection; this subset allows the vast majority of race checks to occur completely in hardware.  ...  ReEnact [36] uses thread-level speculation mechanisms to detect races and potentially recover from them via checkpoint/rollback.  ... 
doi:10.1109/isca.2012.6237018 dblp:conf/isca/DeviettiWSCGQ12 fatcat:34msft5agbfznhmlrh2y7i74tu

Rerun: Exploiting Episodes for Lightweight Memory Race Recording

Derek R. Hower, Mark D. Hill
2008 2008 International Symposium on Computer Architecture  
We develop a memory race recording mechanism, called Rerun, that uses small hardware state (~166 bytes/core), writes a small race log (~4 bytes/kiloinstruction), and operates well as the number of cores  ...  Multiprocessor deterministic replay has many potential uses in the era of multicore computing, including enhanced debugging, fault tolerance, and intrusion detection.  ...  Hill has in significant financial interest in Sun Microsystems. The views expressed herein are not necessarily those of the NSF, Intel, or Sun Microsystems.  ... 
doi:10.1109/isca.2008.26 dblp:conf/isca/HowerH08 fatcat:cl3joqnzyfhanjhs64fu4rcyvu
« Previous Showing results 1 — 15 out of 30 results