HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

MINIX 3: a Modular, Self-Healing POSIX-compatible Operating System

FOSDEM4 HN recommenders · recommended in 4 months, 2013-2023
YouTube
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.

Operating systems & kernelsDistributed systems#minix3#microkernel#faulttolerance#tanenbaum#self-healing

6 comments from Hacker News

@nickpsecurity2023 · in “Ask HN: Best practices for self-healing apps?”

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

CitesView on HN
@carussell2017 · in “A reimplementation of NetBSD using a MicroKernel (2015)”

(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

CitesView on HN
@shangxiao2014 · in “Hobby kernel and userspace, built mostly from scratch”

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

RecommendsView on HN
@noblethrasher2014 · in “What are the advantages of the Hurd over Linux/BSD? (2013)”

Here's Andy Tannenbaum's response to the performance issues of microkernels: ▶ this video (should start at about 47:15)

RecommendsView on HN
@TallGuyShort2013 · in “Ask HN: What's the best technical talk you've heard?”

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.

Strongly recommendsView on HN
@thirsteh2013 · in “Minix 3.2.1 Released”

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

RecommendsView on HN
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)1:10:23

"Systems that run forever self-heal and scale" by Joe Armstrong (2013)

Strange Loop Conference
85K views • 5 years ago
Run containers on bare metal already!41:12

Run containers on bare metal already!

Bryan Cantrill
40K views • 10 years ago
USENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware1:06:20

USENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware

USENIX
46K views • 5 years ago
seL4 Is Free – What Does This Mean For You?49:45

seL4 Is Free – What Does This Mean For You?

Linux.conf.au 2015 -- Auckland, New Zealand
10K views • 11 years ago
"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell40:56

"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell

Strange Loop Conference
25K views • 12 years ago
Solid Ground // Saša Jurić35:15

Solid Ground // Saša Jurić

EMPEX Conference
14K views • 9 years ago
36C3 -  A systematic evaluation of OpenBSD's mitigations53:02

36C3 - A systematic evaluation of OpenBSD's mitigations

media.ccc.de
18K views • 6 years ago
Joanna Rutkowska: Towards (reasonably) trustworthy x86 laptops1:02:52

Joanna Rutkowska: Towards (reasonably) trustworthy x86 laptops

media.ccc.de
27K views • 10 years ago
Unix and Google7:16

Unix and Google

FOAM
9K views • 10 years ago
The State of Kernel Self Protection Project by Kees Cook, Google45:47

The State of Kernel Self Protection Project by Kees Cook, Google

The Linux Foundation
7K views • 9 years ago
Mastering Chaos - A Netflix Guide to Microservices53:14

Mastering Chaos - A Netflix Guide to Microservices

InfoQ
2.3M views • 9 years ago
GigCityElixir23 - Bryan Hunter1:01:46

GigCityElixir23 - Bryan Hunter

Groxio
10K views • 3 years ago
Stanford Seminar - The Soul of a New Machine: Rethinking the Computer1:26:02

Stanford Seminar - The Soul of a New Machine: Rethinking the Computer

Stanford Online
76K views • 6 years ago
Liberating Distributed Consensus - Heidi Howard34:52

Liberating Distributed Consensus - Heidi Howard

Reactive Summit
7K views • 7 years ago
AWS re:Invent 2018: How AWS Minimizes the Blast Radius of Failures (ARC338)55:44

AWS re:Invent 2018: How AWS Minimizes the Blast Radius of Failures (ARC338)

Amazon Web Services
37K views • 7 years ago
"Compacting the Uncompactable" by Bobby Powers40:18

"Compacting the Uncompactable" by Bobby Powers

Strange Loop Conference
29K views • 7 years ago
Paxos lecture (Raft user study)1:06:34

Paxos lecture (Raft user study)

Diego Ongaro
114K views • 13 years ago
Distributed Systems 1.1: Introduction14:36

Distributed Systems 1.1: Introduction

Martin Kleppmann
382K views • 6 years ago
"I See What You Mean" by Peter Alvaro52:29

"I See What You Mean" by Peter Alvaro

Strange Loop Conference
59K views • 11 years ago
User-level threads....... with threads. - Paul Turner - Google34:00

User-level threads....... with threads. - Paul Turner - Google

Linux Plumbers Conference
41K views • 13 years ago