NDLI: Lightweight fault detection in parallelized programs

Please wait, while we are loading the content...

Query-directed adaptive heap cloning for optimizing compilers

Lightweight fault detection in parallelized programs

Acceldroid: Co-designed acceleration of Android bytecode

Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs

Effective fault localization based on minimum debugging frontier set

Practical lock/unlock pairing for concurrent programs

Hidp: A hierarchical data parallel language

On the platform specificity of STM instrumentation mechanisms

Automatic construction of inlining heuristics using machine learning

A polynomial spilling heuristic: Layered allocation

JSWhiz: Static analysis for JavaScript memory leaks

Locality-aware mapping and scheduling for multicores

Smart, adaptive mapping of parallelism in the presence of external workload

Experiences in designing a robust and scalable interpreter profiling framework

Instant profiling: Instrumentation sampling for profiling datacenter applications

Pertinent path profiling: Tracking interactions among relevant statements

Profmig: A framework for flexible migration of program profiles across software versions

Skadu: Efficient vector shadow memories for poly-scopic program analysis

Bandwidth Bandit: Quantitative characterization of memory contention

SIMD parallelization of applications that traverse irregular data structures

Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms

Portable mapping of data parallel programs to OpenCL for heterogeneous systems

Profile-guided automated software diversity

Schnauzer: scalable profiling for likely security bug sites

Hydra: Automatic algorithm exploration from linear algebra equations

Automatically exploiting cross-invocation parallelism using runtime information

Idempotent code generation: Implementation, analysis, and evaluation

Improving data access efficiency by using a tagless access buffer (TAB)

Just-in-time value specialization

Defensive loop tiling for shared cache

Runtime dependence computation and execution of loops on heterogeneous systems

Convergence and scalarization for data-parallel architectures

A fast and low-overhead technique to secure programs against integer overflows

[Front cover]

[Copyright notice]

Message from the general chairs

Organizing committee

External reviewers

Author index

Lightweight fault detection in parallelized programs

Content Provider	ACM Digital Library
Author	Tan, Li Feng, Min Gupta, Rajiv
Abstract	A popular approach for producing parallel software is to develop a sequential version of an application and then incrementally introduce parallel constructs to parallelize different parts of the application. During the parallelization process, programming errors may be introduced, causing concurrency bugs. In this paper we develop a technique for runtime detection of data dependence faults (i.e., data races and atomicity violations) introduced during parallelization. By leveraging the availability of two versions of the program, the sequential one and the parallelized one, we comparison check dynamic data dependences exercised during executions of the two versions to identify faults. To reduce the cost of comparison checking we develop three optimizations. The first optimization causes only a subset of dynamically exercised data dependences to be comparison checked. The second optimization shows that not all instances of a dynamically exercised data dependence need to be comparison checked. The third optimization shows that static analysis of parallelizing constructs can be exploited to eliminate the need for executing the parallelized version altogether. In addition, our solution is applicable when different program executions on the same input may follow different execution paths, it is effective in situations where the fault introduced manifests itself rarely during execution, and it is also effective in pinpointing the location of the fault in the program. We implemented and evaluated our approach using ten benchmarks. The experimental results indicate an average slowdown of 3x to perform fault detection.
Starting Page	1
Ending Page	11
Page Count	11
File Format	PDF
ISBN	9781467355247
DOI	10.1109/CGO.2013.6494979
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-02-23
Access Restriction	Subscribed
Subject Keyword	Atomicity violations program parallelization debugging dependence violation data races
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

Lightweight fault detection in parallelized programs

Falcon: fault localization in concurrent programs

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

Lightweight fault detection in parallelized programs

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

AVIO: detecting atomicity violations via access interleaving invariants

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

Falcon: fault localization in concurrent programs

Automated atomicity-violation fixing

Lightweight fault detection in parallelized programs

Similar Documents

Lightweight fault detection in parallelized programs

Falcon: fault localization in concurrent programs

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

Lightweight fault detection in parallelized programs

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

AVIO: detecting atomicity violations via access interleaving invariants

Static Detection of Atomicity Violations in Object-Oriented Programs (2003)

Falcon: fault localization in concurrent programs

Automated atomicity-violation fixing

Lightweight fault detection in parallelized programs