Wasmtime — это среда выполнения WebAssembly. Начиная с Wasmtime 39.0.0, функция Component-Model-async стала функцией по умолчанию, что привело к появлению новой реализации «[Typed] Func::call_async», которая сделала возможным вызов функций гостевого экспорта с асинхронным типом. Однако в этой реализации была ошибка, приводившая к панике при определенных обстоятельствах: во-первых, встраивание хоста вызывает `[Typed]Func::call_async` для функции, экспортированной компонентом, один раз опрашивая возвращенное `Future`.
Во-вторых, функция компонента передает управление асинхронной среде выполнения (например, Tokio), например. из-за вызова функции хоста, зарегистрированной с использованием `LinkerInstance::func_wrap_async`, который дает результат, или из-за прерывания эпохи. В-третьих, встраивание хоста удаляет «Future» после его однократного опроса. Это оставляет экземпляр компонента в невозвратном состоянии, поскольку у вызова не было возможности завершиться.
В-четвертых, встраивание хоста снова вызывает `[Typed]Func::call_async`, опрашивая возвращенное `Future`. Поскольку в этот момент вход в экземпляр компонента невозможен, вызов перехватывается, но не раньше, чем будет выделена задача и поток для вызова. В-пятых, встраивание хоста игнорирует ловушку и отбрасывает «Future».
Это вызывает панику из-за того, что среда выполнения пытается избавиться от созданной выше задачи, которая паникует, поскольку поток еще не завершился. Когда разработчик хоста, использующий затронутые версии Wasmtime, вызывает `wasmtime::comComponent::[Typed]Func::call_async` при гостевом экспорте, а затем удаляет возвращенное будущее, не дожидаясь его разрешения, а затем делает это снова с тем же экземпляром компонента, Wasmtime впадает в панику. Вложения, в которых отключена функция времени компиляции `comment-model-async`, не затрагиваются.
Wasmtime 40.0.4 и 41.0.4 были исправлены для устранения этой проблемы. Версии 42.0.0 и более поздние не затрагиваются. Если при внедрении фактически не используются какие-либо функции компонентной модели-асинхронности, отключение функции «компонентная модель-асинхронная» Cargo может обойти эту проблему.
Эту проблему также можно обойти, либо обеспечив ожидание каждого будущего `call_async` до его завершения, либо воздерживаясь от повторного использования `Store` после удаления еще не решенного будущего `call_async`.
Показать оригинальное описание (EN)
Wasmtime is a runtime for WebAssembly. Starting with Wasmtime 39.0.0, the `component-model-async` feature became the default, which brought with it a new implementation of `[Typed]Func::call_async` which made it capable of calling async-typed guest export functions. However, that implementation had a bug leading to a panic under certain circumstances: First, the host embedding calls `[Typed]Func::call_async` on a function exported by a component, polling the returned `Future` once. Second, the component function yields control to the async runtime (e.g. Tokio), e.g. due to a call to host function registered using `LinkerInstance::func_wrap_async` which yields, or due an epoch interruption. Third, the host embedding drops the `Future` after polling it once. This leaves the component instance in a non-reenterable state since the call never had a chance to complete. Fourth, the host embedding calls `[Typed]Func::call_async` again, polling the returned `Future`. Since the component instance cannot be entered at this point, the call traps, but not before allocating a task and thread for the call. Fifth, the host embedding ignores the trap and drops the `Future`. This panics due to the runtime attempting to dispose of the task created above, which panics since the thread has not yet exited. When a host embedder using the affected versions of Wasmtime calls `wasmtime::component::[Typed]Func::call_async` on a guest export and then drops the returned future without waiting for it to resolve, and then does so again with the same component instance, Wasmtime will panic. Embeddings that have the `component-model-async` compile-time feature disabled are unaffected. Wasmtime 40.0.4 and 41.0.4 have been patched to fix this issue. Versions 42.0.0 and later are not affected. If an embedding is not actually using any component-model-async features then disabling the `component-model-async` Cargo feature can work around this issue. This issue can also be worked around by either ensuring every `call_async` future is awaited until it completes or refraining from using the `Store` again after dropping a not-yet-resolved `call_async` future.
Характеристики атаки
Последствия
Строка CVSS v4.0
Тип уязвимости (CWE)
Уязвимые продукты 2
| Конфигурация | От (включительно) | До (исключительно) |
|---|---|---|
|
Bytecodealliance Wasmtime
cpe:2.3:a:bytecodealliance:wasmtime:*:*:*:*:*:rust:*:*
|
39.0.0
|
40.0.4
|
|
Bytecodealliance Wasmtime
cpe:2.3:a:bytecodealliance:wasmtime:*:*:*:*:*:rust:*:*
|
41.0.0
|
41.0.4
|