注目★★★★★Lobsters
CHERI：ハードウェアレベルでポインタを保護し、マイクロコントローラから DC まで対応
30秒で把握
- 1CHERI が CPU 命令セット拡張としてポインタを capabilities (境界+パーミッション) に格上げ、メモリ安全性脆弱性を ハードウェアで防止
- 264 ビット address + 64 ビット metadata で実装・load/store 権限の分離、deep immutability など細粒度制御が可能に
- 3CheriBSD/Linux 向けと CHERIoT (microcontroller) で既存互換と完全設計の 2 極で進行中・段階的採用パスを提供
要約
CHERI は CPU の命令セット拡張で、従来はソフトウェアの抽象化に過ぎなかったポインタをハードウェアで実装し、メモリ安全性と細粒度な隔離を実現する。ポインタは単なるアドレスではなく、境界 (bounds) とパーミッション (権限) をメタデータとして持つ capabilities として扱われ、不正なアクセスをハードウェアが防止する。CHERI は SIMD のように複数の ISA (ARM Morello、CHERIoT for RISC-V、MIPS) に局所化できるアーキテクチャ思想であり、既存バイナリとの互換性を重視する CheriBSD/Linux 向けから、フルスタック再設計が可能なマイクロコントローラ向け CHERIoT まで、スケーラブルに採用できる。キーインサイト：完全隔離は容易だが、異なるワークロード間の通信を含む部分的隔離を安全に実現することが難しく、CHERI はこの通信スキーム (programming model) を定義し、ハードウェア・ソフトウェア両面で実装する。
あなたへの影響
メモリ安全性脆弱性 (バッファオーバーフロー・use-after-free) が引き続き ARM / RISC-V 搭載組み込み・サーバで主要な脅威である一方、言語レイヤーの対策 (Rust・メモリセーフ言語) には既存 C/C++ 資産の書き換え負担がある点で、CHERI は既存バイナリ互換と段階的採用を両立させる設計思想を示す。
推奨：今後 ARM Morello・CHERIoT が実装段階に進めば、エンベッド・組込 C コード資産を持つチームは capability ベースのメモリモデル変化に適応する必要が生じ得る。