[indolering]

CHERI is undeniably on the rise. Adapting existing code generally only requires rewriting less than 1% of the codebase. It offers speedups for existing as well as new languages (designed with the hardware in mind). I expect to see it everywhere in about a decade.

[loeg]

There's a big 0->1 jump required for it to actually be used by 99% of consumers -- x86 and ARM have to both make a pretty fundamental shift. Do you see that happening? I don't, really.

[turtletontine]

Tbh I can imagine this catching on if one of the big cloud providers endorses it. Including hardware support in a future version of AWS Graviton, or Azure cloud with a bunch of foundational software already developed to work with it. If one of those hyper scalers puts in the work, it could get to the point where you can launch a simple container running Postgres or whatever, with the full stack adapted to work with CHERI.

[pjmlp]

I see this happening on ARM world, that is why ARM is working alongside CHERI folks,

https://www.arm.com/architecture/cpu/morello

x86, well Intel has already messed up hardware memory tagging multiple times.

[lowbloodsugar]

We’re all using the pointer math functions in Rust and testing it with miri, right? Right?

[smj-edison]

Interesting, what causes the speedup?

[saagarjha]

You can skip some bounds checks and then get 50% slower because the hardware is not very powerful