Stream: git-wasmtime

Topic: wasmtime / issue #7258 wasi-streams: Spawned worker threa...

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:47):

elliottt opened issue #7258.

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:47):

elliottt edited issue #7258.

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:50):

elliottt edited issue #7258:

Currently the worker thread managing writes to stdout will drop when the guest-side write end is dropped. We need to fix this, as it's quite common to repeatedly call std::io::get_stdout() and drop the result in rust.

The general approach that we discussed is to have the stdout/stderr worker tasks alive for the duration of the guest, and a separate channel for reporting new write channels to those tasks. The tasks would then be responsible for selecting between the new writer channel and all the known writer channels when processing incoming jobs, removing known writers from the managed set when those ends drop instead of aborting.

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:51):

elliottt assigned issue #7258 to elliottt.

Last updated: Nov 22 2024 at 16:03 UTC