NDLI: Acculock: Accurate and efficient detection of data races

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

Front matter

Message from the general chair

Message from the program co-chairs

Sponsors

WIR 2011: Workshop on intermediate representations

ACCA 2011: Workshop "analyse to compile, compile to analyse"

IMPACT 2011: First international workshop on polyhedral compilation techniques

SMART 2011: Fifth workshop on statistical and machine learning approaches to ARchitecture and compilaTion

GROW 2011: Third international workshop on GCC research opportunities

WISH: Third workshop on infrastructures for software/hardware co-design

ODES: Workshop on optimizations for DSP and embedded systems

Tutorial: Array building blocks: A dynamic compiler for data-parallel heterogeneous systems

Tutorial: Building dynamic instrumentation tools with DynamoRIO

Tutorial: Essential abstractions in GCC

Tutorial: GPU programming models, optimizations and tuning

Tutorial: Detailed pin!

Tutorial: PIPS: An interprocedural extensible source-to-source compiler infrastructure for code/application transformations and instrumentations

Tutorial: AlphaZ and the polyhedral equational model

Tutorial: Program optimization through loop vectorization

Tutorial: Reconciling compilers and timing analysis for safety-critical real-time systems -- The WCET-aware C compiler WCC

Tutorial: Inside X10: Implementing a high-level language on distributed and heterogeneous platforms

Keynote I: The language, optimizer, and tools mess

Keynote II: Formally verifying a compiler: Why? How? How far?

MAO -- An extensible micro-architectural optimizer

Phase-based tuning for better utilization of performance-asymmetric multicore processors

Dynamic register promotion of stack variables

Link-time optimization for power efficiency in a tagless instruction cache

The runtime abort graph and its application to software transactional memory optimization

LAR-CC: Large atomic regions with conditional commits

Runtime automatic speculative parallelization

Dynamically accelerating client-side web applications through decoupled execution

Language and compiler support for auto-tuning variable-accuracy algorithms

Automated programmable control and parameterization of compiler optimizations

Extendable pattern-oriented optimization directives

Predictive modeling in a polyhedral optimization space

Automatic parallelization of fine-grained meta-functions on a chip multiprocessor

Whole-function vectorization

Vapor SIMD: Auto-vectorize once, run everywhere

On-chip cache hierarchy-aware tile scheduling for multicore machines

Pinpointing data locality problems using data-centric analysis

Automated locality optimization based on the reuse distance of string operations

Neighborhood-aware data locality optimization for NoC-based multicores

Acculock: Accurate and efficient detection of data races

Practical memory checking with Dr. Memory

Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language

A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing

A trace-based Java JIT compiler retrofitted from a method-based compiler

Using machines to learn method-specific compilation strategies

Prioritizing constraint evaluation for efficient points-to analysis

Highly scalable distributed dataflow analysis

Flow-sensitive pointer analysis for millions of lines of code

Author index

Acculock: Accurate and efficient detection of data races

Content Provider	ACM Digital Library
Author	Xue, Jingling Xie, Xinwei
Abstract	Happens-before detectors are precise but can be too conservative to detect certain data races in repeated test runs as they are sensitive to thread interleaving. By making the opposite tradeoffs, lockset detectors can detect more races but are not precise (by reporting false positives). For both types of detectors, happens-before detectors run more slowly as they use expensive vector clocks. Existing hybrid race detectors (combining lockset and happens-before) alleviate some of the limitations in both analysis techniques at the cost of additional analysis overhead. Recently, due to FastTrack, epoch-based happens-before and lockset detectors now exhibit comparable performance. It is the time to rethink how to design a hybrid race detector to balance precision and coverage, by leveraging the lightweightness of epoch clocks. Acculock is the first such a solution. Acculock analyzes a program by reasoning about the subset of the happens-before relation observed with lock acquires and releases excluded, thereby reducing its sensitivity to thread interleaving. When such a weaker happens-before relation is violated, Acculock applies a new efficient lockset algorithm to enforce a lock-based synchronization discipline by distinguishing the locks protecting reads and writes. The key motivation behind is to ensure that Acculock can improve happens-before detectors by discovering also data races in alternate thread interleavings when analyzing one program execution while limiting false warnings thus incurred in a controlled manner. In addition, Acculock achieves these objectives by maintaining comparable performance as FastTrack, the fastest happens-before detector. All these properties of Acculock are validated and confirmed by comparing it against six other detectors, all implemented in Jikes RVM using 11 benchmark programs.
Starting Page	201
Ending Page	212
Page Count	12
File Format	PDF
ISBN	9781612843568
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-04-02
Access Restriction	Subscribed
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

Acculock: Accurate and efficient detection of data races

Acculock: Accurate and Efficient Detection of Data Races

Efficient detection of data races in SR programs (1996)

Efficient Detection of Data Races in SR Programs

PACER: proportional detection of data races

Efficient detection of determinacy races in Cilk programs

Dynamic recognition of synchronization operations for improved data race detection

Accurate and efficient filtering for the Intel thread checker race detector

Loop monotonic computations: an approach for the efficient run-time detection of races

Acculock: Accurate and efficient detection of data races

Similar Documents

Acculock: Accurate and efficient detection of data races

Acculock: Accurate and Efficient Detection of Data Races

Efficient detection of data races in SR programs (1996)

Efficient Detection of Data Races in SR Programs

PACER: proportional detection of data races

Efficient detection of determinacy races in Cilk programs

Dynamic recognition of synchronization operations for improved data race detection

Accurate and efficient filtering for the Intel thread checker race detector

Loop monotonic computations: an approach for the efficient run-time detection of races

Acculock: Accurate and efficient detection of data races