Comments 4
интересно, за счет чего гарантируется детерминированность вычислений флоат? это можно гарантировать только целочисленной арифметикой.без аппаратной поддержки.
А какой аппарат не делает вычисления по правилам ?
все. аппаратно блоки simd могут и используют более большие регистры, если они доступны. и при округлении, могут получатся разные результаты, не только на разных машинах, но и на одной. и нет спецификации округления и никогда и не было. все платформы что использовали детерминированное вычисления, таже java, давно уже использует аппаратные вычисления, не гарантирующие детерминированность. и нужно специально включать ее, где будет задействованна библиотека на интах, которая не ускоряется. и никто в мире, нигде не пишет, что создал детерминированную симуляцию чего либо серьезного, которая работает везде.
вот поэтому и возник у меня вопрос. весь мир считает недетрминированным флоатом, а спецификация веб асембли, как то стала это гарантировать.
Гарантируется спецификацией, т.е. зависит от реализации.
Представлен стандарт WebAssembly 3.0