Parallel programs are prone to data races, which are concurrency bugs that are difficult to track and reproduce. Various attempts have been made to create or incorporate tools that aim to dynamically detect data races in Java, but most rely on external race detectors that: a) miss some of the nuances in the Java Memory Model, b) are too slow and complicated to be used in complex real-world applications, or c) produce a lot of false positive reports. In this paper, we present MaTSa, a tool built within OpenJDK, that aims to dynamically detect data races and offer informative pointers to the origin of the race. We evaluate MaTSa and detect several races in the Renaissance benchmark suite and the Quarkus framework, many of which have been reported and resulted in upstream fixes. We compare MaTSa to Java TSan, the only current state-of-the-art dynamic race detector that works on recent OpenJDK versions. We analyze issues with false positives and false negatives for both tools and explain the design decisions causing them. We found MaTSa to be 15x faster on average, while scaling to large programs not supported by other tools.
Wed 15 OctDisplayed time zone: Perth change
16:00 - 17:40 | Runtime Systems & ToolingVMIL at Peony SE Chair(s): Iacovos Kolokasis University of Crete and FORTH-ICS | ||
16:00 25mResearch paper | MaTSa: Race Detection in Java VMIL Alexandros Emmanouil Antonakakis ICS-FORTH & University of Crete, Polyvios Pratikakis University of Crete, Angelos Bilas University of Crete and FORTH, Greece, Foivos S. Zakkak Red Hat, Iacovos Kolokasis University of Crete and FORTH-ICS | ||
16:25 25mResearch paper | Memory Tiering in Python Virtual MachineRemote VMIL Yuze Li Virginia Tech, Shunyu Yao Virginia Tech, Jaiaid Mobin Rochester Institute of Technology, Tianyu Zhan Virginia Tech, M. Mustafa Rafique Rochester Institute of Technology, Dimitrios Nikolopoulos Virginia Tech, Kirshanthan Sundararajah Virginia Tech, Ali R. Butt Virginia Tech | ||
16:50 15mShort-paper | RuntimeSave: A Graph Database of Runtime Values VMIL Matúš Sulír Technical University of Košice, Antonia Bertolino Gran Sasso Science Institute, Guglielmo De Angelis CNR-IASI Pre-print | ||
17:05 5mDay closing | Closing VMIL | ||