cheri

David Chisnall 介绍了 CHERI，一种硬件能力架构，通过 ARM Morello、RISC-V 和 CHERIoT 微控制器等 ISA 扩展实现内存安全和细粒度隔离。该演讲强调了实用编程模型对于安全隔离的重要性。

详细回顾了Rekursiv处理器的历史，这是一款由1980年代苏格兰高保真公司Linn Products研发的定制面向对象CPU，率先实现了硬件内存安全性和持久对象存储。文章指出，这些理念如今已出现在现代ARM CHERI核心中。