mii/wasmer
1
0
Fork 0
mirror of https://github.com/mii443/wasmer.git synced 2025-12-08 05:38:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Document why Send and Sync are safe.

Browse Source
This commit is contained in:
Nick Lewycky
2020-11-02 13:22:19 -08:00
parent 22187a8dc4
commit 1a1bcbc21b
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/vm/src/lib.rs
View File

@@ -72,10 +72,12 @@ impl std::ops::Deref for FunctionBodyPtr {
}
/// # Safety
/// TODO:
/// The VMFunctionBody that this points to is opaque, so there's no data to
/// read or write through this pointer. This is essentially a usize.
unsafe impl Send for FunctionBodyPtr {}
/// # Safety
/// TODO:
/// The VMFunctionBody that this points to is opaque, so there's no data to
/// read or write through this pointer. This is essentially a usize.
unsafe impl Sync for FunctionBodyPtr {}
/// Pointers to section data.