Melampaui Lock dan Thread ID: Deteksi Data Race Statis di Jalur yang Jarang Dilalui (Versi Diperluas)

Makalah ini menunjukkan bahwa memperluas kerangka deteksi race statis untuk menangani thread barrier dan `pthread_once` bukan hanya layak, tetapi juga bermanfaat bagi presisi. Abstraksi lockset leluhur lebih lanjut meningkatkan analisis dengan menangkap pewarisan lock lintas pembuatan thread. Namun, beberapa tantangan masih tersisa:

- **Skalabilitas**: Meskipun perluasannya sahih, dampaknya terhadap waktu analisis dan penggunaan memori belum sepenuhnya dieksplorasi. Penulis mencatat bahwa sisi sinkronisasi tambahan meningkatkan kompleksitas relasi happens-before, yang berpotensi memengaruhi kinerja pada basis kode besar.
- **Keumuman**: Pendekatan ini disesuaikan dengan kerangka digest, tetapi idenya dapat diadaptasi ke analisis statis lain. Litmus test menyediakan tolok ukur yang dapat digunakan kembali untuk mengevaluasi adaptasi semacam itu.
- **Dukungan perkakas**: Temuan bahwa perkakas mutakhir tidak mendukung konstruk-konstruk ini mengkhawatirkan, karena barrier dan `pthread_once` umum ditemukan dalam kode dunia nyata (misalnya, pada pustaka paralel dan pola inisialisasi sekali jalan). Ini menunjukkan bahwa pengembang yang mengandalkan perkakas tersebut dapat menerima hasil yang menyesatkan.

Penulis menganjurkan agar konstruk-konstruk ini dimasukkan ke dalam detektor race statis sebagai langkah menuju analisis konkurensi yang lebih praktis dan presisi. Karya selanjutnya mencakup perluasan kerangka ke primitif sinkronisasi lain (misalnya, read-write lock, condition variable) dan evaluasi skalabilitas pada program yang lebih besar. Kontribusi makalah ini ada tiga: (1) perluasan formal kerangka digest, (2) rangkaian litmus test untuk evaluasi, dan (3) perbandingan empiris yang mengungkap celah pada perkakas yang ada.