When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
| Main Authors: | Liu, Bozhen, Liu, Peiming, Li, Yanze, Tsai, Chia-Che, Da Silva, Dilma, Huang, Jeff |
|---|---|
| Format: | info Lainnya Journal |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/4682081 |
Daftar Isi:
- This is the artifact of O2 from paper "When Threads Meet Events: Efficient and Precise Static Race Detection with Origins" published in PLDI'21. O2 detects data races in large complex multithreaded and event-driven software. O2 is powered by “origins”, an abstraction that unifies threads and events by treating them as entry points of code paths attributed with data pointers. We have implemented O2 for both C/C++ and JVM applications and applied it to a wide range of open source software (e.g., DaCapo Benchmarks, HDFS, Yarn, Zookeeper, Firefox Focus, Memcached, Linux kernel).