AT
вот я как раз про это хотел спросить
Не могу рассказать — не компилировал C/C++ в WASM никогда...
Size: a a a
2020 May 24
MP
e
tldr ?
MP
tldr ?
Проверка типа emcc далека от совершенства - clang-CFI может устранить класс ошибок ("type confusion")
e
Проверка типа emcc далека от совершенства - clang-CFI может устранить класс ошибок ("type confusion")
спасибо
MP
@GabrielFallen было бы здорово, если бы в WASM существовало что-то вроде Control.Concurrent.STM. Я знаю, что нет шансов, но все же
AT
@GabrielFallen было бы здорово, если бы в WASM существовало что-то вроде Control.Concurrent.STM. Я знаю, что нет шансов, но все же
STM кранйне плохо сочетается с императивным программированием — невозможно проводить оптимизации, так что производительность падает ниже плинтуса. Поэтому STM прижилась только в Haskell и более-менее в Clojure (но там ей почти не пользуются), а в C++ так и не взлетела (несмотря на попытки поддержки со стороны процессоров), а в C# вообще забраковали на этапе прототипа.
AT
Реалистично в WASM будут Web Workers (вероятно, с другим названием), что совсем даже неплохо, потому что Actor Model по сути.
MV
Не могу рассказать — не компилировал C/C++ в WASM никогда...
я специально не смотрел, но почти наверное никаких специальных проверок такого типа там нет
MV
Проверка типа emcc далека от совершенства - clang-CFI может устранить класс ошибок ("type confusion")
может, но только если lto visibility соблюдается
MV
и там проверка не в emcc, а в целом в васме
MV
при выполнении
call_indirect динамически проверяется тип функции, которая вызывается. Они обходят это там в примерах с помощью вызова другой функции с таким же типомa
STM кранйне плохо сочетается с императивным программированием — невозможно проводить оптимизации, так что производительность падает ниже плинтуса. Поэтому STM прижилась только в Haskell и более-менее в Clojure (но там ей почти не пользуются), а в C++ так и не взлетела (несмотря на попытки поддержки со стороны процессоров), а в C# вообще забраковали на этапе прототипа.
AT
In-memory transactional DB =/= STM. 😉
Кроме того, на мой малопросвещённый взгляд кажется, что Mnesia в мире Erlang используют сильно реже, чем STM в мире Haskell...
Кроме того, на мой малопросвещённый взгляд кажется, что Mnesia в мире Erlang используют сильно реже, чем STM в мире Haskell...
a
да, реже, чаще используют просто ETS
P🛸
Когда васм научат писать в вебжл напрямую? Стыд и срам какой то. Демки на жс быстрее работают.
N
Когда васм научат писать в вебжл напрямую? Стыд и срам какой то. Демки на жс быстрее работают.
Возможно никогда
N
Когда васм научат писать в вебжл напрямую? Стыд и срам какой то. Демки на жс быстрее работают.
С чего это быстрей😂
P🛸
Возможно никогда
Не должны interface types запилить
2020 May 25
SR
Поучаствовал в Podlodka Podcast, рассказал о #WebAssembly. Кажется там было несколько неточностей ближе к концу (вроде назвал линейную память разделяемой и может было ещё что-то, пока не переслушивал сам), но в целом надеюсь, что должно быть интересно! :)