Menangkap Kesalahan Sinkronisasi dengan synccheck

Penghalang __syncthreads hanya berfungsi jika setiap thread dalam blok mencapainya. Jika beberapa thread melewatinya, perilakunya menjadi tidak terdefinisi. ⚠️

Memanggil penghalang di dalam percabangan yang dilewati sebagian thread merupakan sinkronisasi yang menyimpang, yaitu bahaya yang dirancang untuk ditangkap oleh alat synccheck.

Jalankan alat synccheck dari compute-sanitizer untuk mendeteksi penggunaan __syncthreads dan penghalang terkait yang ilegal atau menyimpang.

Di sini hanya sebagian thread yang memanggil penghalang, sementara thread lainnya tertinggal. synccheck menandainya sebagai __syncthreads yang menyimpang.

Keluarkan penghalang dari percabangan agar semua thread mencapainya bersama-sama, sementara hanya pekerjaan yang dijaga tetap bersyarat.

Setiap thread harus menjalankan jumlah penghalang yang sama, sehingga perulangan dengan jumlah iterasi yang bergantung pada thread dan sinkronisasi di dalamnya merupakan jebakan.

Thread yang mencapai return awal sebelum penghalang tidak pernah tiba di sana, sehingga synccheck melaporkan thread lainnya terjebak saat menunggu.

synccheck menyebutkan penghalang dan thread yang menyimpang, sehingga Anda dapat melacak percabangan atau return yang melanggar kontrak.

synccheck juga memeriksa mask __syncwarp, dengan menandai ketika sebuah thread berpartisipasi menggunakan mask yang tidak sesuai dengan lajurnya.

Kompilasi dengan -lineinfo agar synccheck dapat menunjuk pemanggilan penghalang yang tepat, bukan sekadar menyebutkan kernel.

Jalankan synccheck dalam prosesnya sendiri, terpisah dari memcheck dan racecheck, karena setiap alat sanitasi menargetkan kelas bug yang berbeda.

Anda telah mempelajari kontrak penghalang, menjalankan synccheck, dan memperbaiki sinkronisasi yang menyimpang dengan memindahkan penghalang keluar dari percabangan. Blok Anda tetap selaras. 🙌