Capability Boehm: Challenges and Opportunities for Garbage Collection with Capability Hardware
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 microarchitectural 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.
Tue 1 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 16:30 | Session-2: Runtime VirtualizationResearch Papers at Online Chair(s): Mingyu Wu Shanghai Jiao Tong University | ||
15:30 20mTalk | Enabling Pipeline Parallelism in Heterogeneous Managed Runtime Environments via Batch Processing Research Papers Florin Blanaru The University of Manchester, Athanasios Stratikopoulos The University of Manchester, Juan Fumero University of Manchester, UK, Christos Kotselidis KTM Innovation / The University of Manchester DOI Pre-print | ||
15:50 20mTalk | Transparent and Lightweight Object Placement for Managed Workloads atop Hybrid Memories Research Papers | ||
16:10 20mTalk | Capability Boehm: Challenges and Opportunities for Garbage Collection with Capability Hardware Research Papers Link to publication DOI Pre-print |
The Zoom room for Session 2 is at https://rochester.zoom.us/j/95639573724?pwd=Q3Fscitpd3VIcnVTaEMwRTFUS2hRdz09.