A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4

This research work proposes a concurrency framework designed to handle priority-based intercomponent requests efficiently in CAmkES on seL4. The framework supports reentrant execution, locked critical sections over shared state using IPCP, NPCS, and PIP protocols. It requires minimal changes to comp

0 views • 8 slides