Capability Boehm: challenges and opportunities for garbage collection with capability hardware
Capability Boehm: challenges and opportunities for garbage collection with capability hardware
复制标题
Capability Boehm：使用功能硬件进行垃圾收集的挑战和机遇
DOI：
10.1145/3516807.3516823
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Jacob D
中科院分区：
文献类型：
--
作者：
Jacob D
Boehm-Demers-Weiser Garbage Collector（BDWGC）是一个广泛使用的，生产质量的C和C++应用程序内存管理框架。在这项工作中，我们描述了我们的经验，在适应BDWGC的现代能力的硬件，特别是CHERI系统，它提供了有关内存安全的保证，由于运行时执行细粒度的指针界限和权限。尽管许多库和应用程序已经移植到CHERI，但据我们所知，这是第一次分析将垃圾收集器移植到CHERI的复杂性。我们描述了各种挑战的CHERI微架构的限制，沿着一些重要的机会，运行时优化。由于我们还没有获得能力的硬件，我们提出了一个有限的研究模拟微基准测试软件事件计数。这份经验报告应有助于其他系统实施者努力支持正在进行的CHERI倡议。
The Boehm-Demers-Weiser Garbage Collector (BDWGC) is a widely used, production-quality memory management framework for C and C++ applications. In this work, we describe our experiences in adapting BDWGC for modern capability hardware, in particular the CHERI system, which provides guarantees about memory safety due to runtime enforcement of fine-grained pointer bounds and permissions. Although many libraries and applications have been ported to CHERI already, to the best of our knowledge this is the first analysis of the complexities of transferring a garbage collector to CHERI. We describe various challenges presented by the CHERI micro-architectural constraints, along with some significant opportunities for runtime optimization. Since we do not yet have access to capability hardware, we present a limited study of software event counts on emulated micro-benchmarks. This experience report should be helpful to other systems implementors as they attempt to support the ongoing CHERI initiative.
登录
查看更多内容
CHERI Concentrate：实用的压缩功能
影响因子：
3.7
作者：
Woodruff J
通讯作者：
Woodruff J
DOI：
--
发表时间：
2000
期刊：
Handbook of Electronic Commerce
影响因子：
--
作者：
S. Choi;Andrew Whinston
通讯作者：
Andrew Whinston
节省空间的保守垃圾收集
DOI：
--
发表时间：
1993
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
H. Boehm
通讯作者：
H. Boehm
BCPL编译器的可移植性
DOI：
--
发表时间：
1971
期刊：
Software, Practice & Experience
影响因子：
--
作者：
M. Richards
通讯作者：
M. Richards