| Summary: | Data race on org.eclipse.jdt.internal.compiler.ReadManager.nextFileToRead | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Yilong Li <yilong.li> |
| Component: | Core | Assignee: | JDT-Core-Inbox <jdt-core-inbox> |
| Status: | CLOSED WONTFIX | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 4.6 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | stalebug | ||
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. As such, we're closing this bug. If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie. |
Here is the race report given by a dynamic race detector: Data race on field org.eclipse.jdt.internal.compiler.ReadManager.nextFileToRead: {{{ Concurrent read in thread T55 (locks held: {}) ----> at org.eclipse.jdt.internal.compiler.ReadManager.run(ReadManager.java:150) T55 is created by T47 at org.eclipse.jdt.internal.compiler.ReadManager.<init>(ReadManager.java:71) Concurrent write in thread T56 (locks held: {Monitor@173082f6}) ----> at org.eclipse.jdt.internal.compiler.ReadManager.run(ReadManager.java:167) - locked Monitor@173082f6 at org.eclipse.jdt.internal.compiler.ReadManager.run(ReadManager.java:153) T56 is created by T47 at org.eclipse.jdt.internal.compiler.ReadManager.<init>(ReadManager.java:71) }}} Looking at the code at https://github.com/eclipse/eclipse.jdt.core/blob/master/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ReadManager.java#L150, it seems like a broken double-checked locking idiom (http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html).