Stream: git-wasmtime

Topic: wasmtime / issue #4910 CLI/config option to disable paral...

Wasmtime GitHub notifications bot (Sep 14 2022 at 09:15):

TerrorJack opened issue #4910:

Thanks for filing a feature request! Please fill out the TODOs below.

Feature

It would be nice to have a CLI/config option to disable parallel_compilation.

Benefit

As a part of an ongoing debugging effort, I'm repeatedly creating and executing many short-lived wasm modules in parallel on a many cores server. Having a way to disable parallel_compilation can greatly benefit this use case by avoiding over subscription of CPU.

Implementation

Doesn't sound too hard, if no objections I can give it a try.

Alternatives

Not really.

Wasmtime GitHub notifications bot (Sep 16 2022 at 15:33):

alexcrichton closed issue #4910:

Thanks for filing a feature request! Please fill out the TODOs below.

Feature

It would be nice to have a CLI/config option to disable parallel_compilation.

Benefit

As a part of an ongoing debugging effort, I'm repeatedly creating and executing many short-lived wasm modules in parallel on a many cores server. Having a way to disable parallel_compilation can greatly benefit this use case by avoiding over subscription of CPU.

Implementation

Doesn't sound too hard, if no objections I can give it a try.

Alternatives

Not really.

Last updated: Oct 23 2024 at 20:03 UTC