Paul Krill
Editor at Large

Java proposal would spot data races with a thread sanitizer

news
Nov 28, 20182 mins

The effort would explore possibilities for integrating HotSpot and the JVM tool interface with performance monitoring and analysis

race speed sprint competition run
Credit: Thinkstock

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 synchronized, which leads to erroneous, nondeterministic, and unexpected behaviors.

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 sanitizer, which could provide a dynamic data-race detector for Java and JNI code.

The Atlantis Project participants note there is an existing thread sanitizer project for OpenJDK. With that thread sanitizer, 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 sanitizer 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.

Paul Krill

Paul Krill is editor at large at InfoWorld. Paul has been covering computer technology as a news and feature reporter for more than 35 years, including 30 years at InfoWorld. He has specialized in coverage of software development tools and technologies since the 1990s, and he continues to lead InfoWorld’s news coverage of software development platforms including Java and .NET and programming languages including JavaScript, TypeScript, PHP, Python, Ruby, Rust, and Go. Long trusted as a reporter who prioritizes accuracy, integrity, and the best interests of readers, Paul is sought out by technology companies and industry organizations who want to reach InfoWorld’s audience of software developers and other information technology professionals. Paul has won a “Best Technology News Coverage” award from IDG.

More from this author