Design: 비동기/약속 지원

에 만든 2018년 01월 07일 · 7코멘트 · 출처: WebAssembly/design

많은 JavaScript 라이브러리가 비동기식이며 WebAssembly가 아직 Promise를 지원하는 것을 보지 못했습니다.
JS 에코시스템을 활용하는 고성능 애플리케이션을 쉽게 작성하려면 가져온 함수에 promise 지원을 추가하는 것이 좋습니다.

예를 들어 다음과 같이 작동해야 합니다.

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 에 2018년 01월 09일

👍6

모든 7 댓글

JS 약속의 모든 지원은 JS 호스트 바인딩 제안의 일부여야 합니다.

그러나 C 자체가 비동기 실행 및 일시 중단을 이해해야 하기 때문에 귀하의 예에서 제안한 것처럼 작동하지 않을 수 있습니다. 또한 귀하의 예제에는 비동기가 없으며 단지 약속을 생성하므로 동등한 코드는 JS 자체에서 일시 중단되지 않고 "[object Promise][object Promise]" 와 같은 문자열을 생성합니다.

rossberg 에 2018년 01월 08일

또한 귀하의 예에는 비동기가 없습니다.

음, 이벤트 루프가 약속을 처리할 때까지 값을 사용할 수 없습니다.
아이디어는 값을 사용할 수 있을 때까지 웹 어셈블리 엔진의 실행을 일시 중단하는 것입니다.
제공된 예는 물론 매우 사소합니다. 보다 구체적인 예는 네트워크를 통해 db 쿼리를 만드는 것입니다. getAgeOf: (name) => db.find({name}).then(x=>x.age)

C 자체는 비동기 실행 및 일시 중단을 이해하지 못하지만

그것은 잘못된 것입니다. C에 대한 다양한 코루틴 구현이 있습니다.
또한 LLVM-5.0 이상은 코루틴 및 async/await를 지원합니다.

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

그리고 C++17의 부록으로 clang-5.0부터 구현된 코루틴 -t가 있습니다.
이미 사용 중인 몇 가지 실험 라이브러리가 있습니다.
https://github.com/lewissbaker/cppcoro#generator

nikhedonia 에 2018년 01월 08일

C에서 코루틴 구현은 JavaScript의 이벤트 루프와 마술처럼 상호 운용되지 않습니다. 또한 일반적으로 구현별 동작에 의존합니다. 코루틴이나 비동기와 같은 것을 안정적이고 이식 가능하게 구현하려면 언어에서 구분된 연속 형태가 필요합니다. C가 제공해야 하는 가장 가까운 것은 longjmp인데, 충분하지 않고 현재 Wasm 자체에서 구현할 수 없습니다(Emscripten을 사용하면 longjmp는 JS 예외가 있는 JS에서 구현됨). Wasm은 현재 중단을 표현할 수 없지만 결국 이러한 라인을 따라 무언가를 추가할 계획이 있습니다. C++ 코루틴은 아직 표준이 아니며 Emscripten AFAICT에서 처리할 수 없습니다.

rossberg 에 2018년 01월 08일

👍4

나는 당신이 어디에서 오는지 봅니다.
제 생각을 충분히 표현하지 못한 것 같아요.
C/C++에서 코루틴이나 약속을 지원하거나 wasm 바이트코드에서 이를 실현하자는 것이 아닙니다.

그러나 C 자체가 비동기 실행 및 일시 중단을 이해해야 하기 때문에 귀하의 예에서 제안한 것처럼 작동하지 않을 수 있습니다.

C가 비동기 실행을 이해하는 것이 왜 필요하다고 생각합니까?

약속이 해결될 때까지 wasm 실행 엔진을 일시 중단하는 기술적인 어려움은 무엇입니까?

wasm은 미리 x86으로 컴파일해야 하지만 실행 흐름을 제어할 수 없다는 의미는 아닙니다.
실행을 중지하는 일반적인 방법은 ptrace와 같은 하드웨어 인터럽트 및 시스템 호출을 사용하는 것입니다. 이것이 디버거가 작동하는 방식입니다. 우리는 어떤 함수를 가져왔는지 정확히 알고 있으며 이를 수행하기 위해 적절한 (x86) opcode를 주입할 수 있습니다. 이렇게 하면 해당 함수의 실행 속도가 느려지지만 어쨌든 약속이 해결되기를 기다리는 경우에는 문제가 되지 않습니다.
이것이 LLVM 기반 C++JIT/AoT에서 일시 중단/디버그/재개를 구현한 방법입니다.

이 문제는 호스트 바인딩 리포지토리에 제출해야 한다고 생각합니다...

nikhedonia 에 2018년 01월 09일

rossberg 에 2018년 01월 09일

👍6

wanderer 에 2018년 01월 10일

나는 당신이 웹의 계산 모델을 잘못 이해하고 있다고 생각합니다. JavaScript는 다중 스레드가 아니므로 계산을 일시 중단하면 엔진과 실제로 이를 호스팅하는 전체 렌더러가 중단됩니다. 페이지가 정지되고 다른 코드는 실행할 수 없습니다(별도의 작업자 제외). 현가장치가 날아가도록 하려면 연속성을 구체화하고 나중에 복원하는 방법이 필요합니다. 이는 현재 엔진이 할 수 있는 작업이 아닙니다.

정확히는, wasm은 모두 UI를 다루기 보다는 계산 작업을 위해 생성되었기 때문에 작업자 내부에서 실행되어야 합니다.

rv4Flyver 에 2018년 12월 19일

이 페이지가 도움이 되었나요?

0 / 5 - 0 등급

Design: 비동기/약속 지원

가장 유용한 댓글

모든 7 댓글

관련 문제