“Constexpr Everything” - The Standard Library, Microkernel, Apps, and Unit Tests
summary
Claims an AUTOSAR‑compliant hypervisor microkernel, apps and unit tests are implemented in C++20 as constexpr everything, with a bespoke BSL, Clang Tidy‑based AUTOSAR checker, and unit tests executed at compile time. The project reports a working microkernel reduced to ~105KB, 100% code coverage for the constexpr-tested parts, and practical workarounds for non‑constexpr bits (physical/virtual translation, assembly, globals). Watch if concrete tooling, exact limitations, and surprising compile‑time UB detection matter to tonight’s choice.
AI-written summary · about
chapters (11)
- 0:00Start
- 3:39WHAT IS UNDEFINED BEHAVIOR?
- 4:34WHY DO WE HAVE UNDEFINED BEHAVIOR?
- 5:56WHAT IS A VALID PROGRAM?
- 6:18WHAT IS A DEFINED PROGRAM?
- 6:54PROBLEM
- 7:48WHAT IS A UNIT TEST?
- 25:17BAREFLANK SUPPORT LIBRARY
- 29:20BAREFLANK HYPERVISOR (CONTINUED)
- 42:42WHAT IS A MOCK?
- 49:49FINAL THOUGHTS
related talks
01h 03mApplied Best Practices
01h 04mMaking C++ and the STL Work in the Linux / Windows Kernels
01h 13mPractical Production-Proven Constexpr API Elements
49mAre We Macro-free Yet?
01h 01mRethinking the Way We Do Templates in C++
59mSoftware Engineering Is About Tradeoffs
54mC++ Common Knowledge
01h 27mContractual Disappointment in C++