Javascript “postMessage”或“屈服于事件循环”或类似的同步共享内存吗？
我在中没有看到任何内容，与Javascript “postMessage”或“屈服于事件循环”或类似的同步共享内存吗？,javascript,shared-memory,sharedarraybuffer,Javascript,Shared Memory,Sharedarraybuffer,我在中没有看到任何内容，与SharedArrayBuffer相关的，或者当一个线程向另一个线程发布消息，而另一个线程处理消息时，建议跨线程同步/更新共享内存。（在一个已经将共享内存发送给另一个之后）但是，我也无法通过实验验证它是否没有发生（在我的测试中，我没有看到过时的值）。我是否缺少这样的保证？如果是，保证在哪里？例如，它是为postMessage而记录的，而我却错过了它，还是有什么关于退回到事件循环/作业队列以保证它的存在（因为处理来自另一个线程的消息需要这样做），等等。？或者，它肯定是而不
SharedArrayBufferpostMessage下面是我的测试的源代码，这些测试还不能捕获非同步内存。要运行它，您需要使用当前支持
SharedArrayBuffer同步测试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 worker.jsconst 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}`);
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;
}
}
});
使用该代码，如果内存没有同步，我希望在某个时候主线程会在共享数组中看到一个过时的值。但是（在我看来）这段代码很可能只是因为消息传递涉及到相对较大的时间尺度才起作用…TL；医生：是的，的确如此。
年，共享内存提案的作者Lars Hansen写道： 在浏览器中，postMessage发送和接收始终旨在以与写-读对相同的方式创建同步边缘 不确定当规范被转移到es262文档时，这篇文章的结尾是什么 我接着说： 谢谢 看起来至少部分是这样的： 所以，一个问题（好吧，两个问题）只针对我们这些不太精通的人 在“内存模型”部分的术语中。鉴于：
postMessageAtomics.storepostMessagepostMessageAtomics.loadpostMessagewait规范说事件序列没有未定义的行为，所以任何特定的情况都必须存在。您的问题是如何找到
postMessageAtomicsAtomicsAtomics