Repairing and Mechanising the JavaScript Relaxed Memory Model

Conrad Watt, Christopher Pulte, Anton Podkopaev +5

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…