...
Annotating concurrent code helps document the design intent and can be used to automate the detection and prevention of race conditions and data races.
...
Automated Detection
Tool | Version | Checker | Description |
|---|---|---|---|
| The Checker Framework | 2.1.3 | GUI Effect Checker | Ensure that non-GUI threads do not access the UI which would crash the application (see Chapter 14) |
Item 70, "Document Thread Safety" | |
Java Concurrency in Practice | |
...