Object race detection

By Christoph von Praun, Thomas R. Gross. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001

328 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/6b5eeb5a017de5758e9773b52b0292cfc987ce3d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

In Hardware and Architecture

Citations in the corpus

Atomizer: a dynamic atomicity checker for multithreaded programs (2004, methodology): “The possible states of our algorithm, as shown in Fig. 13, are similar to the states in earlier race detectors [1, 32 ]:”
Effective static race detection for Java (2006, background): “, [2, 38, 49, 50], have reduced it significantly, with a recent implementation having a run-time overhead of only 13–42% [11].”
FastTrack: efficient and precise dynamic race detection (2009, methodology): “As reported previously [16, 28, 38, 39], some of these are benign (as in tsp, mtrt, and jbb) but others can impact program behavior (as on the checksum field in raytracer and races on several fields related to a thread pool in hedc).”
Race directed random testing of concurrent programs (2008, methodology): “We considered the following closed benchmark programs in our experiments: moldyn, montecarlo, raytracer, three benchmarks from the Java Grande Forum, cache4j, a fast thread-safe implementation of a cache for Java objects, sor, successive order-relaxation benchmark from ETH [53], hedc, a web-craw”
Ownership types for safe programming: preventing data races and deadlocks (2002, methodology): “These include systems developed in the scientic parallel programming community [20], tools like Eraser [43], and tools for detecting data races in Java programs [ 46 , 11].”
Hybrid type checking (2006, background): “Specialized hybrid analyses have been proposed for other problems as well, such as data race condition checking [41, 34, 2].”
KISS: keep it simple and sequential (2004, methodology): “This algorithm has been extended to object-oriented languages [40] and improved for precision and performance [10].”
AVIO: detecting atomicity violations via access interleaving invariants (2006, background): “In dynamic race detection, happens-before [7, 26, 28] and lockset algorithms [6, 34, 38] have been thoroughly studied.”