我在JavaScript规范、提议SharedArrayBuffer的与处理消息。（在一个已经将共享内存发送到另一个之后。）但是，我也无法通过实验验证它不会发生（在我的测试中，我没有看到陈旧的值）。是否有一些我错过的保证，如果有，在哪里保证？例如，它是否记录在postMessage我错过了它，或者是否有一些关于返回到事件循环/作业队列来保证它（因为处理来自另一个线程的消息涉及这样做）等等？或者，是否绝对不能保证（并且该信息在某处的规范中）？
请不要推测或做出“合理的猜测”。我正在寻找确凿的信息：来自规范来源的引文，一个可复制的实验，表明它不能保证（尽管我认为它是否只是一个实现错误的问题），诸如此类的事情。
下面是我的测试的源代码，这些测试还不能捕获不同步的内存。要运行它，您需要使用当前支持的浏览器，SharedArrayBuffer我认为目前这意味着 Chrome v67 或更高版本（Firefox、Edge 和 Safari 都支持，但为了响应 2018 年 1 月的 Spectre 和 Meltdown 而禁用了它; Chrome 也这样做了，但在 v67 [2018 年 7 月] 在启用了站点隔离功能的平台上重新启用了它）。
sync-test-postMessage.html：
<!doctype html>
<html>
<head>
<meta charset="UTF-8">
<title>Sync Test postMessage</title>
</head>
<body>
<script src="sync-test-postMessage-main.js"></script>
</body>
</html>
sync-test-postMessage-main.js：
const array = new Uint32Array(new SharedArrayBuffer(Uint32Array.BYTES_PER_ELEMENT));
const worker = new Worker("./sync-test-postMessage-worker.js");
let counter = 0;
const limit = 1000000;
const report = Math.floor(limit / 10);
let mismatches = 0;
const now = performance.now();
const log = msg => {
console.log(`${msg} - ${mismatches} mismatch(es) - ${performance.now() - now}ms`);
};
worker.addEventListener("message", e => {
if (e.data && e.data.type === "ping") {
++counter;
const value = array[0];
if (counter !== value) {
++mismatches;
console.log(`Out of sync! ${counter} !== ${value}`);
}
if (counter % report === 0) {
log(`${counter} of ${limit}`);
}
if (counter < limit) {
worker.postMessage({type: "pong"});
} else {
console.log("done");
}
}
});
worker.postMessage({type: "init", array});
console.log(`running to ${limit}`);
sync-test-postMessage-worker.js：
let array;
this.addEventListener("message", e => {
if (e.data) {
switch (e.data.type) {
case "init":
array = e.data.array;
// fall through to "pong"
case "pong":
++array[0];
this.postMessage({type: "ping"});
break;
}
}
});
使用该代码，如果内存未同步，我希望主线程在某个时候看到共享数组中的陈旧值。但完全有可能（在我看来）这段代码只是碰巧工作，因为消息传递涉及相对较大的时间尺度......