Hacker News new | ask | show | jobs
by kwitaszczyk 792 days ago
The CHERI ISA does not provide temporal safety features but it allows building temporal safety mechanisms in software. CheriBSD 23.11 includes user-space heap temporal memory safety that is enabled by default [0]. The paper "Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety" at ASPLOS 2024 will describe the current implementation [1].

For embedded systems, the CHERIoT [2] platform implements hardware-assisted temporal memory safety without MMU.

[0] https://ctsrd-cheri.github.io/cheribsd-getting-started/featu...

[1] https://www.asplos-conference.org/asplos2024/main-program/ab...

[2] https://cheriot.org/papers/2023-micro-cheriot-uarch.pdf