Если ли какой то оверхед при вызове функции из одного

Question

WebAssembly — русскоговорящее сообщество

Если ли какой то оверхед при вызове функции из одного

васм модуля в другой?
допустим один модуль я собрал через AS, второй растом, насколько дорогое будет общение между ними?

#programming #russian #webassembly

0

01.07.2022

9 ответов

27 просмотров

MaxGraey

Такое можно провернуть только если память у обоих модулей не будет расширяться (то есть фиксирована), в противном случае даже если их разнести на разные области рано или поздно один регион налезет на другой и произойдет memory corruption

0

01.07.2022

Богдан

MaxGraey
Такое можно провернуть только если память у обоих ...

ну логично что оба модули должны обращаться к одному аллокатору раз они работают с общей памятью

0

01.07.2022

MaxGraey

Богдан
ну логично что оба модули должны обращаться к одно...

Это труднее сделать чем кажется. Мало того что нужно будет переопределить malloc/free в одном из языковых рантаймов, нужно будет еще сделать так, что бы все глобальные переменные были тоже общими, а это уже сделать нельзя (разшарить можно только линейную память)

0

01.07.2022

Богдан

MaxGraey
Это труднее сделать чем кажется. Мало того что нуж...

от глобальных переменных wasm-модуля на мой взгляд нужно отказываться потому что они нарушают идею stateless-модулей (когда мы можем сериализировать модуль и его память и это все что нужно для восстановления состояния выполнения) и нужно заменить их на запись-чтение неких фиксированных адресов памяти в начале хипа

0

01.07.2022

Богдан

Богдан
от глобальных переменных wasm-модуля на мой взгляд...

Кстати единственная причина использования глобальных переменных это перформанс-оптимизации - не смотря на то что в турбофане уже есть оптимизация (не помню термин) которая переносит работу с памятью в регистры (в случае если может проследить алиасинг в каких-то небольших участках кода) но на большей дистанции любая запись по адресу (которого нельзя проследить в коде) будет инвалидировать эту оптимизацию и поэтому глобальные переменные можно рассматривать как оптимизацию косвенной работы с регистрами процессора когда компилируем код в wasm но тогда при любом взаимодействии с внешним миром (вызов импорта или возврат) эти глобальные переменные нужно флашить в те же фиксированные участки памяти и считывать при входе в wasm модуль чтобы соблюдать подход stateless-модулей

0

01.07.2022

Dmitry Ponyatov

MaxGraey
Это труднее сделать чем кажется. Мало того что нуж...

может логичнее message-passing тащить а-ля Erlang? без разделяемой памяти вообще lunatiс какие-то пропозалы не предлагала?

0

02.07.2022

MaxGraey

Dmitry Ponyatov
может логичнее message-passing тащить а-ля Erlang?...

логичнее, так и делают обычно

0

02.07.2022

Demi Murych

Богдан
Кстати единственная причина использования глобальн...

если Вы говорите о турбо фан вообще, то любой идентификатор на уровне функции будет лежать в регистре процессора, ео тех пор, пока этот идентификатор используется только в этой функции.

0

04.07.2022

Богдан · Accepted Answer

Я думаю что там будет нулевой оверхед но нужно проверить. Дело в том что мы можем создать хип (WebAssembly.Memory) и его передать как одному так и другому модулую и оба эти wasm-модули будут работать с одной и той же памятью без какого либо копирования. Дальше я помню что жс импорты wasm-модуля в ряде случаев инлайнятся в общий (вместе с остальным wasm-кодом) turbofan ir А поскольку импорты в wasm-модуле могут быть экспортами другого wasm-модуля без промежуточного жс-слоя то есть предположение что оверхед будет нулевой

169 похожих чатов

Если ли какой то оверхед при вызове функции из одного

9 ответов

Похожие вопросы