NDLI: SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Content Provider	IEEE Xplore Digital Library
Author	Zhezhe Chen Xinyu Li Jau-Yuan Chen Hua Zhong Feng Qin
Copyright Year	2012
Abstract	While improving the performance, nonblocking communication is prone to synchronization errors between MPI applications and the underlying MPI libraries. Such synchronization error occurs in the following way. After initiating nonblocking communication and performing overlapped computation, the MPI application reuses the message buffer before the MPI library completes the use of the same buffer, which may lead to sending out corrupted message data or reading undefined message data. This paper presents a new method called Sync Checker to detect synchronization errors in MPI nonblocking communication. To examine whether the use of message buffers is well synchronized between the MPI application and the MPI library, Sync Checker first tracks relevant memory accesses in the MPI application and corresponding message send/receive operations in the MPI library. Then it checks whether the correct execution order between the MPI application and the MPI library is enforced by the MPI completion check routines. If not, Sync Checker reports the error with diagnostic information. To reduce runtime overhead, we propose three dynamic optimizations. We have implemented a prototype of Sync Checker on Linux and evaluated it with seven bug cases, i.e., five introduced by the original developers and two injected, in four different MPI applications. Our experiments show that Sync Checker detects all the evaluated synchronization errors and provides helpful diagnostic information. Moreover, our experiments with seven NAS Parallel Benchmarks demonstrate that Sync Checker incurs moderate runtime overhead, 1.3-9.5 times with an average of 5.2 times, making it suitable for software testing.
Starting Page	342
Ending Page	353
File Size	842139
Page Count	12
File Format	PDF
ISBN	9781467309752
ISSN	15302075
DOI	10.1109/IPDPS.2012.40
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-05-21
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Synchronization Libraries Runtime Instruments Computer bugs Semantics Prototypes
Content Type	Text
Resource Type	Article

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

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Syncchecker: detecting synchronization errors between mpi applications and libraries.

A generic approach of static analysis for detecting runtime errors in Java programs

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Detecting latent cross-platform API violations

Optimization Strategies for MPI-Interoperable Active Messages

BIRD: binary interpretation using runtime disassembly

Holistic Debugging of MPI Derived Datatypes

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Similar Documents

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Syncchecker: detecting synchronization errors between mpi applications and libraries.

A generic approach of static analysis for detecting runtime errors in Java programs

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Detecting latent cross-platform API violations

Optimization Strategies for MPI-Interoperable Active Messages

BIRD: binary interpretation using runtime disassembly

Holistic Debugging of MPI Derived Datatypes

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries