Lobstersseen ×3NEW
Nondeterminism in Futhark(futhark-lang.org)
The Futhark programming language, a high-performance and functional data-parallel array language, exhibits some degree of nondeterminism, contrary to its promise of determinism. Inspired by Michael Haddon's presentation on The Replay Lattice, a type system for floating-point reproducibility, the author explores the concept of nondeterminism in Futhark. According to Haddon's nomenclature, "exact" computations produce the same result every time, while "replay" computations produce the same result on the same machine, but may vary on different machines. This highlights the complexity of achieving true determinism in Futhark, and the potential costs of eliminating nondeterminism altogether.