Futhark语言作者在IFL2026上受Michael Haddon提出的Replay Lattice类型系统启发，反思了浮点数非确定性问题的本质。文章将可重现性划分为精确、重放和近似三个层级，并承认Futhark数据并行范型中存在由浮点舍入误差导致的内在非确定性。
背景
Futhark是一种专为高性能GPU和并行计算设计的纯函数式数据并行数组编程语言。浮点非确定性的讨论与科学计算和高性能计算领域的可重现性问题密切相关。
- 来源
- Lobsters
- 发布时间
- 2026年11月7日 03:16
- 评分
- 6.0 / 10