3 ms·
Some discussion here: https://github.com/WebAssembly/threads/issues/9 https://github.com/WebAssembly/threads/issues/9 tl;dr if WASM shared memory is specified
by teraflop 8y ago
Some discussion here: https://github.com/WebAssembly/threads/issues/9 https://github.com/WebAssembly/threads/issues/9
tl;dr if WASM shared memory is specified to follow the same rules as SharedArrayBuffer, then atomic operations are sequentially consistent. Normal memory accesses in the presence of data races may be inconsistent, but they are still constrained (e.g. they must obey happens-before relationships).