Design: Общая память и атомикс

Мой вопрос: все ли согласны с копированием ограничений основного потока из этой спецификации в WASM?

@chicoxyzzy , здесь было долгое обсуждение sab + wasm: https://github.com/tc39/ecmascript_sharedmem/issues/59

@taisel , теперь я педантичен, но все же: "ограничения основного потока" технически не являются частью этой спецификации. Спецификация позволяет некоторым потокам отклоняться от блокировки (по критериям, выбранным реализацией), и ясно, что эта возможность мотивируется основными потоками браузеров, но использование разделяемой памяти JS + в других настройках, отличных от браузера, не требуется. есть это ограничение. Я не понимаю, как было с wasm в любой другой ситуации. Более того, я мог видеть, что некоторые типы рабочих, например SharedWorkers, используют разделяемую память, но не могут блокироваться.

Действительно, требование TC39, чтобы браузеры разрешали блокировку основного потока, не привело бы ни к чему плодотворному, а только к спорам, и, вероятно, поставило бы под угрозу реализацию всего предложения с общей памятью. Сейчас у нас есть довольно консервативное расширение языка и браузеров, которое вписывается в существующую веб-экосистему. Мы знаем, что проксирование может решить некоторые проблемы; мы знаем, что «асимметричная» блокировка (рабочие блокируются, а основной поток - нет) может решить другие проблемы; нам нужно получить некоторый опыт с этим, чтобы выяснить, где находятся настоящие болевые точки, и тогда мы сможем увидеть, как их решить. Попытка принудительно заблокировать основной поток - это ядерный вариант на данном этапе.

@ lars-t-hansen Ага, и я повторил это мягкое ограничение, чтобы стимулировать обсуждение.

По-прежнему есть группа людей, которые, как я думал, могли бы сделать перенос как можно более безболезненным, и я не знаю, на какие уступки комитет WASM может пойти на уступки.

Чтобы добавить к вышесказанному, в разделе WebAssembly Discussion.md есть хорошее резюме обсуждения sab + wasm.

Первоначальное предложение по многопоточности разработано с учетом поведения рабочих SAB +, поэтому вряд ли здесь удастся раскачать лодку. Мы говорили о наличии потоков «чистого wasm», которые не имеют контекста JavaScript, но решили, что этим лучше заняться после достижения паритета функций с помощью JavaScript + SAB.

Кроме того, спецификация html теперь интегрирована с блокировкой WRT Atomics.wait ).