Modern C++ in Embedded OS Dev
summary
An embedded cooperative OS written in C++14 that targets 8-bit microcontrollers and aims to shift runtime interrupt/locking bugs into compile-time checks. It models interrupt context, scoped-disable and thread preconditions as empty types and overloads APIs so the correct up/post or suspend variant is chosen depending on whether interrupts are already disabled. The system compiles to multiple platforms, enforces IRQ preconditions via types, and demonstrates practical portability on tiny MCUs.
AI-written summary · about
chapters (4)
- 0:00Start
- 0:08Operating Systems
- 2:12Using types to enforce preconditions
- 3:43Sources of disabled interrupts
related talks
01h 11mC++ in the World of Embedded Systems
01h 09m“Modern C++ in Embedded Systems - The Saga Continues”
01h 00mModern Software Needs Embedded Modern C++ Programming
52mC++ for Embedded Development
01h 01mConcurrency Challenges of Interrupt Service Routines
51m“Almost Unlimited Modern C++ in Kernel-Mode Applications”
01h 08mKeynote: What can C++ do for embedded systems developers?
01h 32mKeynote: Employing Senders & Receivers to Tame Concurrency in C++ Embedded Systems