Kitap incelemesi: Paralel programlama zor mu, zorsa ne yapmalı?

Andrew Helwer, Linux çekirdeğinin RCU senkronizasyon mekanizmasının yazarı Paul E. McKenney'nin ücretsiz çevrimiçi ders kitabı «Is Parallel Programming Hard, And, If So, What Can You Do About It?» için ayrıntılı bir inceleme yayımladı. Helwer kitabın büyük bölümünü bir aile tatilinde okudu ve nelerin iyi çalıştığını, nelerin çalışmadığını ve metnin nerede Linux çekirdeği bağlamında kaldığını anlatıyor.

Dağıtık sistemlerden kilitsiz koda

On yılını TLA⁺ ve dağıtık sistemlerle geçiren Helwer, kitaba 2026'da Columbia, Missouri'deki Software Should Work konferansından sonra yöneldi. Orada Filip Pizlo ile eşzamanlı, kilitsiz bir çöp toplayıcı yazmanın zorluğu üzerine konuşması, eşzamanlılık hakkında aslında ne kadar az şey bildiğini gösterdi. Pizlo ayrıca TLA⁺'nın gerçekten eşzamanlı gerçekleşen olaylar hakkında akıl yürütmek için pek uygun olmadığını söyledi ve doğrusallaştırılabilirliğin (linearizability) önemini vurguladı. Helwer, mutex ya da mesaj geçişi yerine kilitsiz programlamaya odaklanan bir kitap arıyordu.

CPU önbellekleri, derleyici oyunları ve sayaçlar

Üçüncü bölüm «Hardware and its Habits», modern CPU'ları neyin hızlı, neyin yavaş yaptığını anlatıyor; önbelleğinde bulunmayan bir adrese yazan çekirdek örneği de burada ele alınıyor. MESI tutarlılık protokolü yalnızca ekte geçiyor, ama onu bilmek kitabın kalanını netleştiriyor: x86 çekirdekleri kendi önbelleklerine yazar ve önbellek satırının tekel sahipliğine ihtiyaç duyar; bu yüzden aynı adrese gerçekten eşzamanlı yazma olmaz — ancak birden fazla önbellek satırına yayılan yazmalar parçalanabilir.

Dördüncü bölüm «Tools of the Trade», dikkatsiz paralel kodla derleyicinin neler yapabileceğini sıralıyor: yükleme ve depolama parçalanması, birleştirme, kodun yeniden sıralanması, uydurulmuş yükleme ve depolamalar, store-to-load dönüşümleri, ölü kod eleme — üstüne CPU'nun kendi sürprizleri. Beşinci bölüm «Counting» kitabın vitrini: birkaç iş parçacığının tek bir sayacı artırdığı yaklaşık on farklı yazım biçimi; naif atomik artırmalar kötü performansı nedeniyle eleniyor ve bölüm signal-theft limit counter ile bitiyor. Helwer en çok dizi tabanlı, iş parçacığı başına istatistiksel sayaçları beğendi: dağıtık sistemlerdeki conflict-free replicated datatypes'a benziyorlar ve false sharing'in maliyetini gösteriyorlar.

Değerlendirme

Ana eleştiri, örneklerin fazlasıyla Linux çekirdeğine özgü olması: C++11 ve C11'in bellek modelleri üzerine çalışması, örneğin std::memory_order, yalnızca kısa paragraflarla geçiyor; iyi huylu veri yarışlarının hata olup olmadığına dair eski tartışmalar ise atlanıyor. Kilitsiz programlama ancak 14. bölümde, bellek sıralaması 15. bölümde geliyor; o noktada yazar dış kaynaklara yönelmişti. Bilgi kontrolü soruları için yararlı olan iç bağlantılar e-okuyucularda zahmetli. Yine de Helwer kitabı mükemmel buluyor: daha fazla öğrenme isteği uyandırmış ve sıradaki konusu yüksek performanslı çöp toplama olacak.