MINIX 3: a Modular, Self-Healing POSIX-compatible Operating System
FOSDEM4 HN recommenders · recommended in 4 months, 2013-2023
90K views · 16 years ago · talk · evergreen
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.
1:10:23"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
Strange Loop Conference
85K views • 5 years ago
41:12Run containers on bare metal already!
Bryan Cantrill
40K views • 10 years ago
1:06:20USENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
USENIX
46K views • 5 years ago
49:45seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
10K views • 11 years ago
40:56"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Strange Loop Conference
25K views • 12 years ago
35:15Solid Ground // Saša Jurić
EMPEX Conference
14K views • 9 years ago
53:0236C3 - A systematic evaluation of OpenBSD's mitigations
media.ccc.de
18K views • 6 years ago
1:02:52Joanna Rutkowska: Towards (reasonably) trustworthy x86 laptops
media.ccc.de
27K views • 10 years ago
7:16Unix and Google
FOAM
9K views • 10 years ago
45:47The State of Kernel Self Protection Project by Kees Cook, Google
The Linux Foundation
7K views • 9 years ago
53:14Mastering Chaos - A Netflix Guide to Microservices
InfoQ
2.3M views • 9 years ago
1:01:46GigCityElixir23 - Bryan Hunter
Groxio
10K views • 3 years ago
1:26:02Stanford Seminar - The Soul of a New Machine: Rethinking the Computer
Stanford Online
76K views • 6 years ago
34:52Liberating Distributed Consensus - Heidi Howard
Reactive Summit
7K views • 7 years ago
55:44AWS re:Invent 2018: How AWS Minimizes the Blast Radius of Failures (ARC338)
Amazon Web Services
37K views • 7 years ago
40:18"Compacting the Uncompactable" by Bobby Powers
Strange Loop Conference
29K views • 7 years ago
1:06:34Paxos lecture (Raft user study)
Diego Ongaro
114K views • 13 years ago
14:36Distributed Systems 1.1: Introduction
Martin Kleppmann
382K views • 6 years ago
52:29"I See What You Mean" by Peter Alvaro
Strange Loop Conference
59K views • 11 years ago
34:00User-level threads....... with threads. - Paul Turner - Google
Linux Plumbers Conference
41K views • 13 years ago
6 comments from Hacker News
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
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)
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.
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