Veri Yarışlarından Kaçınma

İki iş parçacığı aynı anda aynı belleğe eriştiğinde ve bunlardan en az biri yazma yaptığında veri yarışı oluşur. Sonuç öngörülemez hâle gelir. ⚠️

Birçok işçinin tek bir paylaşılan toplama değerine ekleme yapması çakışmaya neden olur. Yazmalar çakıştığı ve birbirlerinin üzerine yazdığı için güncellemeler kaybolur.

En basit çözüm, her işçiye yazması için kendi indislerini vermektir. Çıktılar hiç çakışmıyorsa yarış oluşmaz.

Birçok iş parçacığı aynı girdiyi güvenle okuyabilir. Sorun, ancak biri başkalarının okuduğu veya yazdığı veriye yazdığında başlar.

Toplama işlemi için her işçiye kendi kısmi sonuç yuvasını verin. Hiçbiri aynı hücreyi paylaşmadığı için eklemeler güvenli kalır.

Tüm işçiler bitirdiğinde kısmi sonuçları tek bir iş parçacığında toplayın. Bu son indirgeme işlemi kilitleme gerektirmez.

En güvenli paralel kod yalnızca salt okunur verileri paylaşır. Mümkün olduğunda her değişebilir parçayı tek bir işçiye özel tutun.

İşçiler herhangi bir sırayla tamamlanabilir. Zamanlama değişebileceğinden bir parçanın diğerinden önce çalışmasına asla güvenmeyin.

Mojo'nun sahiplik ve değer semantiği, kazara paylaşımı zorlaştırır; ancak paralel mantığın doğru kalmasını yine de sizin sağlamanız gerekir.

Yarışlar zamanlamanın arkasına gizlenebilir; bu nedenle paralel kodu birçok kez çalıştırın ve sonucu seri bir referans sonuçla karşılaştırın.

En iyi savunma, yazmaların hiç çakışmadığı bir yerleşimdir. Yarışları sonradan düzeltmelerle değil, tasarımla önleyin.

Ayrık yuvalara yazarak, işçi başına kısmi sonuçlar kullanarak, birleştirdikten sonra indirgeyerek ve sıraya asla güvenmeyerek yarışlardan kaçının; böylece paralel sonuçlar doğru kalır. 🚀