diff options
author | Zoltan Varga <vargaz@gmail.com> | 2020-02-13 05:04:49 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-13 05:04:49 +0300 |
commit | 0a4c3069be46a606d01d86a6fca8ae51fdb4e637 (patch) | |
tree | 7bfeb2c8c7afedbecc1cbf4e052f583cdec7790f /sdks | |
parent | c76bbb23f9da1a9db3ed52c3232c2a940711b34f (diff) |
[wasm] Update WASM-REQUESTS.md. (#18816)
Diffstat (limited to 'sdks')
-rw-r--r-- | sdks/wasm/docs/WASM-REQUESTS.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sdks/wasm/docs/WASM-REQUESTS.md b/sdks/wasm/docs/WASM-REQUESTS.md index 885d58e1bf3..00ece1b6c40 100644 --- a/sdks/wasm/docs/WASM-REQUESTS.md +++ b/sdks/wasm/docs/WASM-REQUESTS.md @@ -71,3 +71,10 @@ Currently, the LLVM 'noinline' flag has no corresponding wasm flag, so the wasm optimizer will inline functions which are marked noinline. This causes problems for the mono interpreter because the inlined functions increase the stack size for the main interpreter function. + +# Process wide memory barrier + +This is useful to reduce synchronization overhead in various parallel +systems including synchronization with the GC. Its the same as +membarrier (MEMBARRIER_CMD_PRIVATE_EXPEDITED) on linux and +FlushProcessWriteBuffers on windows. |