Stream: git-wasmtime

Topic: wasmtime / PR #3169 Option to disable parallel compilation

Wasmtime GitHub notifications bot (Aug 09 2021 at 14:50):

pepyakin requested alexcrichton for a review on PR #3169.

Wasmtime GitHub notifications bot (Aug 09 2021 at 14:50):

pepyakin opened PR #3169 from pep-disable-parallel-compilation to main:

This small PR introduces a configuration parameter to control whether parallel compilation is used in run-time. Currently, it is only possible to do this via toggling the parallel-compilation feature.

In our projects we use wasmtime extensively. Specifically, it is used for powering several execution environments. Most of times, parallel compilation is beneficial. However, there is a weird one that kind of requires single-threaded compilation. This is because we want consistent memory consumption and less variance for compilation time.

What we could do is to basically settle on turning off the feature for our project. But that would be a shame.

This didn't go through a discussion just because I thought it would be really easy to implement and I only noticed that the discussion is required after I created the PR. I hope this is not a big issue.

Last updated: Nov 22 2024 at 17:03 UTC