Michael will discuss Minix and other μ-kernel (https://en.wikipedia.org/wiki/Microkernel) operating systems, focusing on security and performance. If a kernel is small enough, you can approach provable correctness. Device drivers and file systems run in user space and can be swapped out or restarted while the rest of the system continues to run normally. This provides a level of isolation that monolithic kernels achieve only with virtual machines.
The price of this security and reliability has been a small performance hit. The industry's fascination with benchmarks and small annual performance gains has kept microkernels out of the mainstream for a while. Given the popularity of virtual machines (with similar performance hits), and the difficulties of securing monolithic kernels, one has to wonder if the time of the Microkernel has finally arrived.
Micheal Greata was one of the first employees at Prime Computer (https://en.wikipedia.org/wiki/Prime_Computer) and a founder of Apollo Computer (https://en.wikipedia.org/wiki/Apollo_Computer). He was graduated from MIT and served in the US Navy. He is an ACM member and regular attendee at these meetings.
Doors open at 5:30, presentation starts at 6. Please join us for dinner at Mekong http://mekongrestaurantgreenville.com/index.html after (roughly 7:30).