racecheck ile Yarışları Bulma

Bir veri yarışı, iki iş parçacığı aynı paylaşılan belleğe eriştiğinde ve bunlardan en az biri yazma işlemi yaptığında, aralarında bir sıralama olmadan meydana gelir. 😬

Yarışlar, sonuç öngörülemeyen iş parçacığı zamanlamasına bağlı olduğu için testlerde çoğu zaman doğru, üretimde ise yanlış sonuç verir.

compute-sanitizer'ın racecheck aracı, paylaşılan bellek erişimlerini analiz eder ve normal bir çalıştırmanın gizleyeceği tehlikeleri bildirir.

Paylaşılan bir diziye yazdıktan sonra, bariyer kullanmadan komşu iş parçacığının yuvasını okumak bir yarış oluşturur; çünkü komşu yuva henüz yazılmamış olabilir.

Bloktaki her iş parçacığının herhangi biri okumadan önce yazma işlemini tamamlamasını sağlamak için yazma ile okuma arasına __syncthreads ekleyin.

racecheck, iki iş parçacığının aralarında hiçbir sıralama olmadan aynı paylaşılan yuvaya veri yazdığı yazma sonrası yazma tehlikesini de yakalar.

En yaygın tehlike yazma sonrası okuma tehlikesidir: bir iş parçacığı, başka bir iş parçacığının hâlâ yazmakta olduğu bir değeri okur ve güncel olmayan veriyi alır.

racecheck, tehlike türünü ve ilgili iki iş parçacığıyla paylaşılan adresi belirtir; böylece hangi bariyerin eksik olduğunu tam olarak bilirsiniz.

racecheck, bir blok içindeki __shared__ belleğe odaklanır; genel bellek yarışlarını çözmek için genellikle dikkatli bir mantık veya atomik işlemler gerekir.

memcheck'te olduğu gibi, -lineinfo ile derleme yapmak racecheck'in her tehlikenin kaynak kodundaki kesin satırını göstermesini sağlar.

Bariyeri ekledikten sonra racecheck'i yeniden çalıştırın. Sıfır tehlike raporu, paylaşılan belleğe erişimin artık doğru şekilde sıralandığı anlamına gelir.

Paylaşılan bellek tehlikelerini bulmak için racecheck kullandınız, raporlarını okudunuz ve bunları __syncthreads bariyerleriyle düzelttiniz. Zamanlama hataları artık görünür. 🎯