• Eraser

  • Referenced in 43 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded programs. Multithreaded programming is difficult and error ... 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...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided ... verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • race and transaction-aware Java runtime. Data races often result in unexpected and erroneous behavior ... programs to crash, the presence of data races complicates the semantics of an execution which ... throws a DataRaceException when a data race is about to occur. Analogous to other runtime ... start with the definition of data-race-free executions in the Java memory model...
  • LOCKSMITH

  • Referenced in 10 articles [sw20224]
  • detection. One common technique for preventing data races in multi-threaded programs is to ensure ... tool called LOCKSMITH for detecting data races in C programs by looking for violations ... locality; existential quantification for modeling locks in data structures; and heuristics for modeling unsafe features ... Linux device drivers, LOCKSMITH found several races while producing a modest number of false alarm...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • programming model are guaranteed to be data race free. Compared to previous incarnations ... combine the model with an approach for data abstraction and framing based on dynamic frames...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • Goblint: path-sensitive data race analysis. We present Goblint, a static analyzer for detecting potential ... data races in the multithreaded C code. The implemented analysis is sound on a “safe...
  • RELAY

  • Referenced in 5 articles [sw20225]
  • millions of lines of code. Data races occur when multiple threads are about to access ... 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...
  • ESBMC

  • Referenced in 7 articles [sw09946]
  • atomicity and order violations, deadlock and data race; (iii) to verify programs that make...
  • AVIO

  • Referenced in 7 articles [sw23090]
  • work focuses on one bug subclass, data races, and neglects many other important ones such...
  • 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 ... number of data races in some widely used programs...
  • MPM3DMP

  • Referenced in 6 articles [sw19366]
  • decomposition method, are presented to avoid data races in the nodal update stage...
  • CalFuzzer

  • Referenced in 4 articles [sw02027]
  • Active testing can quickly discover real data races, deadlocks, and atomicity violations. Active testing works ... identify potential concurrency bugs, such as data races, deadlocks, and atomicity violations. In the second...
  • GRace

  • Referenced in 2 articles [sw28845]
  • overhead mechanism for detecting data races in GPU programs. In recent years, GPUs have emerged ... their programs. Like any multithreaded environment, data races on GPUs can severely affect the program ... 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...
  • 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 ... result in missing some of the data races, while choosing a large one might lead ... algorithms for dynamic detection of apparent data races. Both extended algorithms detect races in multithreaded...
  • 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...
  • Guava

  • Referenced in 4 articles [sw22683]
  • Guava: a dialect of Java without data races. We introduce Guava, a dialect of Java ... statically guarantee that parallel threads access shared data only through synchronized methods. Our dialect distinguishes...
  • 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...
  • 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...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • also achieved speedups by carefully permitting data races. The monotonicity of 0CFA makes it sound ... possibly using stale or even partially-updated data...