Телеграмм чат группы webassembly

Народ, меня тут интересует один аспект реализации кложур - а именно насколько очевидно для разработчика где будет peformance penalty. Обычный разработчик обычно знает что создание функций-замыканий связано с аллокацией объекта в хипе и некоторых дополнительных затрат и он будет учитывать это при написании горячих циклов.
Но рассмотрим такой пример

function someFunc(){
  let a = 0;
  if (...){
    arr.push(() => a += 1))
    anotherArr.push(() => a))
  }
  a = ...
}
for(/*горячий цикл*/){
  someFunc();
}

где внутри горячего цикла вызывается функция которая и создает замыкание но под условием. Разработчик подумает что если условие при котором создается замыкание выполняется очень редко (или может вообще не выполниться) то эта функция должна работать так же быстро как и без этого замыкания. Но насколько я понял из обсуждений в этом треде https://github.com/AssemblyScript/assemblyscript/issues/798 предлагается заранее создавать некий объект окружения в котором будет хранится переменная "а" до того как выполнится условие в результате чего разработчик будет обманут в ожиданиях потому что даже если условие не сработает такая функция будет выполняться намного медленнее. Или я неправильно понял?

GitHub

Implement closures · Issue #798 · AssemblyScript/assemblyscript

I decide to start discussion about simple closure implementations. Some obvious (and may be naive) implementation is using generation class context which I prefer to demonstrate in following exampl...

источник

19:45пожаловаться #11

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

Если мы говорим про захват и мутацию переменной «a» в () => a += 1. То скорее всего она будет завернута в обхект на кучи (boxed) в любом случае. так как у нас AOT. Если бы это был JIT, то тут могли бы быть еще варианты

источник

20:15пожаловаться #12

Богдан in WebAssembly — русскоговорящее сообщество

это понятно что будет боксинг но вопрос когда это произойдет - после того как сработает условие (внутри которого создается замыкание) или до него? Если до него (в момент инициализаци) то получаем неочевидный для разработчика момент падения производительности - замыкания еще не было создано (оно под условием которое может и не выполниться) а мы уже получаем тормоза (как минимум из-за чтения-записи boxed-переменной в памяти вместо локальной переменной в регистрах)

источник

20:28пожаловаться #13

Константин in WebAssembly — русскоговорящее сообщество

АОТ, думаю сразу

источник

20:29пожаловаться #14

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

Тот же LLVM это вспе превратит в очень страшное стагетти

https://godbolt.org/z/Gzfe19eGq

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

extern "C" void update(std::function<void(void)> fn);
extern "C" void get(std::function<int(void)> fn);

int someFunc(bool t) {
int a = 0;
if (t) {
update([&]() { a += 1; });
get([&]() { return a; });
}
return a;
}