4 ms·
So, what's the memory model going to be? Without guarantees about the safety of operation, how can anyone reason about the safety of the program?
by denormalfloat 8y ago
So, what's the memory model going to be? Without guarantees about the safety of operation, how can anyone reason about the safety of the program?
- teraflop 8y agoSome 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).