NDLI: Non-Intrusive Detection of Synchronization Errors Using Execution Replay

Content Provider	Springer Nature Link
Author	Ronsse, Michiel De Bosschere, Koen
Copyright Year	2002
Abstract	This paper presents a practical solution for detecting synchronization errors in parallel programs. These errors are: a lack of synchronization resulting in data races, conflicting synchronization resulting in deadlock and redundant synchronization resulting in a performance penalty.The solution consists of a combination of RecPlay, an efficient execution replay mechanism combined with automatic on-the-fly data race detection, deadlock detection and the detection of redundant synchronization during a replayed execution. The detection of data races, deadlocks and redundant synchronization normally introduces an important overhead during an execution, possibly altering the execution. However, by performing these extensive operations during a replayed and therefore unaltered execution there is almost no probe effect. Furthermore, the memory consumption during the data race detection is limited through the use of multilevel bitmaps and snooped matrix clocks. As the record phase of RecPlay is highly efficient, there is no need to switch it off, hereby eliminating the possibility of Heisenbugs because tracing can be left on all the time.
Starting Page	95
Ending Page	121
Page Count	27
File Format	PDF
ISSN	09288910
Journal	Automated Software Engineering
Volume Number	9
Issue Number	1
e-ISSN	15737535
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2002-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Software Engineering/Programming and Operating Systems Artificial Intelligence (incl. Robotics)
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Controlled execution with explicit model

Measuring the Execution Time of Fragmented Programs

A model of dynamical concurrent program execution

On frequency analysis of sequential program code execution

Estimation of the execution time in real-time systems

Renaming Detection

Execution and optimization techniques for approximate queries in heterogeneous systems

Editorial: software defect detection

Features of the deterministic replay in the case of a minimum device set

Non-Intrusive Detection of Synchronization Errors Using Execution Replay

Similar Documents

Controlled execution with explicit model

Measuring the Execution Time of Fragmented Programs

A model of dynamical concurrent program execution

On frequency analysis of sequential program code execution

Estimation of the execution time in real-time systems

Renaming Detection

Execution and optimization techniques for approximate queries in heterogeneous systems

Editorial: software defect detection

Features of the deterministic replay in the case of a minimum device set

Non-Intrusive Detection of Synchronization Errors Using Execution Replay