CubicleOS -- when Hardware helps to partition software

" summary

Describes CubicleOS, a LibOS built on Unikraft that partitions a monolithic system into isolated components without using messaging-based APIs. Explains why messaging-based microkernel/component designs clash with POSIX compatibility and shows how modern CPU features such as Intel MPK can be used to enforce isolation and enable automatic partitioning instead of the traditional message-passing approach.

AI-written summary · about

" related talks

• 49mBehold The Monolith: Understanding Microkernel ArchitectureMark Richards · Developer Summit 2020
• 18mOxbow: A Coordinated Architecture for Multi-Component File SystemsYoungjin Kwon, Tianyin Xu, Jongyul Kim, Jaehwan Lee, Inhoe Koo, Peizhe Liu, Jiyuan Zhang, Junho Ahn · 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)
• 35mKernel/UserlandRobert Habermeier · sub0 Europe 2023
• 45mImplement a Monolith. But Make It Modular with Well-Enforced BoundariesJ. Milewski · 4Developers 2021
• 12mControlling Opaque-Component Effects with Semisolates and TryMichael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Evangelos Lamprou, Di Jin, Grigoris Ntousakis, Georgios Liargkovas, Calvin Eng · 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)
• 40mAn Operating System of Our OwnHarald Sitter · Akademy 2024
• 51mDomain-centric? Why Hexagonal- and Onion-Architecture are answers to the wrong questionOliver Drotbohm · Spring I/O 2026
• 15mIsolation Mechanisms for High-Speed Packet-Processing PipelinesAurojit Panda, Tao Wang, Anirudh Sivaraman, Gianni Antichi, Xiangrui Yang · 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22)