Дискуссию не читал, но сходу кажется, что произвольные метки и goto напрочь разломают как модель вычислений Wasm (с неявным стеком-то), так и модель безопасности.
Дискуссию не читал, но сходу кажется, что произвольные метки и goto напрочь разломают как модель вычислений Wasm (с неявным стеком-то), так и модель безопасности.
structured control flow одна из ключевых фишек wasm'а. Если её убрать, то SSA за один проход уже не построишь и wasm будет грузится в браузере дольше. Надеюсь это из wasm никогда не уберут.
да вот думаю чего-бы такого в браузер перетащить, что-нибудь из тяжелых вычислений на c++. Я могу на AS написать и это будет приятно или могу скомпилировать из c++ и там возможно будет побыстрее, интересно насколько AS производимый код быстрый?
Там кто то решил предложить переименовать WebAssembly в WebEmscripten, так как только Binaryen с его релупером может более не менее адекватно эмулировать non-reducible CFG
Похоже это только в TurboFun так, для остальных рантаймов это не проблема. Так что Go скорее всего будет реализовывать свой Relooper или тащить Binaryen
Тест там очень красивый, просто запись в массив (массив большой и в несколько функций, но ничего сверхъестественного), из этого go производит астрономическое количество блоков, т.е. произвольные метки не только для процедур используются :)
Там кто то решил предложить переименовать WebAssembly в WebEmscripten, так как только Binaryen с его релупером может более не менее адекватно эмулировать non-reducible CFG
Не хочу развивать оффтоп, но разве и такое словечко есть уже?.. 😟 А как определить, что автор имел ввиду шеймить кого-то? Так вообще можно любое мнение за шейминг принять. Последствия очевидны - стагнация и болото.
Не хочу развивать оффтоп, но разве и такое словечко есть уже?.. 😟 А как определить, что автор имел ввиду шеймить кого-то? Так вообще можно любое мнение за шейминг принять. Последствия очевидны - стагнация и болото.