• Eraser

  • Referenced in 43 articles [sw08922]
  • mistake in synchronization that produces a data race, yet it can be extremely hard ... tool, called Eraser, for dynamically detecting data races in lock-based multithreaded programs. Eraser uses...
  • LOCKSMITH

  • Referenced in 10 articles [sw20224]
  • correlation analysis for race detection. One common technique for preventing data races in multi-threaded ... present a tool called LOCKSMITH for detecting data races in C programs by looking...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • Goblint, a static analyzer for detecting potential data races in the multithreaded C code ... sufficiently efficient to be used for race-detection of multithreaded programs up to about...
  • DIOTA

  • Referenced in 3 articles [sw16122]
  • Detecting data races in sequential programs with DIOTA. In this paper we show that data ... turns out that adapting existing data race detectors to detect such bugs for sequential programs ... modifications that were necessary to detect data races in sequential programs. The experimental evaluation revealed...
  • MultiRace

  • Referenced in 2 articles [sw21726]
  • MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs: Research Articles. Data ... handling the task efficiently, since the data race detection problem is computationally hard ... data races, while choosing a large one might lead to false detection. We present ... algorithms for dynamic detection of apparent data races. Both extended algorithms detect races in multithreaded...
  • RELAY

  • Referenced in 5 articles [sw20225]
  • RELAY: static race detection on millions of lines of code. Data races occur when multiple ... those accesses is a write. Such races can lead to hard-to-reproduce bugs that ... present RELAY, a static and scalable race detection analysis in which unsoundness is modularized ... experiments using RELAY to find data races in the Linux kernel, which includes about...
  • GRace

  • Referenced in 1 article [sw28845]
  • GRace: a low-overhead mechanism for detecting data races in GPU programs. In recent years ... data races on GPUs can severely affect the program reliability. Thus, tool support for detecting ... application developers. Existing approaches for detecting data races on CPUs or GPUs have ... underlying GPUs, GRace can accurately detect data races with no false positives reported. Based...
  • TaskChecker

  • Referenced in 2 articles [sw08428]
  • Efficient data race detection for async-finish parallelism. A major productivity hurdle for parallel programming ... presence of data races. Data races can lead to all kinds of harmful program behaviors ... However, runtime overheads of current dynamic data race detectors are still prohibitively large (often incurring ... paper, we present an efficient dynamic race detection algorithm that handles both the async-finish...
  • CURD

  • Referenced in 1 article [sw28763]
  • easy for concurrency bugs such as data races to arise. These con- currency bugs ... While some tools exist to detect data races in GPU pro- grams, they are often ... data races in shared memory. Compared to prior work, our race detector, CURD, can detect ... data races precisely on both shared and global memory, selects an appropriate race detection algorithm...
  • GMRace

  • Referenced in 1 article [sw28764]
  • GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme. In recent years ... their programs. Like any multithreaded environment, data races on GPUs can severely affect the program ... propose GMRace, a new mechanism for detecting races in GPU programs. GMRace combines static analysis ... underlying GPUs, GMRace can accurately detect data races with no false positives reported. Our experimental...
  • ThreadSanitizer

  • Referenced in 1 article [sw21727]
  • ThreadSanitizer: data race detection in practice. Data races are a particularly unpleasant kind of threading ... presents ThreadSanitizer -- a dynamic detector of data races. We describe the hybrid algorithm (based ... call dynamic annotations -- a sort of race detection API that allows a user to inform...
  • LDetector

  • Referenced in 1 article [sw28762]
  • OverheadRace Detector For GPU Programs. Data race detection becomes an important problem ... novel solution mainly aimed atdetecting data races happening in shared memory accesses with nouse...
  • QuickLex

  • Referenced in 1 article [sw23063]
  • concurrent programs using QuickLex, which can detect data races and violation of invariants...
  • AVIO

  • Referenced in 6 articles [sw23090]
  • previous concurrency bug detection work focuses on one bug subclass, data races, and neglects many ... innovative, comprehensive, invariantbased approach called AVIO to detect atomicity violations. Our idea is based...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • throws a DataRaceException when a data race is about to occur. Analogous to other runtime ... provides two key benefits. First, accesses causing race conditions are interruptedand handled before they cause ... detection mechanism inoptimistic uses of concurrency. We start with the definition of data-race-free...
  • ompVerify

  • Referenced in 2 articles [sw26768]
  • detect an important class of common data-race errors in OpenMP parallel loop programs ... specified omp parallel for directives and data races. The analysis is based on the polyhedral ... subtle parallelization errors that are difficult to detect, even for expert OpenMP programmers...
  • tsan

  • Referenced in 1 article [sw21723]
  • Dynamic race detection for C++11. The intricate rules for memory ordering and synchronisation associated ... memory model mean that data races can be difficult to eliminate from concurrent programs. Dynamic ... operations. We present a scalable dynamic data race analysis for C/C++11 that correctly captures ... results show that our method can detect races that are beyond the scope...
  • racecheck

  • Referenced in 1 article [sw28757]
  • incorrect program assumptions may result in data races. Racecheck is a tool built to identify ... free of shared memory races. Currently, this tool only supports detecting accesses to on-chip...
  • TSOTool

  • Referenced in 4 articles [sw10131]
  • TSOtool runs pseudo-randomly generatedprograms with data races on a system compliant with theTotal Store ... Such analysis can expose subtle memory errorslike data corruption, atomicity violation and illegalinstruction ordering.While verifying ... beingincomplete, it has been successful in detecting several bugs inthe design of commercial microprocessors...