(Enter summary)
Abstract: In this State of the art Report (SotA), we will give an introduction to work presented in the area of debugging large software systems with modern hardware architectures. We will discuss techniques used for single- multi- and distributed systems. In addition we will provide pointers to work by large players in the field, and major conferences of importance. (Update)
Context of citations to this paper: More
...facilitate debugging. 1 Introduction Debugging of real time systems requires the use of monitoring, logging of monitoring data, and replay [2]. On line, during the execution of the system, information is extracted (the system is monitored) and stored (logged) to a persistent...
.... important events and data during a reference execution and to reproduce the execution in a subsequent replay execution [15] 14][7]. As for most replay debugging methods, if the reference execution fails, the replay execution can be used to reproduce the failure repeatedly...
Cited by: More
AADEBUG2003 261 Availability Guarantee for - Deterministic Replay Starting
(Correct)
Replay Debugging of Complex Real-Time Systems.. - Sundmark, Thane.. (2003)
(Correct)
Starting Conditions for Post-Mortem Debugging using.. - Huselius, Sundmark.. (2003)
(Correct)
Active bibliography (related documents): More All
0.9: Execution Replay and Debugging - Ronsse, De Bosschere, de Kergommeaux
(Correct)
0.9: Testing of Computer Software with Temporal Constraints - A.. - Pettersson
(Correct)
0.9: Efficient Logging without Compromising Testability - Huselius (2002)
(Correct)
Similar documents based on text: More All
0.8: Results from the Validation of ECETES - Huselius (2003)
(Correct)
0.7: Source-Code to the ECETES Logging Strategy - Huselius (2003)
(Correct)
0.3: Elimination of Nondeterminacy for Testing and Debugging Parallel .. - Oberhuber (1995)
(Correct)
Related documents from co-citation: More All
4: Replay Debugging of Real-Time Systems Using Time Machines (context) - Thane, Sundmark et al. - 2003
4: Using Deterministic Replay for Debugging of Distributed RealTime Systems (context) - Thane, Hansson - 2000
3: Testing distributed real-time systems
- Thane, Hansson - 2001
BibTeX entry: (Update)
Joel Huselius. Debugging Parallel Systems: A State of the Art Report. Technical Report 63, Malardalen University, Department of Computer Science and Engineering, September 2002. http://citeseer.ist.psu.edu/huselius02debugging.html More
@techreport{ huselius_2002,
author = {Joel Huselius},
title = {{D}ebugging {P}arallel {S}ystems: {A} {S}tate of the {A}rt {R}eport},
institution = {M\"{a}lardalen University, Department of Computer Science and Engineering},
year = {2002},
number = {63},
month = {September},
url = {citeseer.ist.psu.edu/huselius02debugging.html} }
Citations (may not include all citations):
917
and the Ordering of Events in a Distributed System (context) - Lamport, Clocks - 1978
406
TreadMarks: Distributed Shared Memory on Standard Workstatio..
- Keleher - 1994
217
Optimistic Recovery in Distributed Systems (context) - Strom, Yemini - 1985
163
Debugging Parallel Programs with Instant Replay (context) - LeBlanc, Mellor-Crummey - 1987
126
Debugging Concurrent Programs (context) - McDowell, Helmbold - 1989
120
ACM Transactions on Programming Languages and Systems (context) - Lamport, Generals - 1982
104
Clock Synchronization in Distributed Real-Time Systems (context) - Kopetz, Ochsenreiter - 1987
73
Prentice Hall International Series in Computer Science (context) - Milner, Concurrency - 1989
62
The SPARC Architecture Manual (context) - Weaver, Germand - 1994
32
Using Complete Machine Simulation to Understand Computer Sys.. (context) - Herrod - 1998
29
Optimal Tracing and Replay for Debugging Shared-Memory Paral..
- Netzer - 1993
24
ACM Letters on Programming Languages and Systems (context) - Netzer, Miller et al. - 1992
22
Fundamentals of Distributed System Observation (context) - Fidge - 1996
19
Operating Systems: Internals and Design Principles (context) - Stallings - 2001
18
Replay for Concurrent Non-Deterministic Shared-Memory Applic.. (context) - Russinovich, Cogswell - 1996
17
Models for Visualization in Parallel Debuggers (context) - Pancake, Utter - 1989
17
Dependability: Basic Concepts and Associated Terminology (context) - Laprie - 1992
17
Replay and Testing for Concurrent Programs (context) - Carver, Tai - 1991
16
Race Condition Detection for Debugging Shared-Memory Program..
- Netzer - 1991
16
Testing and Debugging of Distributed Real-Time Systems (context) - Thane - 2000
15
Saving Traces for Ada Debugging (context) - LeDoux, Parker - 1985
15
RecPlay Fully Integrated Practical RecordReplay System (context) - Ronsse, RecPlay et al. - 1999
14
Using Deterministic Replay for Debugging of Distributed Real.. (context) - Thane, Hansson - 2000
13
A Software Instruction Counter (context) - Mellor-Crummey, LeBlanc - 1989
11
Towards Systematic Testing of Distributed Real-Time Systems (context) - Thane, Hansson - 1999
9
Replica Determinism in Fault-Tolerant Real-Time Systems (context) - Poledna - 1994
8
Execution Replay for TreadMarks
- Ronsse, Zwaenepoel - 1997
8
Fundamental Issues in Testing Distributed Real-Time Systems (context) - Schutz - 1994
8
Resettable Vector Clocks
- Arora - 2000
8
Critical-Path-Based Message Logging for Incremental Replay o.. (context) - Netzer - 1994
7
Testing Distributed Real-Time Systems
- Thane, Hansson - 2001
7
Re-execution of Distributed Programs to Detect Bugs Hidden b..
- Kilgore, Chase - 1997
6
A New Trace and Replay System for Shared Memory Programs bas.. (context) - Levrouw - 1994
6
Software-Practise and Experience (context) - Gait, Probe et al. - 1986
6
Execution Replay and Debugging
- Ronsse - 2000
6
The Asterix Real-Time Kernel
- Thane - 2001
6
Software Fault Trees and Weakest Preconditions: A Comparison.. (context) - Clarke, McDermid - 1993
6
Event Graph Analysis for Debugging Massively Parallel Progra.. (context) - Kranzlmuller - 2000
6
Hardware Accelerator for Single and Multiprocessor RealTime ..
- Lindh - 1998
5
Computing Surveys (context) - Co, System - 1971
4
IEEE Transactions on Software Engineering (context) - Plattner, Monitoring - 1984
4
Debugging Distributed Applications with Replay Capabilities
- Neri - 1997
4
Non-Stop Monitoring and Debugging on Shared-Memory Multiproc..
- Stewart, Gentleman - 1997
3
A Comparative Study of Libraries for Parallel Processing (context) - Snelling, Ho - 1988
3
cient Algorithms for Bidirectional Debugging (context) - Boothe - 2000
3
Safety and Computers (context) - Leveson, System - 1995
2
Non-Intrusive On-the-Fly Data Race Detection Using Execution..
- Ronsse, De Bosschere - 2000
2
Trace Size vs Parallelism in Trace-and-Replay Debugging of S..
- Netzer - 1993
2
Optimal Message Log Reclamation for Uncoordinated Checkpoint.. (context) - Wang, Fuchs - 1995
2
A Taxonomy of Distributed Debuggers Based on Execution Repla..
- Dionne - 1996
2
Distributed Real-Time Systems: Monitoring Visualization and .. (context) - rey - 1996
2
Towards Target-Level Testing and Debugging Tools for Embedde.. (context) - Koehnemann, Lindquist - 1993
1
Performance Debugging of Parallel and Distributed Embedded S.. (context) - Suarez - 2000
1
Integration Testing of Fixed Priority Scheduled Real-Time Sy..
- Thane - 2001
1
Emerging On-Chip Debugging Techniques for Real-Time Embedded.. (context) - MacNamee, He - 2000
1
A Backgroud Debugging Mode Driver Package for Modular Microc.. (context) - Howard - 1996
1
Xunify - a Performance Debugger for a Distributed Shared Mem..
- Lumpp - 1998
1
Distrubuted Operating Systems & Algorithms (context) - Chow, Johnson - 1997
1
The Nexus 5001 Forum Standard for a Global Embedded Debug In.. (context) - Standards, Orginization - 1999
1
Parallel Program Debugging (context) - LeBlanc - 1989
1
Cyclic Debugging Using Execution Replay (context) - Ronsse - 2074
1
cient Logging Algorithm for Incremental Replay of Message-Pa.. (context) - Zambonelli, Netzer - 1999
1
A Hardware and Software Monitor for High-Level System-on-Chi.. (context) - Shobaki, Lindh - 2001
Documents on the same site (http://www.mrtc.mdh.se/publications/): More
Real-Time Components - Isovic, Lindgren
(Correct)
Attribute Assignment for the Integration of Off-line and.. - Dobrin, Fohler
(Correct)
Data Field Haskell - Holmerin, Lisper (1999)
(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