Wasmtime GitHub notifications bot (Jun 24 2020 at 17:59): Wasmtime GitHub notifications bot (Jun 24 2020 at 17:59):ueno edited PR #1903 from wip/dueno/cache to master:
When running in embedded environments, threads creation is sometimes undesirable. This adds a means to disable wasmtime's internal thread creation for parallel compilation and caches, by reusing the cache configuration as the indication (i.e., if cache is disabled, parallel compilation is also disabled).
Wasmtime GitHub notifications bot (Jun 24 2020 at 18:01):ueno submitted PR Review.
Wasmtime GitHub notifications bot (Jun 24 2020 at 18:01):ueno created PR Review Comment:
Makes sense, moved it outside the closure.
Wasmtime GitHub notifications bot (Jun 25 2020 at 18:48):alexcrichton edited PR #1903 from wip/dueno/cache to main:
When running in embedded environments, threads creation is sometimes undesirable. This adds a means to disable wasmtime's internal thread creation for parallel compilation and caches, by reusing the cache configuration as the indication (i.e., if cache is disabled, parallel compilation is also disabled).
Wasmtime GitHub notifications bot (Jul 02 2020 at 13:29):ueno updated PR #1903 from wip/dueno/cache to main:
When running in embedded environments, threads creation is sometimes undesirable. This adds a means to disable wasmtime's internal thread creation for parallel compilation and caches, by reusing the cache configuration as the indication (i.e., if cache is disabled, parallel compilation is also disabled).
Wasmtime GitHub notifications bot (Jul 06 2020 at 14:02):ueno updated PR #1903 from wip/dueno/cache to main:
When running in embedded environments, threads creation is sometimes undesirable. This adds a means to disable wasmtime's internal thread creation for parallel compilation and caches, by reusing the cache configuration as the indication (i.e., if cache is disabled, parallel compilation is also disabled).
Wasmtime GitHub notifications bot (Jul 06 2020 at 14:04):alexcrichton submitted PR Review.
Wasmtime GitHub notifications bot (Jul 06 2020 at 16:22):alexcrichton merged PR #1903.
Last updated: Oct 23 2024 at 20:03 UTC