MINIX 3

on YouTube ↗01h 03m

" summary

Claims a microkernel multiserver OS with 15,000 lines in the kernel and most services split into user-mode drivers, reducing blast radius of bugs. Ports NetBSD userland so ~5,000 packages build and the site shows ~650,000 downloads. Tools include LLVM-based passes for binary fault injection (800,000 injected faults) that crash drivers ~18,000 times while the OS stays up. A live update mechanism exists and runs in the lab to swap servers without reboot.

AI-written summary · about

" chapters (54)

1. 0:00Intro
2. 0:57GOAL OF OUR WORK: BUILD A RELIABLE OS
3. 1:41THE TELEVISION MODEL
4. 1:56THE COMPUTER MODEL (WINDOWS EDITION)
5. 2:52THE COMPUTER MODEL (2)
6. 3:14TYPICAL USER REACTION
7. 3:31IS RELIABILITY SO IMPORTANT?
8. 4:07IS THIS FEASIBLE?
9. 4:37IS RELIABILITY ACHIEVABLE AT ALL?
10. 6:02A NEED TO RETHINK OPERATING SYSTEMS
11. 7:08BRIEF HISTORY OF OUR WORK
12. 9:11THREE EDITIONS OF THE BOOK
13. 10:49ISOLATE COMPONENTS
14. 11:21ISOLATE I/O
15. 11:49ISOLATE COMMUNICATION
16. 12:23ARCHITECTURE OF MINIX 3
17. 13:57USER-MODE DEVICE DRIVERS
18. 14:41USER-MODE SERVERS
19. 15:09A SIMPLIFIED EXAMPLE: DOING A READ
20. 15:43FILE SERVER (2)
21. 16:35REINCARNATION SERVER
22. 18:58DISK DRIVER RECOVERY
23. 20:25KERNEL RELIABILITY/SECURITY
24. 21:48IPC RELIABILITY/SECURITY
25. 22:44DRIVER RELIABILITY/SECURITY
26. 24:20OTHER ADVANTAGES OF USER DRIVERS
27. 24:46FAULT INJECTION EXPERIMENT
28. 25:43PORT OF MINIX 3 TO ARM
29. 27:07EMBEDDED SYSTEMS
30. 27:19CHARACTERISTICS
31. 28:48MINIX 3 MEETS BSD
32. 29:12OR MAYBE
33. 30:21NETBSD FEATURES IN MINIX 3.3.0
34. 32:15NETBSD FEATURES MISSING IN MINIX 3.3.0
35. 33:07KYUA TESTS
36. 33:37SYSTEM ARCHITECTURE
37. 34:37MINIX 3 ON THE THREE BEAGLE BOARDS
38. 35:11YOUR ROLE
39. 37:03MINIX 3 IN A NUTSHELL
40. 38:03POSITIONING OF MINIX
41. 39:38FUTURE FEATURE: LIVE UPDATE
42. 41:21EXAMPLE OF HOW WOULD THIS WORK
43. 41:59LIVE UPDATE IN MINIX
44. 42:17HOW DO WE DO THE UPDATE?
45. 46:16HOW THE UPDATE WORKS
46. 48:09OTHER USES OF LIVE UPDATE
47. 50:33RESEARCH: FAULT INJECTION
48. 51:18NEW PROGRAM STRUCTURE
49. 52:11MINIX 3 LOGO
50. 53:11DOCUMENTATION IS IN A WIKI
51. 54:07MINIX 3 GOOGLE NEWSGROUP
52. 54:26CONCLUSION
53. 56:23SURVEY
54. 58:08MASTERS DEGREE AT THE VU

" related talks

• 01h 13mMINIX 3: A Reliable and Secure Operating SystemAndrew S. Tanenbaum · Codemotion Rome 2015
• 43mClimbing out from the digital mud with unikernelsIan Eyberg · HighLoad++ 2017
• 16mMicrokernel Goes General: Performance and Compatibility in the HongMeng Production...Hui Wang, Nan Wang, Haibo Chen, Kun Li, Xie Miao, Nian Liu, Ning Jia, Yu Li, Yutao Liu, Fei Wang, Qiang Huang, Hongyang Yang, Jie Yin, Yu Peng, Fengwei Xu · 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24)
• 20mSemperOS: A Distributed Capability SystemPramod Bhatotia, Hermann Härtig, Nils Asmussen, Matthias Hille · USENIX ATC '19
• 50mWhat the FuzzCornelius Aschermann, Sergej Schumilo · Black Hat Europe 2019
• 43mSyzbot and the Tale of Thousand Kernel BugsDmitry Vyukov · Linux Security Summit North America 2018
• 06mLightning Talk: Security Down to the KernelJustin Garrison · CloudNativeSecurityCon North America 2024
• 47mMinimum Viable LinuxMattias Geniar · Laracon EU 2018