The Design of a Reliable and Secure Operating System by Andrew Tanenbaum

Most computer users nowadays are nontechnical people who have a mental model of what they expect from a computer based on their experience with TV sets and stereos: you buy it, plug it in, and it works perfectly for the next 10 years. Computers aren't like that, which leads to frustration.

Part of the problem is the operating system, which is often millions of lines of kernel code, each of which can potentially bring the system down. As long as we maintain the current structure of the operating system as a huge single monolithic program full of foreign code (device drivers) and running in kernel mode, the situation will not improve.

In an attempt to provide better reliability and security, we have created a new multiserver operating system, MINIX 3, with only 15,000 lines in kernel and the rest of the operating system split up into small components each running as a separate user-mode processes. It is available for the x86 and ARM for embedded systems. The talk will discuss the design of the system and some of unique aspects, such as live update--the ability to replace the operating system with a new version while it is running without affecting running applications

[pavloskairis]

excellent presentation, thank you Dr. ast

[averri]

Great Tanenbaum. I read almost all your books, and my preferred is Modern Operating Systems.

[googlr]

I have Tannenbaum book on OS Design, just sitting in my library

[Maturion]

A living legend.. I read several of his books at university. Tanenbaum is really an amazing guy.

[Waldemar_la_Tendresse]

What Andrew Tannenbaum says at the beginning of the lecture is such a profound truth, which we have unfortunately become all too used to, that it is no longer possible to fully imagine the implications of systems that simply work. Nowadays it is even common to sell self-sufficient musical devices (synthesizers) that simply do not work well.

Can we as a human society finally get into the habit of handling these things differently and not wasting 90% of human working time on things that don't work? Just imagine the productivity gain and the resulting economic growth, or at least the resulting relaxation of the species.

Manufacturers, you would like great, innovative advertising for your product, and at almost no cost? I give you one:

"My product works as intended in 99.99% of all cases.", nothing more is necessary and no one who isn't absolutely crazy wants anything else.

That is the reason, why printed books have been so populer for centuries, the just "work"!

[olexandrshamin]

I would like to write thesis in this area, but my master program is finishend! Thank you for great speech.

[larryliang]

A perfect example of how a great mind thinks. he is precise, makes clear points, and with a sense of humour.

[yxyk-fr]

5:08 FALSE
CDs use Reed-Solomon error-correcting codes that do not use 3/4th of the space to correcting errors, it's the reverse.
CDs use interleaved, 2-level RS ECC with modest overheads each, so maybe 1/4th of the total data are error-correcting data.

[JustmeAgainOk]

Very insightful talk, less code less bugs.

[dijikstra]

It's a very interesting architecture which makes a lot of sense!

Though I do disagree with you on the licensing issue, being forced to release your improvements is the whole point of the GPL, if we just let corporations run amok their short term profit motive will motivate them to keep everything secret and eventually there will be dozens of proprietary mutually incompatible versions, essentially repeating the history of UNIX. There's a reason Linux became so successful, and it's largely because companies weren't allowed to make their own proprietary changes to the kernel or the basic userspace without contributing their changes back.

[RoDrop]

Excellent! Thanks for posting and sharing.

[ГеннадийПетрович-ль]

Лютый дед. Таким дедам надо памятники чугунные на вокзалах ставить...

[gackerman]

this guy had me at bloated bootloaders. you wouldn't think to notice but some of them are obscenely complicated and it hurts us much more than it helps

[Waldemar_la_Tendresse]

The only reason why the GPL has been a problem for companies so far is because our economic system has not yet been able to be transferred to an "open source/knowledge" version of itself.

Open source/knowledge medicine is just one of the necessary milestones.

[jtomae]

at 24:20, can you prompt the user to switch clients? automatically try others?

[Waldemar_la_Tendresse]

I love the almost incidental idea of ​​"garbage collecting" in C: swap the operating system for the same version via crontab once a day and a system can run for the aforementioned 50+ years.

I AM HOOKED! And not just because of the racoon.

[gaiuszeno]

Does anyone know why he chose LLVM/Clang over The Amsterdam Compiler Kit?

[zoranristov]

Why isn't this guy being taught at schools/unis? Yet they teach you about a freaking Steve Jobs my god the world we live in

[psachin]

Raccoons are most likely to visit your house than penguins

[ipromiseolive]

hello sir please i need help i love designing computer operation system but not unix style operating deferent from that of mac i need a video tutorial on how to setup the cpu emulator on mac to start.