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 ...