Java proposal to spot data races with thread sanitiser
The effort would explore possibilities for integrating HotSpot and the JVM tool interface with performance monitoring and analysisPrint
28 November 2018 | 0
Java’s HotSpot virtual machine could be fitted with a race-detection tool and other monitoring capabilities, under a proposal being floated in the OpenJDK community. A data race in a Java program makes the program incorrectly synchronised, which leads to erroneous, nondeterministic, and unexpected behaviours.
Called the Atlantis Project, the effort would explore possibilities for integrating HotSpot and the JVM tool interface with performance monitoring and analysis capabilities. Key to the proposal is evaluating and incubating a thread sanitiser, which could provide a dynamic data-race detector for Java and JNI code.
The Atlantis Project participants note there is an existing thread sanitiser project for OpenJDK. With that thread sanitiser, data races would be detected in a single execution, with all races found and with no false data races.
The Atlantis Project proposal, from Google’s Jean Christophe Beyler, states that the Google platform team has augmented or added mechanisms for Google Java users to assess metrics including a thread sanitiser and lock-contention profiles to better understand where threads are spending time in locks. The team also has worked on heap-dumping mechanisms to improve dump times for large heaps and efficient thread tagging to help filter profiling.
The Atlantis Project would consider how these changes could be made general enough, whether they should be dropped, or whether to implement them using other existing mechanisms.
IDG News Service