News for hackers. Stuff that matters.

A comment on Making Rust a Better Fit for Cheri and Other Platforms. Parent comment

Re:Making Rust a Better Fit for Cheri and Other Platforms by saagarjha on Thursday April 14, 2022 @10:16AM (#31027344)
If you’re passing a pointer to safe Rust code, with the capability bound encoded into something “native” to the language, then you don’t need hardware capabilities at all.
[ Parent | on HN ]
Re:Making Rust a Better Fit for Cheri and Other Platforms by connicpu on Thursday April 14, 2022 @12:00PM (#31028719)
You'd still need access to the capability interface to perform that checking at the unsafe/safe boundary
[ Parent | on HN ]
Re:Making Rust a Better Fit for Cheri and Other Platforms by saagarjha on Friday April 15, 2022 @08:24AM (#31039380)
Correct, but once you've done that you can strip the capability information and pass the raw address around to the safe code because the compiler runs validation.
[ Parent | on HN ]