It's funny to see how they highlight that it inspired Linux, ehile Tanenbaum heavily criticized it for not being a microkernel :D
Well, it “inspired” Linux because Linus was unhappy with Minix. Linus wanted UNIX and Minix was not what he was looking for. I don’t think emulating Minix itself was ever his goal. He chose the Minix file system originally but this was just pragmatic as that is what his drive was formatted with. The earliest versions of Linux were written on Minix though. Credit where credit is due. Interestingly, Linus was unaware o…
Andrew S. Tanenbaum Receives ACM Software System Award
31–40 of 104 posts
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#32is MINIX abandonware now? Many years ago I tried to install the release that works (or comes bundled) with a light window manager but it was not trivial and it looked pretty abandoned even back then.
Basically, around MINIX 3.2.0 (just before I stated contributing) the OS ditched its homegrown userland and adopted the NetBSD source tree + pkgsrc. While that boosted the software compatibility of MINIX3 in the short term, the maintenance burden of keeping up with upstream with such a large diff proved unsustainable in the long term, especially after the grant money dried up.
In hindsight, my opinion is that MINIX3 should've gone with NetBSD binary compatibility. The NetBSD syscall table would've been a far slower moving target to keep up with than the entire NetBSD source tree.
The OS also had a significant amount of tech debt, especially in the microkernel which was uniprocessor and 32-bit only, as well as outdated hardware support which meant nobody was daily-driving it anymore. It also was an aging design: while the system was divided up into user-mode servers with message-based communication, you couldn't containerize a process by spawning a parallel userland ecosystem for example because it wasn't capability-based or namespaceable.
It's too bad really, because the base system had really impressive capabilities. It could transparently survive crashes of stateless drivers, even when stress-testing it by injecting faults into the drivers at runtime. You could live-update the various system services at runtime without losing state or impacting clients. Some really good papers came out of MINIX3 [1].
I've ranted more in detail before, both on HN [2] as well on Google Groups [3]. I do not fault the maintainers for the current state of affairs because keeping up the MINIX3 userland against modern software standards was a major maintenance burden, so adopting NetBSD's one way or another was inevitable. At any rate, there are other micro-kernel based operating systems [4], some under active development, so MINIX's spirit lives on.
[1] https://wiki.minix3.org/doku.php?id=publications
[2] https://news.ycombinator.com/item?id=34916261
[3] https://groups.google.com/g/minix3/c/qUdPZ0ansVw/m/7LuOv0YOA...
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#33is MINIX abandonware now? Many years ago I tried to install the release that works (or comes bundled) with a light window manager but it was not trivial and it looked pretty abandoned even back then.
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#34Re: Andrew S. Tanenbaum Receives ACM Software System Award
#35Re: Andrew S. Tanenbaum Receives ACM Software System Award
#36His book “Computer Networks” was one of my favourites in my CompSci study days. Many years later I gave lectures on Distributed Systems at a business school and based the material on the book. Still feels relevant, even today.
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#37It's kind of sad systems research pretty much stopped at this point. I really was hoping that by 2024 I'd be running a distributed operating system where processes could be be freely migrated between my phone, desktop, laptop and NAS without too much of a hitch.
What you are describing is the bread and butter of modern systems research and all the large cloud providers internally implement this kind of thing.
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#38Earlier quoted context omitted.
Why did they use Minix and not e.g. L4 or sel4? Which version of Minix did they actually use? There is Minix v3.1 (released in 2005 with the book), 3.2 (released in 2012) and 3.3 (released in 2014).
The original L4 (I believe) wasn't commercially available und sel4 is GPL licensed. Minix has a BSD license, so maybe that's why
Re: Andrew S. Tanenbaum Receives ACM Software System Award
#39While I was watching that i said: “DUDE! I remember that quote (and that illustration)”. Went to my text book and there it was. In Tanenbaum’s networking textbook.
Aside from the anecdote, this guy has had a huge influence in the whole industry (not even mentioning the Kernel debates).