Symposium on Computer Architecture (ISCA-30), June 2003. ReEnact: Using...  Home/Search
Context
Related
| uiuc.edu/iacomapapers/reenact.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: While removing software bugs consumes vast amounts of human time, hardware support for debugging in modern computers remains rudimentary. Fortunately, we show that mechanisms for Thread-Level Speculation (TLS) can be reused to boost debugging productivity. Most notably, TLS's rollback capabilities can be extended to support rolling back recent buggy execution and repeating it as many times as necessary until the bug is fully characterized. These incremental re-executions are deterministic even... (Update)
Active bibliography (related documents): More All
0.8: Software Logging under Speculative Parallelization - Garzaran, Prvulovic.. (Correct)
0.4: iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (Correct)
0.4: Hybrid Transactional Memory - Sanjeev Kumar Michael (Correct)
Similar documents based on text: More All
0.1: Detecting Data Races on Weak Memory Systems - Adve, Hill, Miller, Netzer (1991) (Correct)
0.1: On-the-fly Detection of Data Races for Programs with Nested.. - Mellor-Crummey (Correct)
0.1: SmartApps, an Application Centric Approach to High .. - Dang, Garzaran.. (Correct)
BibTeX entry: (Update)
@misc{ computer-appears,
author = "Symposium On Computer",
title = "Appears in the Proceedings of the 30th Annual International",
url = "citeseer.ist.psu.edu/608611.html" }
Citations (may not include all citations):353 The SPLASH-2 Programs: Characterization and Methodological C.. - Woo - 1995 DBLP
140 Eraser: A Dynamic Data Race Detector for MultiThreaded Progr.. - Savage - 1997 DBLP
114 Logical Time in Distributed Computing Systems (context) - Fidge - 1991 ACM DBLP
79 Removing Architectural Bottlenecks to the Scalability of Spe.. - Prvulovic, Garzaran et al. - 2001 ACM DBLP
74 Speculative Versioning Cache - Gopal, Vijaykumar et al. - 1998
72 Data Speculation Support for a Chip Multiprocessor (context) - Hammond, Willey et al. - 1998 ACM DBLP
70 Efficient and Correct Execution of Parallel Programs that Sh.. (context) - Shasha, Snir - 1988 ACM DBLP
65 The ParaScope Parallel Programming Environment - Cooper - 1993
61 The IA-32 Intel Architecture Software Developer's Manual (context) - Corporation - 2002
58 DIVA: A Reliable Substrate for Deep Submicron Microarchitect.. - Austin - 1999 DBLP
38 Architectural Support for Scalable Speculative Parallelizati.. - Cintra, Martinez et al. - 2000 ACM DBLP
38 A Scalable Approach to Thread-Level Speculation - Steffan, Colohan et al. - 2000 ACM DBLP
27 Detecting Data Races on Weak Memory Systems - Adve, Hill et al. - 1991 ACM DBLP
27 Race Frontier: Reproducing Data Races in Parallel-Program De.. (context) - Choi, Min - 1991 DBLP
22 The Superthreaded Processor Architecture - Tsai - 1999 ACM DBLP
16 Exploiting Fine-Grain Thread-Level Parallelism on the MIT Mu.. - Keckler - 1998
15 RecPlay Fully Integrated Practical RecordReplay System (context) - Bosschere, Integrated et al. - 1999
14 Detecting Violations of Sequential Consistency - Gharachorloo, Gibbons - 1991 ACM DBLP
14 Debugging with GDB - The GNU Source-Level Debugger (context) - Stallman, Pesch et al. - 2002
13 Efficient and Precise Datarace Detection for Multithreaded O.. - Choi - 2002 ACM DBLP
12 An Efficient Cache-Based Access Anomaly Detection Scheme - Min, Choi - 1991 ACM DBLP
12 SafetyNet Improving Availability Shared Memory Multiprocesso.. - Hill, Improving et al. - 2002
11 Detailed Design and Evaluation of Redundant Multithreading A.. - Mukherjee, Kontz et al. - 2002 ACM DBLP
9 Blueprints for High Availability (context) - Marcus, Stern - 2000 ACM
7 Enhancing Software Reliability with Speculative Threads - Oplinger, Lam - 2002 ACM DBLP
6 ReVive: Cost-Effective Architectural Support for Rollback Re.. - Prvulovic, Zhang et al. - 2002 DBLP
3 Tradeoffs in Buffering Memory State for ThreadLevel Speculat.. (context) - Garzaran - 2003
1 A Protocol-Centric Approach to Onthe -Fly Race Detection (context) - Perkovic, Keleher - 2000
Documents on the same site (http://iacoma.cs.uiuc.edu/papers.html): More
Comprehensive Hardware and Software Support for Operating.. - Xia, Torrellas (1999) (Correct)
Software Trace Cache - Ramírez, Larriba-Pey.. (1999) (Correct)
An Efficient Algorithm for the Run-time Parallelization of .. - Chen, Torrellas, Yew (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC