BDWGC项目对CHERI扩展的支持与实现

概述

BDWGC（Boehm-Demers-Weiser垃圾收集器）作为一款广泛使用的内存管理工具，近期对其进行了CHERI（Capability Hardware Enhanced RISC Instructions）扩展支持的重要更新。CHERI是一种硬件安全扩展架构，通过能力（capability）机制提供细粒度的内存保护。本文将详细介绍BDWGC如何实现对CHERI架构的支持。

CHERI架构简介

CHERI架构由剑桥大学开发，通过在传统指针基础上增加权限和边界信息，形成"能力"这一新型指针类型。这种架构能够有效防止缓冲区溢出、悬垂指针等常见内存安全问题。BDWGC对CHERI的支持主要针对Morello实现，这是ARM基于CHERI架构的处理器实现。

实现挑战与解决方案

在BDWGC中实现CHERI支持面临多个技术挑战：

1. 指针处理：CHERI能力指针与传统指针在内存表示上存在差异，需要修改指针比较、对齐等操作。例如，在GC_ADDR_LT宏中需要仅比较地址部分而非整个能力。

2. 内存标记：CHERI的纯能力模式（purecap）下，指针大小可能超过传统系统的指针大小，影响内存标记机制。解决方案包括调整GC_TINY_FREELISTS等宏定义。

3. 边界对齐：使用CHERI特有的cheri_align_down/up函数替代传统的对齐操作，确保能力指针的正确边界。

4. 类型转换：处理能力指针与整数间的转换时需要特别小心，避免能力信息丢失。修改了GC_CAST_AWAY_CONST_PVOID和CAST_THRU_UINTPTR等宏。

构建与测试

当前BDWGC可通过以下方式构建CHERI支持：

./autogen.sh
./configure --enable-cplusplus --enable-gc-assertions --enable-werror
make check CFLAGS_EXTRA="-march=morello -mabi=purecap"

在非纯能力模式下，静态链接构建已通过所有测试。但在纯能力模式下仍存在稳定性问题待解决。

当前状态与已知问题

目前实现已取得显著进展：

• 所有来自capablevms组织的补丁已合并
• 基础功能在非纯能力模式下工作正常
• 重构了代码结构，使CHERI支持更加清晰

但仍存在以下问题：

1. 在最小配置下，staticrootstest和gctest两个测试用例失败
2. 启用SMALL_CONFIG时所有测试失败
3. 共享库构建存在加载路径问题
4. GCJ支持需要调整粒度大小

未来工作

后续工作将聚焦于：

1. 解决纯能力模式下的稳定性问题
2. 完善共享库支持
3. 优化性能，特别是能力指针操作的开销
4. 增强测试覆盖率，确保各种配置下的可靠性

BDWGC对CHERI的支持为内存安全关键应用提供了新的可能性，将垃圾回收与硬件能力保护相结合，有望构建更加安全可靠的系统。