Обеспечивают ли методы объекта ECMAScript Atomics, чтобы все предыдущие операции с общей памятью выполнялись в первую оч ⇐ Javascript

[Anonymous]

Спецификация языка ECMAScript гласит:

Атомы высечены в камне: преобразования программы не должны приводить к удалению каких-либо событий общего блока данных, [[Order]] которых имеет значение seq-cst, из отношения is-agent-order-before, а также к переупорядочению относительно друг друга или переупорядочению внутри среза агентского порядка относительно событий, для которых [[Order]] имеет значение неупорядочен.

Означает ли это (или другая часть спецификации), что использование атомарной операции, такой как Atomics.load или Atomics.store, гарантирует, что все предыдущие операции над объектами SharedArrayBuffer будут завершены в первую очередь, даже те, что над объектами буфера, отличными от одного, переданного в качестве аргумента?
Например, в приведенных ниже фрагментах кода агент чтения наблюдение за атомарным обновлением i32View гарантирует, что неатомарное обновление f32View также было завершено, несмотря на то, что они представляют собой представления разных объектов SharedArrayBuffer?
const i32Buffer = new SharedArrayBuffer(4);
const f32Buffer = new SharedArrayBuffer(4);

// Writer agent

const i32View = new Int32Array(i32Buffer);
const f32View = new Float32Array(f32Buffer);

function setValue(value) {
f32View[0] = value;
Atomics.store(i32View, 0, 1);
}

// Reader agent

const i32View = new Int32Array(i32Buffer);
const f32View = new Float32Array(f32Buffer);

function getValue() {
while (Atomics.load(i32View, 0) === 0) Atomics.pause();
return f32View[0];
}


Подробнее здесь: https://stackoverflow.com/questions/798 ... red-memory