NDLI: LOFT: Redundant Synchronization Event Removal for Data Race Detection

Content Provider	IEEE Xplore Digital Library
Author	Yan Cai Chan, W.K.
Copyright Year	2011
Abstract	Many happens-before based techniques for multithreaded programs implement vector clocks to track incrementally the causal relations among the synchronization operations acting on threads and locks. In these detectors, every such operation results in a vector-based assignment to a vector clock, even though the assigned value is the same as the value of the vector clock right before the assignment. The cost of such vector-based operations however grows with the number of threads and the amount of such operations. It is unclear to what extent redundant assignments can be removed. Whether two consecutive assignments to the same vector clock of a thread result in the same content critically depends on the operations on the locks occurred in between these assignments. In this paper, we systematically explore the said insight and quantify a sufficient condition that can soundly remove such operations without affecting the precision of such tracking. We applied our approach on Fast Track to formulate LOFT. We evaluate LOFT using the PARSEC benchmarking suite. The result shows that, on average, LOFT removes 58.0% of all such operations incurred by Fast Track, and runs 16.2% faster than the latter in tracking the causal relations among these operations.
Starting Page	160
Ending Page	169
File Size	325578
Page Count	10
File Format	PDF
ISBN	9781457720604
ISSN	10719458
DOI	10.1109/ISSRE.2011.12
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-11-29
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Vectors Clocks Instruction sets Detectors Heuristic algorithms Synchronization Algorithm design and analysis redundant operation optimization data race detection
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

Hybrid dynamic data race detection in systemC

Efficient Data Race Detection for C/C++ Programs Using Dynamic Granularity

Array Shadow State Compression for Precise Dynamic Race Detection (T)

Acculock: Accurate and efficient detection of data races

Dynamic data race detection in Java-programs using synchronization contracts

SimpleLock: Fast and Accurate Hybrid Data Race Detector

Low-overhead and high coverage run-time race detection through selective meta-data management

Tuning Static Data Race Analysis for Automotive Control Software

Demand-driven software race detection using hardware performance counters

LOFT: Redundant Synchronization Event Removal for Data Race Detection

Similar Documents

Hybrid dynamic data race detection in systemC

Efficient Data Race Detection for C/C++ Programs Using Dynamic Granularity

Array Shadow State Compression for Precise Dynamic Race Detection (T)

Acculock: Accurate and efficient detection of data races

Dynamic data race detection in Java-programs using synchronization contracts

SimpleLock: Fast and Accurate Hybrid Data Race Detector

Low-overhead and high coverage run-time race detection through selective meta-data management

Tuning Static Data Race Analysis for Automotive Control Software

Demand-driven software race detection using hardware performance counters

LOFT: Redundant Synchronization Event Removal for Data Race Detection