Accelerating data race detection utilizing on-chip data-parallel cores

Vineeth Mekkat, Anup Holey, Antonia Zhai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

Programmers are taking advantage of the increasing availability of on-chip parallelism to meet the rising performance demands of diverse applications. Support of tools that can facilitate the detection of incorrect program execution when concurrent threads are involved is critical to this evolution. Many concurrency bugs manifest as some form of data race condition, and their runtime detection is inherently difficult due to the high overhead of the required memory trace comparisons. Various software and hardware tools have been proposed to detect concurrency bugs at runtime. However, software-based schemes lead to significant performance overhead, while, hardware-based schemes require significant hardware modifications. To enable cost-efficient design of data race detectors, it is desirable to utilize available on-chip resources. The recent integration of CPU cores with data-parallel accelerator cores, such as GPU, provides the opportunity to offload the task of data race detection to these accelerator cores. In this paper, we explore this opportunity by designing a GPU Accelerated Data Race Detector (GUARD) that utilizes GPU cores to process memory traces and detect data races in parallel applications executing on the CPU cores. GUARD further explores various optimization techniques for: (i) reducing the size of memory traces by employing signatures; and (ii) improving accuracy of signatures using coherence-based filtering. Overall, GUARD achieves the performance of hardware-based data race detection mechanisms with minimal hardware modifications.

Original languageEnglish (US)
Title of host publicationRuntime Verification - 4th International Conference, RV 2013, Proceedings
Pages201-218
Number of pages18
DOIs
StatePublished - Nov 18 2013
Event4th International Conference on Runtime Verification, RV 2013 - Rennes, France
Duration: Sep 24 2013Sep 27 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8174 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Runtime Verification, RV 2013
CountryFrance
CityRennes
Period9/24/139/27/13

Fingerprint Dive into the research topics of 'Accelerating data race detection utilizing on-chip data-parallel cores'. Together they form a unique fingerprint.

Cite this