Sign In

Communications of the ACM

Research highlights

FastTrack: Efficient and Precise Dynamic Race Detection


View as: Print Mobile App ACM Digital Library Full Text (PDF) In the Digital Edition Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
race track

Credit: iStockPhoto.com

Multithreaded programs are notoriously prone to race conditions. Prior work developed precise dynamic race detectors that never report false alarms. However, these checkers employ expensive data structures, such as vector clocks (VCs), that result in significant performance overhead.

This paper exploits the insight that the full generality of VCs is not necessary in most cases. That is, we can replace VCs with an adaptive lightweight representation that, for almost all operations of the target program, requires constant space and supports constant-time operations. Experimental results show that the resulting race detection algorithm is over twice as fast as prior precise race detectors, with no loss of precision.

Back to Top

1. Introduction

Multithreaded programs are prone to race conditions and other concurrency errors such as deadlocks and violations of expected atomicity or determinism properties. The broad adoption of multicore processors is exacerbating these problems, both by driving the development of multithreaded software and by increasing the interleaving of threads in existing multithreaded systems.

A race condition occurs when two threads concurrently perform memory accesses that conflict. Accesses conflict when they read or write the same memory location and at least one of them is a write. In this situation, the order in which the two conflicting accesses are performed can affect the program's subsequent state and behavior, likely with unintended and erroneous consequences.

Race conditions are notoriously problematic because they typically cause problems only on rare interleavings, making them difficult to detect, reproduce, and eliminate. Consequently, much prior work has focused on static and dynamic analysis tools for detecting race conditions.

To maximize test coverage, race detectors use a very broad notion of when two conflicting accesses are considered concurrent. The accesses need not be performed at exactly the same time. Instead, the central requirement is that there is no "synchronization dependence" between the two accesses, such as the dependence between a lock release by one thread and a subsequent lock acquire by a different thread. These various kinds of synchronization dependencies form a partial order over the instructions in the execution trace called the happens-before relation.13 Two memory accesses are then considered to be concurrent if they are not ordered by this happens-before relation.

In this paper, we focus on online dynamic race detectors, which generally fall into two categories depending on whether they report false alarms. Precise race detectors never produce false alarms. Instead, they compute a precise representation of the happens-before relation for the observed trace and report an error if and only if the observed trace has a race condition. Note that there are typically many possible traces for a particular program, depending on test inputs and scheduling choices. Precise dynamic race detectors do not reason about all possible traces, however, and may not identify races that occur only when other code paths are taken. While full coverage is desirable, it comes at the cost of potential false alarms because of the undecidability of the halting problem. To avoid these false alarms, precise race detectors focus on detecting only race conditions that occur on the observed trace.

Typically, precise detectors represent the happens-before relation with vector clocks (VCs),14 as in the DJIT+ race detector.16 Vector clocks are expensive to maintain, however, because a VC encodes information about each thread in a system. Thus, if the target program has n threads, each VC requires O(n) storage space and VC operations (such as comparison) require O(n) time. Since a VC must be maintained for each memory location and modified on each access to that location, this O(n) time and space overhead precludes the use of VC-based race detectors in many settings.

A variety of alternative imprecise race detectors have been developed, which may provide improved performance (and sometimes better coverage), but which report false alarms on some race-free programs. For example, Eraser's LockSet algorithm18 enforces a lock-based synchronization discipline and reports an error if no lock is consistently held on each access to a particular memory location. Eraser may report false alarms, however, on programs that use alternative synchronization idioms such as fork/join or barrier synchronization. Some LockSet-based race detectors include limited happens-before reasoning to improve precision in such situations.15, 16, 22

Other optimizations include using static analyses or dynamic escape analyses3, 21 or using "accordion" VCs that reduce space overheads for programs with shortlived threads.5 Alternative approaches record program events for post-mortem race identification.1, 4, 17

Although these imprecise tools successfully detect race conditions, their potential to generate many false alarms limits their effectiveness. Indeed, it has proven surprisingly difficult and time consuming to identify the real errors among the spurious warnings produced by some tools. Even if a code block looks suspicious, it may still be race-free due to some subtle synchronization discipline that is not (yet) understood by the current code maintainer. Even worse, additional real bugs (e.g., deadlocks or performance problems) could be added while attempting to "fix" a spurious warning produced by these tools. Conversely, real race conditions could be ignored because they appear to be false alarms.

This paper exploits the insight that, while VCs provide a general mechanism for representing the happens-before relation, their full generality is not actually necessary in most cases. The vast majority of data in multithreaded programs is either thread local, lock protected, or read shared. Our FASTTRACK analysis uses an adaptive representation for the happens-before relation to provide constant-time and constant-space overhead for these common cases, without any loss of precision or correctness.

In more detail, a VC-based race detector such as DJIT+ records the time of the most recent write to each variable x by each thread t. By comparison, FASTTRACK exploits the observation that all writes to x are totally ordered by the happens-before relation, assuming no races on x have been detected so far, and records information only about the very last write to x. Specifically, FastTrack records the clock and thread identifier of that write. We refer to this pair of a clock and a thread identifier as an epoch.

Read operations on thread-local and lock-protected data are also totally ordered, assuming no races on x have been detected, and FASTTRACK records only the epoch of the last read from such data. FASTTRACK adaptively switches from epochs to VCs when necessary (e.g., when data becomes read-shared) in order to guarantee no loss of precision. It also switches from VCs back to lightweight epochs when possible (e.g., when read-shared data is subsequently updated).

Using these representation techniques, FASTTRACK reduces the analysis overhead of almost all monitored operations from O(n) time, where n is the number of threads in the target program, to O(1) time.

In addition to improving performance, the epoch representation also reduces space overhead. A VC-based race detector requires O(n) space for each memory location of the target program and can quickly exhaust memory resources. By comparison, FASTTRACK reduces the space overhead for thread-local and lock-protected data from O(n) to O(1).

For comparison purposes, we implemented six different dynamic race detectors: FASTTRACK plus five other race detectors described in the literature. Experimental results on Java benchmarks, including the Eclipse programming environment, show that FASTTRACK outperforms the other tools. For example, it provides almost a 10x speedup over a traditional VC-based race detector and a 2.3x speedup over the DJIT+ algorithm. It also provides a substantial increase in precision over ERASER, with no loss in performance.

Back to Top

2. Preliminaries

* 2.1. Multithreaded program traces

We begin with some terminology and definitions regarding multithreaded execution traces. A program consists of a number of concurrently executing threads, each with a thread identifier t isin.gif Tid. These threads manipulate variables x isin.gif Var and locks m isin.gif Lock. A trace captures an execution of a multithreaded program by listing the sequence of operations performed by the various threads. The operations that a thread t can perform include:

  • rd(t, x) and wr(t, x), which read and write a value from a variable x
  • acq(t, m) and rel(t, m), which acquire and release a lock m
  • fork(t, u), which forks a new thread u
  • join(t, u), which blocks until thread u terminates

The happens-before relation (<) for a trace is a partial order over the operations in that captures control and synchronization dependencies. In particular, the relation a < b holds whenever operation a occurs before operation b in and one of the following conditions applies:

  • Program order: The two operations are performed by the same thread.
  • Synchronization order: The two operations acquire or release the same lock.
  • Fork order: The first operation is fork(t, u) and the second is by thread u.
  • Join order: The first operation is by thread u and the second is join(t, u).

In addition, the happens-before relation is transitively closed: that is, if a < b and b < c then a < c.

If a happens before b, then we also say that b happens after a. If two operations in a trace are not related by the happens-before relation, then they are considered concurrent. Two memory access conflict if they both access (read or write) the same variable, and at least one of the operations is a write. Using this terminology, a trace has a race condition if it has two concurrent conflicting accesses.

* 2.2. Vector clocks and the DJIT+ algorithm

Before presenting the FASTTRACK algorithm, we briefly review the DJIT+ online race detection algorithm,16 which is based on VCs.14 A VC

ueq01.gif

records a clock for each thread in the system. Vector clocks are partially-ordered (cacm5311_z.gif) in a pointwise manner, with an associated join operation (cacm5311_aa.gif) and minimal element (cacm5311_ab.gif). In addition, the helper function inct increments the t-component of a VC:

ueq02.gif

In DJIT+, each thread has its own clock that is incremented at each lock release operation. Each thread t also keeps a VC Ct such that, for any thread u, the clock entry Ct (u) records the clock for the last operation of thread u that happens before the current operation of thread t. In addition, the algorithm maintains a VC Lm for each lock m. These VCs are updated on synchronization operations that impose a happens-before order between operations of different threads. For example, when thread u releases lock m, the DJIT+ algorithm updates Lm to be Cu. If a thread t subsequently acquires m, the algorithm updates Ct to be Ct cacm5311_aa.gif Lm, since subsequent operations of thread t now happen after that release operation.

To identify conflicting accesses, the DJIT+ algorithm keeps two VCs, Rx and Wx, for each variable x. For any thread t, Rx (t) and Wx (t) record the clock of the last read and write to x by thread t. A read from x by thread u is race-free provided it happens after the last write of each thread, that is, Wx cacm5311_z.gif Cu. A write to x by thread u is race-free provided that the write happens after all previous accesses to that variable, that is, Wx cacm5311_z.gif Cu and Rx cacm5311_z.gif Cu.

As an example, consider the execution trace fragment shown in Figure 1, where we include the relevant portion of the DJIT+ instrumentation state: the VCs C0 and C1 for threads 0 and 1; and the VCs Lm and Wx for the last release of lock m and the last write to variable x, respectively. We show two components for each VC, but the target program may of course contain additional threads.a

At the write wr(0, x), DJIT+ updates Wx with current clock of thread 0. At the release rel(0, m), Lm is updated with C0. At the acquire acq(1, m), C1 is joined with Lm, thus capturing the dashed release-acquire happens-before edge shown above. At the second write, DJIT+ compares the VCs:

ueq03.gif

Since this check passes, the two writes are not concurrent, and no race condition is reported.

Back to Top

3. The FastTrack Algorithm

A limitation of VC-based race detectors such as DJIT+ is their performance, since each VC requires O(n) space and each VC operation (copying, comparing, joining, etc.) requires O (n) time.

Empirical benchmark data indicates that reads and writes operations account for the vast majority (over 96%) of monitored operations. The key insight behind FASTTRACK is that the full generality of VCs is not necessary in over 99% of these read and write operations: a more lightweight representation of the happens-before information can be used instead. Only a small fraction of operations performed by the target program necessitate expensive VC operations.

We begin by providing an overview of how our analysis catches each type of race condition on a memory location. A race condition is either: a writewrite race condition (where a write is concurrent with a later write); a writeread race condition (where a write is concurrent with a later read); or a readwrite race condition (where a read is concurrent with a later write).

Detecting WriteWrite Races: We first consider how to efficiently analyze write operations. At the second write operation in the trace in Figure 1, DJIT+ compares the VCs Wx cacm5311_z.gif C1 to determine whether there is a race. A careful inspection reveals, however, that it is not necessary to record the entire VC 4, 0, ... from the first write to x. Assuming no races have been detected on x so far, then all writes to x are totally ordered by the happens-before relation, and the only critical information that needs to be recorded is the clock (4) and identity (thread 0) of the thread performing the last write. This information (clock 4 of thread 0) is sufficient to determine if a subsequent write to x is in a race with any preceding write.

We refer to a pair of a clock c and a thread t as an epoch, denoted c@t. Although rather simple, epochs provide the crucial lightweight representation for recording sufficiently-precise aspects of the happens-before relation efficiently. Unlike VCs, an epoch requires only constant space and supports constant-time operations.

An epoch c@t happens before a VC V (c@t cacm5311_ad.gif V) if and only if the clock of the epoch is less than or equal to the corresponding clock in the vector:

ueq04.gif

We use cacm5311_ac.gif to denote a minimal epoch 0@0.

Using this optimized representation, FASTTRACK analyzes the trace from Figure 1 using a more compact instrumentation state that records only a write epoch Wx for variable x, rather than the entire VC Wx, reducing space overhead, as shown in Figure 2. (C and L record the same information as C and L in DJIT+.)

At the first write to x, FASTTRACK performs an O(1)-time epoch write Wx := 4@0. FASTTRACK subsequently ensures that the second write is not concurrent with the preceding write via the O(1)-time comparison:

ueq05.gif

To summarize, epochs reduce the space overhead for detecting writewrite conflicts from O (n) to O(1) per allocated memory location, and replaces the O(n)-time VC comparison "cacm5311_z.gif" with the O(1)-time comparison "cacm5311_ad.gif".

Detecting WriteRead Races: Detecting writeread races under the new representation is also straightforward. On each read from x with current VC Ct, we check that the read happens after the last write via the same O(1)-time comparison Wx cacm5311_ad.gif Ct.

Detecting ReadWrite Races: Detecting readwrite race conditions is somewhat more difficult. Unlike write operations, which are totally ordered in race-free programs, reads are not necessarily totally ordered. Thus, a write to a variable x could potentially conflict with the last read of x performed by any other thread, not just the last read in the entire trace seen so far. Thus, we may need to record an entire VC Rx, in which Rx(t) records the clock of the last read from x by thread t.

We can avoid keeping a complete VC in many cases, however. Our examination of data access patterns across a variety of multithreaded Java programs indicates that read operations are often totally ordered in practice, particularly in the following common situations:

  • Thread-local data, where only one thread accesses a variable, and hence these accesses are totally ordered by program-order
  • Lock-protected data, where a protecting lock is held on each access to a variable, and hence all access are totally ordered, either by program order (for accesses by the same thread) or by synchronization order (for accesses by different threads)

Reads are typically unordered only when data is read-shared, that is, when the data is first initialized by one thread and then shared between multiple threads in a read-only manner.

FASTTRACK uses an adaptive representation for the read history of each variable that is optimized for the common case of totally-ordered reads, while still retaining the full precision of VCs when necessary.

In particular, if the last read to a variable happens after all preceding reads, then FASTTRACK records only the epoch of this last read, which is sufficient to precisely detect whether a subsequent write to that variable conflicts with any preceding read in the entire program history. Thus, for thread-local and lock-protected data (which do exhibit totally-ordered reads), FASTTRACK requires only O(1) space for each allocated memory location and only O(1) time per memory access.

In the less common case where reads are not totally ordered, FASTTRACK stores the entire VC, but still handles read operations in O(1) time. Since such data is typically read-shared, writes to such variables are rare, and their analysis overhead is negligible.

* 3.1. Analysis details

Based on the above intuition, we now describe the FASTTRACK algorithm in detail. Our analysis is an online algorithm whose analysis state consists of four components:

  • Ct is the current VC of thread t.
  • Lm is the VC of the last release of lock m.
  • Rx is either the epoch of the last read from x, if all other reads happened-before that read, or else is a VC that records the last read from x by multiple threads.
  • Wx is the epoch of the last write to x.

The analysis starts with Ct = inct(cacm5311_ab.gif), since the first operations of all threads are not ordered by happens-before. In addition, initially Lm = cacm5311_ab.gif and Rx = Wx = cacm5311_ac.gif.

Figure 3 presents the key details of how FASTTRACK (left column) and DJIT+ (right column) handle read and write operations of the target program. For each read or write operation, the relevant rules are applied in the order presented until one matches the current instrumentation state. If an assertion fails, a race condition exists. The figure shows the instruction frequencies observed in the programs described in Section 4, as well as how frequently each rule was applied. For example, 82.3% of all memory and synchronization operations performed by our benchmarks were reads, and rule [FT READ SAME EPOCH] was used to check 63.4% of those reads. Expensive O(n)-time operations are highlighted in grey.

Read Operations: The first four rules provide various alternatives for analyzing a read operation rd(t, x). The first rule [FT READ SAME EPOCH] optimizes the case where x was already read in this epoch. This fast path requires only a single epoch comparison and handles over 60% of all reads. We use Et to denote the current epoch c@t of thread t, where c = Ct (t) is t's current clock. DJIT+ incorporates a comparable rule [DJIT+ READ SAME EPOCH].

The remaining three read rules all check for write-read conflicts via the fast epoch-VC comparison Wx cacm5311_ad.gif Ct, and then update Rx appropriately. If Rx is already a VC, then [FT READ SHARED] simply updates the appropriate component of that vector. Note that multiple reads of read-shared data from the same epoch are all covered by this rule. We could extend rule [FT READ SAME EPOCH] to handle same-epoch reads of read-shared data by matching the case that Rx isin.gif VC and Rx(t) = Ct(t). The extended rule would cover 78% of all reads (the same as [DJIT+ READ SAME EPOCH]) but does not improve performance perceptibly.

If the current read happens after the previous read epoch (where that previous read may be either by the same thread or by a different thread, presumably with interleaved synchronization), [FT READ EXCLUSIVE] simply updates Rx with the accessing thread's current epoch. For the more general situation where the current read is concurrent with the previous read, [FT READ SHARE] allocates a VC to record the epochs of both reads, since either read could subsequently participate in a readwrite race.

Of these three rules, the last rule is the most expensive but is rarely needed (0.1% of reads) and the first three rules provide commonly-executed, constant-time fast paths. In contrast, the corresponding rule [DJIT+ read] always executes an O(n)-time VC comparison for these cases.

Write Operations: The next three FASTTRACK rules handle a write operation wr(t, x). Rule [FT WRITE SAME EPOCH] optimizes the case where x was already written in this epoch, which applies to 71.0% of write operations, and DJIT+ incorporates a comparable rule. [FT WRITE EXCLUSIVE] provides a fast path for the 28.9% of writes for which Rx is an epoch, and this rule checks that the write happens after all previous accesses. In the case where Rx is a VC, [FT WRITE SHARED] requires a full (slow) VC comparison, but this rule applies only to a tiny fraction (0.1%) of writes. In contrast, the corresponding DJIT+ rule [DJIT+ write] requires a VC comparison on 29.0% of writes.

Other Operations: Figure 4 shows how FASTTRACK handles synchronization operations. These operations are rare, and the traditional analysis for these operations in terms of expensive VC operations is perfectly adequate. Thus, these FASTTRACK rules are similar to those of DJIT+ and other VC-based analyses.

Example: The execution trace in Figure 5 illustrates how FASTTRACK dynamically adapts the representation for the read history Rx of a variable x. Initially, Rx is cacm5311_ac.gif, indicating that x has not yet been read. After the first read operation rd(1, x), Rx becomes the epoch 1@1 recording both the clock and the thread identifier of that read. The second read rd(0, x) at clock 8 is concurrent with the first read, and so FASTTRACK switches to the VC representation 8, 1, ... for Rx, recording the clocks of the last reads from x by both threads 0 and 1. After the two threads join, the write operation wr(0, x) happens after all reads. Hence, any later operation cannot be in a race with either read without also being in a race on that write operation, and so the rule [FT WRITE SHARED] discards the read history of x by resetting Rx to cacm5311_ac.gif, which also switches x back into epoch mode and so optimizes later accesses to x. The last read in the trace then sets Rx to a nonminimal epoch.

Back to Top

4. Evaluation

To validate FASTTRACK, we implemented it as a component of the ROADRUNNER dynamic analysis framework for multithreaded Java programs.10 ROADRUNNER takes as input a compiled Java target program and inserts instrumentation code into the target to generate an event stream of memory and synchronization operations. Back-end checking tools process these events as the target executes. The FASTTRACK implementation extends the algorithm described so far to handle additional Java primitives, such as volatile variables and wait(), as outlined previously.8 Some of the benchmarks contain faulty implementations of barrier synchronization.9 FASTTRACK contains a specialized analysis to compensate for these bugs.

We compare FASTTRACK's precision and performance to six other analyses implemented in the same framework:

  • - EMPTY, a trivial checker that performs no analysis and is used to measure the overhead of ROADRUNNER
  • - ERASER,18 an imprecise race detector based on the LockSet algorithm described in Section 1
  • - GOLDILOCKS, a precise race detector based on an extended notion of LockSets7
  • - BASICVC, a traditional VC-based race detector that maintains a read and a write VC for each memory location and performs at least one VC comparison on every memory access
  • - DJIT+, a high-performance VC-based race detector16 described in Section 2
  • - MULTIRACE, a hybrid LockSet/DJIT+ race detector16

* 4.1. Performance and precision

Table 1 lists the size, number of threads, and uninstrumented running times for a variety of benchmark programs drawn from the Java Grande Forum,12 Standard Performance Evaluation Corporation,19 and elsewhere.2,7,11,21 All timing measurements are the average of 10 test runs. Variability across runs was typically less than 10%.

The "Instrumented Time" columns show the running times of each program under each of the tools, reported as the ratio to the uninstrumented running time. Thus, target programs ran 4.1 times slower, on average, under the EMPTY tool. Most of this overhead is due to communicating all target program operations to the back-end checker.

The variations in slowdowns for different programs are not uncommon for dynamic race condition checkers. Different programs exhibit different memory access and synchronization patterns, some of which impact analysis performance more than others. In addition, instrumentation can impact cache performance, class loading time, and other low-level JVM operations. These differences can sometimes even make an instrumented program run slightly faster than the uninstrumented (as in colt).

The last six columns show the number of warnings produced by each checker. The tools report at most one race for each field of each class, and at most one race for each array access in the program source code. All eight warnings from FASTTRACK reflect real race conditions. Some of these are benign (as in tsp, mtrt, and jbb) but others can impact program behavior (as in raytracer and hedc).15, 20, 21

Eraser Comparison: Our reimplementation of Eraser incurs an overhead of 8.7x, which is competitive with similar Eraser implementations built on top of unmodified JVMs.15 Surprisingly, FASTTRACK is slightly faster than ERASER on some programs, even though it performs a precise analysis that traditionally has been considered more expensive.

More significantly, ERASER reported many spurious warnings that do not correspond to actual races. Augmenting our ERASER implementation to reason about additional synchronization constructs, such as fork/join or wait/notify operations,16, 22 would eliminate some of these spurious warnings, but not all. On hedc, ERASER reported a spurious warning but also missed two of the real race conditions reported by FASTTRACK, due to an (intentional) unsoundness in how the Eraser algorithm reasons about thread-local and read-shared data.18

BASICVC and DJIT+ Comparison: DJIT+ and BasicVC reported exactly the same race conditions as FASTTRACK. That is, all three checkers provide identical precision. However, FASTTRACK outperforms the other checkers. It is roughly 10x faster than BasicVC and 2.3x faster than DJIT+. These performance improvements are due primarily to the reduction in the allocation and use of VCs. Across all benchmarks, DJIT+ allocated more over 790 million VCs, whereas FASTTRACK allocated only 5.1 million. DJIT+ performed over 5.1 billion O(n)-time VC operations, while FASTTRACK performed only 17 million. The memory overhead for storing the extra VCs leads to significant cache performance degradation in some programs, particularly those that randomly access large arrays. These tools are likely to incur even greater overhead when checking programs with larger numbers of threads.

MultiRace Comparison: MultiRace maintains DJIT+'s instrumentation state, as well as a lock set for each memory location.16 The checker updates the lock set for a location on the first access in an epoch, and full VC comparisons are performed only after this lock set becomes empty. This synthesis substantially reduces the number of VC operations, but introduces the overhead of storing and updating lock sets. In addition, the use of ERASER's unsound state machine for thread-local and read-shared data leads to imprecision.

Our reimplementation of the MULTIRACE algorithm exhibited performance comparable to DJIT+. Performance of MULTIRACE (and, in fact, all of our other checkers) can be improved by adopting a coarse-grain analysis in which all fields of an object are represented as a single "logical location" in the instrumentation state.16, 22

GOLDILOCKS Comparison: GOLDILOCKS7 is a precise race detector that does not use VCs to capture the happens-before relation. Instead, it maintains, for each memory location, a set of "synchronization devices" and threads. A thread in that set can safely access the memory location, and a thread can add itself to the set (and possibly remove others) by performing any of the operations described by the synchronization devices in the set.

GOLDILOCKS is a complicated algorithm to optimize, and ideally requires tight integration with the underlying virtual machine and garbage collector, which is not possible under ROADRUNNER. Because of these difficulties, GOLDILOCKS reimplemented in ROADRUNNER incurred a slowdown of 31.6x across our BENCHMARKS, but ran out of memory on lufact. Our Goldilocks reimplementation missed three races in hedc, due to an unsound performance optimization for handling thread-local data efficiently.7 We believe some performance improvements are possible, for both GOLDILOCKS and the other tools, by integration into the virtual machine.

* 4.2. Checking eclipse for race conditions

To validate FASTTRACK in a more realistic setting, we also applied it to five common operations in the Eclipse development environment.6 These include launching Eclipse, importing a project, rebuilding small and large workspaces, and starting the debugger. The checking overhead for these operations is as follows:

ins01.gif

ERASER reported potential races on 960 distinct field and array accesses for these five tests, largely because Eclipse uses many synchronization idioms that ERASER cannot handle, such as wait() and notify(), semaphores, and readers-writer locks. FASTTRACK reported 27 distinct warnings, 4 of which were subsequently verified to be potentially destructive.9 DJIT+ reported 28 warnings, which overlapped heavily with those reported by FASTTRACK, but scheduling differences led to several being missed and several new (benign) races being identified. Although our exploration of Eclipse is far from complete, these preliminary observations are quite promising. FASTTRACK is able to scale to precisely check large applications with lower run-time and memory overheads than existing tools.

Back to Top

5. Conclusion

Race conditions are difficult to find and fix. Precise race detectors avoid the programmer-overhead of identifying and eliminating spurious warnings, which are particularly problematic when using imprecise checkers on large programs with complex synchronization. Our FASTTRACK analysis is a new precise race detection algorithm that achieves better performance than existing algorithms by tracking less information and dynamically adapting its representation of the happens-before relation based on memory access patterns. We have used FASTTRACK to identify data races in programs as large as the Eclipse programming environment, and also to improve the performance of other analyses that rely on precise data race information, such as serializability checkers.8 The FASTTRACK algorithm and adaptive epoch representation is straightforward to implement and may be useful in other dynamic analyses for multithreaded software.

Back to Top

Acknowledgments

This work was supported in part by NSF Grants 0341179, 0341387, 0644130, and 0707885. We thank Ben Wood for implementing Goldilocks in ROADRUNNER and for comments on a draft of this paper, and Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran for their assistance with Goldilocks.

Back to Top

References

1. Adve, S.V., Hill, M.D., Miller, B.P., Netzer, R.H.B. Detecting data races on weak memory systems. In ISCA (1991), 234243.

2. CERN. Colt 1.2.0. Available at http://dsd.lbl.gov/~hoschek/colt/ (2007).

3. Choi, J.-D., Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., Sridhara, M. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI (2002), 258269.

4. Choi, J.-D., Miller, B.P., Netzer R.H.B. Techniques for debugging parallel programs with flowback analysis. TOPLAS 13, 4 (1991), 491530.

5. Christiaens, M., Bosschere, K.D. TRaDe: Data race detection for Java. In International Conference on Computational Science (2001), 761770.

6. The Eclipse programming environment, version 3.4.0. Available at http://www.eclipse.org, 2009.

7. Elmas, T., Qadeer, S., Tasiran, S. Goldilocks: A race and transaction-aware Java runtime. In PLDI (2007), 245255.

8. Flanagan, C., Freund, S.N. FastTrack: Efficient and precise dynamic race detection. In PLDI (2009), 121133.

9. Flanagan, C., Freund, S.N. Adversarial memory for detecting destructive races. In PLDI (2010), 244254.

10. Flanagan, C., Freund, S.N. The RoadRunner dynamic analysis framework for concurrent programs. In PASTE (2010), 18.

11. Fleury, E., Sutre, G. Raja, version 0.4.0-pre4. Available at http://raja.sourceforge.net/, 2007.

12. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org/, 2008.

13. Lamport, L. Time, Clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558565.

14. Mattern, F. Virtual time and global states of distributed systems. In Workshop on Parallel and Distributed Algorithms, 1988.

15. O'Callahan, R., Choi J.-D. Hybrid dynamic data race detection. In PPOPP (2003), 167178.

16. Pozniansky, E., Schuster, A. MultiRace: Efficient on-the-fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice and Experience 19, 3 (2007), 327340.

17. Ronsse, M., Bosschere, K.D. RecPlay: A fully integrated practical record/replay system. TCS 17, 2 (1999), 133152.

18. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E. Eraser: A dynamic data race detector for multi-threaded programs. TOCS 15, 4 (1997), 391411.

19. Standard Performance Evaluation Corporation. SPEC benchmarks. http://www.spec.org/, 2003.

20. von Praun, C., Gross, T. Object race detection. In OOPSLA, 2001, 7082.

21. von Praun, C., Gross, T. Static conflict analysis for multi-threaded object-oriented programs. In PLDI (2003), 115128.

22. Yu, Y., Rodeheffer, T., Chen, W. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In SOSP (2005), 221234.

Back to Top

Authors

Cormac Flanagan, Computer Science Department, University of California at Santa Cruz, Santa Cruz, CA.

Stephen N. Freund, Computer Science Department, Williams College, Williamstown, MA.

Back to Top

Footnotes

a. For clarity, we present a variant of the DJIT+ algorithm where some clocks are one less than in the original formulation.16 This revised algorithm has the same performance as the original but is slightly simpler and more directly comparable to FASTTRACK.

The original version of this paper was published in the Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2009.

DOI: http://doi.acm.org/10.1145/1839676.1839699

Back to Top

Figures

F1Figure 1. Execution trace under DJIT+.

F2Figure 2. Execution trace under FASTTRACK.

F3Figure 3. FASTTRACK race detection algorithm and its comparison to DJIT+.

F4Figure 4. Synchronization, threading operations.

F5Figure 5. Adaptive read history representation.

Back to Top

Tables

T1Table 1. Benchmark results. Programs marked with '*' are not compute-bound and are excluded from average slowdowns.

Back to top


©2010 ACM  0001-0782/10/1100  $10.00

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

The Digital Library is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.