javascript - `postMessage` 或屈服于事件循环或类似的同步共享内存吗？-6ren

javascript - `postMessage` 或屈服于事件循环或类似的同步共享内存吗？

转载作者：可可西里更新时间：2023-11-01 02:27:00

我在 the JavaScript spec 中没有看到任何内容, proposed DOM spec extensions与 SharedArrayBuffer 相关，或 current WHAT-WG HTML spec建议当一个线程向另一个线程发布消息并且另一个线程处理该消息时，共享内存将跨线程同步/更新。 (之后一个已经将共享内存发送给另一个。)但是，我也无法通过实验验证它不会发生(在我的测试中，我没有看到过时的值)。是否有这样的保证我失踪了，如果有，它在哪里保证？例如，它是否记录了 postMessage 而我错过了它，或者是否有关于返回事件循环/作业队列的东西来保证它(因为处理来自另一个线程的消息涉及这样做)， ETC。？或者，是否绝对不保证(并且该信息在某处的规范中)？

请不要推测或做出“合理猜测”。我正在寻找确凿的信息:来自规范来源的引用，表明它不能保证的可复制实验(尽管我想这是否只是一个实现错误的问题)，诸如此类。

以下是我尚未能够捕获未同步内存的测试的源代码。要运行它，您需要使用当前支持 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;
        }
    }
});

使用该代码，如果内存未同步，我希望主线程在某个时候看到共享数组中的陈旧值。但完全有可能(在我看来)这段代码只是碰巧起作用，因为消息传递涉及相对较大的时间尺度......

最佳答案

TL;DR:是的，确实如此。

在the thread on es-discuss ，共享内存提案的作者 Lars Hansen 写道:

In a browser, postMessage send and receive was always intended to create a synchronization edge in the same way a write-read pair is. http://tc39.github.io/ecmascript_sharedmem/shmem.html#WebBrowserEmbedding

Not sure where this prose ended up when the spec was transfered to the es262 document.

我跟进了:

Thanks!

Looks like it's at least partially here: https://tc39.github.io/ecma262/#sec-host-synchronizes-with

So, a question (well, two questions) just for those of us not deeply versed in the terminology of the Memory Model section. Given:

Thread A sends a 1k shared block to Thread B via postMessage

Thread B writes to various locations in that block directly (not via Atomics.store)

Thread B does a postMessage to Thread A (without referencing the block in the postMessage)

Thread A receives the message and reads data from the block (not via Atomics.load)

...am I correct that in Step 4 it's guaranteed that thread A will reliably see the writes to that block by Thread B from Step 2, because the postMessage was a "synchronization edge" ensuring (amongst other things) that CPU L1d caches are up-to-date, etc.?

Similarly, if (!) I'm reading it correctly, in your Mandlebrot example, you have an Atomics.wait on a single location in a shared block, and when the thread wakes up it seems to assume other data in the block (not in the wait range) can reliably be read directly. That's also a "synchronization edge"?

他回答说:

...ensuring (amongst other things) that CPU L1d caches are up-to-date, etc.?

是的，这就是该语言的意图。对内存的写入应该发生在 postMessage 之前，而接收消息应该发生在读取之前。

... That's also a "synchronization edge"?

是的，同样的论点。写入发生在唤醒之前，而等待的唤醒发生在读取之前。

所有这一切都是有意为之，以便允许使用廉价的非同步写入和读取来写入和读取数据，然后进行(相对昂贵的)同步以确保适当的可观察性。

关于javascript - `postMessage` 或屈服于事件循环或类似的同步共享内存吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52445807/

文章推荐： java - 如何处理 Jooq 中的日期？

文章推荐： java - 从 JSNI 调用 Java 方法

javascript - 我应该如何在JavaScript中“屈服”？
我对现代JavaScript（ES8）有点陌生。异步产生的首选方法是什么，即使用await在事件循环的某些将来迭代中继续执行脚本？我看到了以下选项： async function yield1() {
ruby - 如何防止 `super` 屈服
我有一个 Duck 类，它有一个生成 block 的 initialize 方法: class Duck def initialize() if block_given? yi
c# - F# 屈服! operator - 实现和可能的 C# 等价物
我目前正在学习 F#，我非常喜欢 yield! (yield-bang) 运算符。不仅因为它的名字，当然也因为它的作用。 yield! 运算符基本上允许您从序列表达式中产生序列的所有元素。这对于组合枚

可可西里

个人简介

我是一名优秀的程序员,十分优秀！

作者热门文章

滴滴打车优惠券免费领取

全站热门文章

首页

博学

6Ren·AI

商城

javascript - `postMessage` 或屈服于事件循环或类似的同步共享内存吗？