Rust MIR as an alternative to WASM
rishflab opened this issue · 0 comments
rishflab commented
Rust MIR has borrow checking. This could make it easy for programs to safely share memory.
I am not sure if RUST MIR contains enough information to ensure that programs are no accessing memory they are not supposed to (bounds checking etc) but if it does then it has the critical properties that make WASM a good candidate for redshirt along plus the ability for programs to safely share memory (proven by the borrow checker) and it is faster than WASM.