MINIX 3: a Modular, Self-Healing POSIX-compatible Operating System
FOSDEM4 HN recommenders · recommended in 4 months, 2013–2023
talk · intermediate · evergreen · 2013–2023 on HN
Andrew Tanenbaum's FOSDEM 2010 talk on MINIX 3, a microkernel OS built for high reliability and security. It shows how the system detects and recovers from device driver crashes, and addresses microkernel performance concerns.
HN points to it as an accessible explanation of microkernel isolation and fault-tolerant design, and as Tanenbaum's answer to performance objections.
Up next
3 mo on HNJohn Rauser keynote: "Statistics Without the Agonizing Pain" -- Strata + Hadoop 2014
O'Reilly
3 HN recommender · 2015–2025
9 mo on HN28c3: The Science of Insecurity
28c3
9 HN recommender · 2012–2024
4 mo on HNThe Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommender · 2018–2023
14 mo on HNThe Tragedy of systemd
linux.conf.au
16 HN recommender · 2019–2025
11 mo on HNThe Thirty Million Line Problem
Molly Rocket
11 HN recommender · 2018–2024
10 mo on HNVCF East: Ken Thompson interviewed by Brian Kernighan
Vintage Computer Federation
11 HN recommender · 2019–2025
9 mo on HNLISA11 - Fork Yeah! The Rise and Development of illumos
USENIX
9 HN recommender · 2012–2026
9 mo on HNUSENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
USENIX
12 HN recommender · 2021–2026
8 mo on HNAT&T Archives: The UNIX Operating System
AT&T Tech Channel
10 HN recommender · 2013–2026
8 mo on HNTempleOS | Down the Rabbit Hole
Fredrik Knudsen
7 HN recommender · 2019–2022
7 mo on HNUnix and Google
FOAM
4 HN recommender · 2016–2023
6 mo on HNBryan Cantrill on Jails and Solaris Zones
PapersWeLove
6 HN recommender · 2016–2025
6 comments from Hacker News
Andrew Tanenbaum presenting on Minix 3's architecture: ▶ this video . Regardless of one's opinions on microkernels vs. monolithic kernels, it's a very interesting but accessible talk for those interested in lower-level systems and fault-tolerant architectures.
Writing OS's is hard and there are no shortcuts. You should take a look at microkernels and the work Andrew Tanenbaum did with Minix 3 [1] and his modular design as this is the sort of direction you're probably looking for with customisable OS's. [1] ▶ this video
Here's Andy Tannenbaum's response to the performance issues of microkernels: ▶ this video (should start at about 47:15)
It's also for security. If you find a security vulnerability in e.g. the sound driver, you're not going to get root access. Andrew Tanenbaum explains it well: ▶ this video
Here's you some examples to learn from. Most are old enough that patents have expired: Why Do Computers Stop and What Can Be Done About It? (1985) link Their NonStop Architecture link QNX's systems are ultra-reliable, too link OpenVMS clusters' uptime was years to decades & mixed CPU ISA's link Systems that run forever and self-heal (Armstrong) link Microreboots link Minix 3: Microkernel-based, self-healing, POSIX OS ▶ this video
(2015) Previously: link And see [1], my note about this talk being more or less the same as the 2010 Minix talk at FOSDEM[2]. If you saw that one, or any other talk by Tanenbaum of that period, I'll spoil it for you: there's nothing substantially different in this talk. 1. link 2. ▶ this video