Design: поддержка async / prom

Созданный на 7 янв. 2018 · 7Комментарии · Источник: WebAssembly/design

Многие библиотеки JavaScript являются асинхронными, и я еще не видел, чтобы WebAssembly поддерживал обещания.
Чтобы легко писать высокопроизводительные приложения, использующие экосистему JS, я бы предложил добавить поддержку обещаний в импортированных функциях.

Например, это должно работать:

const importObject = { 
  returnOneAsync: () => new Promise(done => done(1)) 
};

extern "C" int returnOneAsync();

int main(){
  int x = returnOneAsync(); // should suspend main until promise resolved.
  return x+x;
}

Источник

nikhedonia

👍5

Самый полезный комментарий

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

rossberg 9 янв. 2018

👍6

Все 7 Комментарий

Любая поддержка обещаний JS должна быть частью предложения по привязке хоста JS .

Но я боюсь, что это не может работать так, как предлагает ваш пример, поскольку для этого потребовалось бы, чтобы сам C понимал асинхронное выполнение и приостановку, чего он не делает. Кроме того, в вашем примере нет ничего асинхронного, он просто создает обещание, поэтому эквивалентный код даже не приостанавливается в самом JS, а просто создает строку типа "[object Promise][object Promise]" .

rossberg 8 янв. 2018

Кроме того, в вашем примере нет ничего асинхронного

Что ж, значение недоступно, пока цикл событий не обработает обещание.
Идея состоит в том, чтобы приостановить выполнение механизма веб-сборки, пока значение не станет доступным.
Приведенный пример, конечно, очень тривиален. Более конкретным примером может быть запрос к базе данных по сети: getAgeOf: (name) => db.find({name}).then(x=>x.age)

C сам, чтобы понять асинхронное выполнение и приостановку, чего он не делает

Это неверно. Существуют различные реализации сопрограмм для C.
Кроме того, LLVM-5.0 и выше поддерживает сопрограммы и async / await.

https://llvm.org/docs/Coroutines.html

И в качестве дополнения к C ++ 17 есть coroutine-ts , который был реализован с clang-5.0.
Его уже используют несколько экспериментальных библиотек:
https://github.com/lewissbaker/cppcoro#generator

nikhedonia 8 янв. 2018

Реализации сопрограмм на C не взаимодействуют волшебным образом с циклом обработки событий JavaScript. Кроме того, они обычно полагаются на поведение, зависящее от реализации. Чтобы надежно и переносимо реализовать что-то вроде сопрограмм или асинхронных программ, вам понадобится форма продолжений с разделителями в языке. Ближайший C может предложить longjmp, которого недостаточно, и в настоящее время он не может быть реализован в самом Wasm (с Emscripten longjmp реализован в JS с исключениями JS). В настоящее время Wasm не может выразить приостановку, хотя есть планы добавить что-то в этом роде в конечном итоге. Сопрограммы C ++ еще не являются стандартными и не могут обрабатываться Emscripten AFAICT.

rossberg 8 янв. 2018

👍4

Я вижу, откуда вы.
Думаю, я недостаточно хорошо выразил свою идею.
Я не предлагаю поддерживать сопрограммы или обещания на C / C ++ или осознавать это в байт-коде wasm.

Но я боюсь, что это не может работать так, как предлагает ваш пример, поскольку для этого потребовалось бы, чтобы сам C понимал асинхронное выполнение и приостановку, чего он не

Как вы думаете, почему C необходимо понимать асинхронное выполнение?

В чем техническая сложность приостановить механизм выполнения wasm до тех пор, пока обещание не будет выполнено?

Я понимаю, что wasm должен быть заранее скомпилирован для x86, но это не означает, что вы не можете контролировать поток выполнения.
Обычный способ остановить выполнение - использовать аппаратные прерывания и системные вызовы, такие как ptrace; вот как работает отладчик. Мы точно знаем, какие функции импортируются, и для этого можем ввести соответствующие (x86) коды операций. Хотя это замедлит выполнение этих функций - это не имеет значения, поскольку в этих случаях мы все равно ждем выполнения обещания.
Вот как мы реализовали приостановку / отладку / возобновление в нашем C ++ JIT / AoT на основе LLVM.

Я предполагаю, что эту проблему следует зарегистрировать в репозитории host-bindings ...

nikhedonia 9 янв. 2018

rossberg 9 янв. 2018

👍6

связанные: https://github.com/WebAssembly/design/issues/720

wanderer 10 янв. 2018

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

Точнее, wasm следует запускать внутри рабочих процессов, поскольку они оба созданы для вычислительных задач, а не для работы с пользовательским интерфейсом.