Bu blog yazısı, IFL2026 konferansında Michael Haddon’un kayan nokta (floating-point) hesaplamalarının tekrarlanabilirliği üzerine yaptığı çalışmalardan yola çıkarak, saf fonksiyonel ve veri-paralel bir programlama dili olan Futhark’taki belirsizlik (nondeterminism) kavramını ele alıyor. Yazar, Futhark’ın genellikle deterministik olarak pazarlandığını ancak aslında geleneksel paylaşımlı durum eşzamanlılığındaki “yarış koşulları”ndan farklı türlerde belirsizlikler barındırdığını netleştiriyor. Bu sorunlar, kayan nokta aritmetiğinin birleşme özelliğine (associativity) sahip olmamasından ve performans gerekçesiyle bazı güvenlik kontrollerinin atlandığı dil yapılarından kaynaklanıyor. Yazıda bu belirsizlik türleri, Haddon’un terminolojisi kullanılarak sınıflandırılıyor: “Exact” (garantili aynı...

Konular: Programlama Dilleri, Yüksek Performanslı Hesaplama ve Sayısal Kararlılık

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: futhark-lang.org

Kaynak: sitem.co — paylas.io yer imi / keşif katmanı.