Stream: git-wasmtime

Topic: wasmtime / PR #5264 wiggle: adapt Wiggle strings for shar...

Wasmtime GitHub notifications bot (Nov 14 2022 at 18:58):

abrown opened PR #5264 from shmem-in-wiggle-str to main:

This is an extension of #5229 for the &str and &mut str types. As documented there, we are attempting to maintain Rust guarantees for slices that Wiggle hands out in the presence of WebAssembly shared memory, in which case multiple threads could be modifying the underlying data of the slice.

This change changes the API of GuestPtr to return an Option which is None when attempting to view the WebAssembly data as a string and the underlying WebAssembly memory is shared. This reuses the UnsafeGuestSlice structure from #5229 to do so and appropriately marks the region as borrowed in Wiggle's manual borrow checker. Each original call site in this project's WASI implementations is fixed up to expect that a non-shared memory is used. (Note that I can find no uses of GuestStrMut in the WASI implementations).

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

• [ ] This has been discussed in issue #..., or if not, please tell us why
  here.

• [ ] A short description of what this does, why it is needed; if the
  description becomes long, the matter should probably be discussed in an issue
  first.

• [ ] This PR contains test cases, if meaningful.

• [ ] A reviewer from the core maintainer team has been assigned for this PR.
  If you don't know who could review this, please indicate so. The list of
  suggested reviewers on the right can help you.

Please ensure all communication adheres to the code of conduct.
-->

Wasmtime GitHub notifications bot (Nov 14 2022 at 18:58):

abrown requested alexcrichton for a review on PR #5264.

Wasmtime GitHub notifications bot (Nov 14 2022 at 19:46):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Nov 14 2022 at 21:42):

abrown updated PR #5264 from shmem-in-wiggle-str to main.

Wasmtime GitHub notifications bot (Nov 14 2022 at 21:43):

abrown has marked PR #5264 as ready for review.

Wasmtime GitHub notifications bot (Nov 14 2022 at 22:21):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Nov 14 2022 at 22:21):

alexcrichton has enabled auto merge for PR #5264.

Wasmtime GitHub notifications bot (Nov 14 2022 at 22:33):

alexcrichton merged PR #5264.

Last updated: Oct 23 2024 at 20:03 UTC