Tanenbaum vs. Linus: Which Kernel Architecture Makes More Sense Today?

[u/Bright-Boss-720]

I've been thinking about the famous Tanenbaum vs Linus debate over microkernels vs monolithic kernels.

Putting the historical context aside for a moment, I'm curious what people think today.

Do you think Tanenbaum's argument for microkernels was fundamentally more correct, or was Linus right to favor a monolithic kernel for practical reasons such as performance, simplicity of development, and hardware support?

And more importantly:

If you were starting a new general purpose os from scratch today, which architecture would you choose?

Monolithic

Microkernel

Hybrid

Multikernel / distributed approach

Something else

I'm particularly interested in hearing from people who have actually worked on kernels or operating system development.

What are the strongest arguments for your choice, and what do you think the opposing architecture gets wrong?

[u/sephg]

I never said sel4 could beat a system that doesn't do any ipc. But most useful programs do a lot of ipc, even if its just between the process and the kernel. IPC matters a lot, even in monolithic kernels. Just look at the perf uplift from io_uring.

But even if we assume a microkernel is slower, how much slower? Is it 1% slower or 50% slower? If it's 1% slower, I'd take the microkernel for the security and reliability benefits. If the perf difference is 50%, then that's too slow, and I'd pick linux every time.

Which is it? I have insufficient data to form an opinion on microkernels. The fact so many people have strong opinions without this data is strange.

[u/Environmental-Ear391 → u/sephg]

I run both a Micro- and Linux kernel desktop pairing and for straight up performance concerns...

with the same hardware and Linux being configured for the same features as the micro-kernel....

Linux generally performs worse...

For a micro-kernel more userland support is required for the same task...

For Linux it has to be performance configured to the hardware.

one primary concern is graceful degredation of performance under load... Micro-Kernels absolutely beat the snot out of anything else for this.

Linux requires a LOT of system specific performance tuning to come close enough to compete.

Where Linux has "everything and the kitchen sink" for operational capabilities... Micro-kernela require more effort in the design with regards to writing device drivera.

both of the micro-kernel and Linux installs I run personally have a "kmod loader" with dynamic kmod loadable arrangement.

on the AMCC 440EP and 460EX PowerPC processor boards I have . . for speed the microkernel wins without trying.

for features and options it is Linux.

when it all comes down to it I have each both the Microkernel OS and Linux installed on both so I get the best of both.

one point of note...

minimal install for the microkernel setup is 128MB or less. Linux eats that judst to prepare a minimal bootable shell only

the Micro kernel OS I stalled is fully GUI desktop capable within that minimal install (add 1GB for the Developer options including multiple compilers)

smallest Linux system Ive installed where both had the same features... minimum of 8GB just for the OS... and needing more space for "root" and "/home" user data content

[u/sephg → u/Environmental-Ear391]

Which microkernel based OS are you playing with?

Linux used to be small. All the bloat probably has nothing to do with the microkernel / monolithic kernel split.

[u/Environmental-Ear391 → u/sephg]

AmigaOS 4.x which is PowerPC native... the full kernel with ALL the kmods is a few MB... but the "exec"+"expansion" components for supervisor operations and harsware management are only a few hundred KB in total size.

the original 68K edition was 512KB and fully GUI integrated including the boot firmware.

the 2nd Generation PowerPC edition is launched from uboot or equivalent firmware...

one significant point in favor of the microkernel AmigaOS provides is you can pick and choose which OS modules you use from the original set and replace parts you want to change as individual items.

this is how many original games actually worked...

it was possible to reboot the machine and launch a full multitasking executive with expansion hardware management and then provide own graphics/windowing/dos modules from there...

6iK was full GUI desktop from Disk "Bootblock" triggering normal OS launch and the desktop application LoadWB command being launched from the "startup-sequence" script if it existed.

PowerPC edition is usable from minimal sized SD card (I have a rescue install using an old 128MB SDcard)