Guest Lecture • Systems and Networking • Scaling a Real-time Micro-kernel OS to Many Cores: Achievements and Challenges

Tuesday, March 31, 2026 10:00 am - 11:00 am EDT (GMT -04:00)

Please note: This guest lecture will take place in MC 4060.

Elad Lahav, Lead Architect, QNX

QNX is a micro-kernel based real-time operating system, which has supported SMP hardware since circa 2000. Developments in hardware over the last decade have forced a re-evaluation of the micro-kernel design to alleviate bottlenecks in scalability. The talk will describe these problems and the design changes made in support of a new, scalable, fully-preemtable micro-kernel. Finally, a list of problems either introduced by the new design, left unsolved from the previous design, or created by developments in hardware, will be discussed.


Bio: Elad Lahav has been working for QNX since 2012 and spent most of the time on the kernel team. Before that he was the team lead for the BlackBerry OS kernel. In 2019 he started the design of the new QNX OS micro-kernel, which was released as part of QNX 8 in December 2023. Since 2024 is the lead architect at QNX. He holds an M.Math degree from the University of Waterloo.