CHERIoT-Platform/cheriot-rtos

Factor out C++ type-indexed virtual sealing type machinery

Open

#694 opened on Apr 28, 2026

View on GitHub
 (0 comments) (0 reactions) (0 assignees)C++ (66 forks)auto 404
good first issue

Repository metrics

Stars
 (163 stars)
PR merge metrics
 (PR metrics pending)

Description

The thread pool library has some cute machinery for getting a per-compartment, private, dynamic virtual sealing type per C++ type it (statically) encounters, the core of which is https://github.com/CHERIoT-Platform/cheriot-rtos/blob/30399a22802d5ab63bb56092d333c6d6184e3b59/sdk/include/thread_pool.h#L70-L79 It'd be nice to make that available more generically and to convert it to use static virtual sealing types (since these are never going to be destroyed, and we can avoid the overheads of lazy initialization if we make the loader do the work instead).

Contributor guide

Research direction
Study the existing type indexed virtual sealing machinery in sdk/include/thread pool.h (lines 70-79). Understand how it creates a per compartment private dynamic virtual sealing type per C++ type. Then design a generic version that can be reused, converting to static virtual sealing types to avoid lazy initialization overhead.
Tech stack
cpp
Domain
operating systemsembedded iot
Issue type
Refactor
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
3-5 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
C++
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
30