molten take: i'd much rather see rust in the kernel than all of this ebpf nonsense

even more molten take: I'd rather see the linux kernel thrown away and replaced with a microservice fabric running on top of something like xen.

big-bang take: type-1 hypervisors are just the new microkernel, except they actually scale


anyway, it is totally possible to preserve the linux syscall ABI on such an architecture

@ariadne it's sad we have to call these hot takes instead of just... standard reality by now

i see rust as a decent compromise so my existing linux systems can stop running unproven code, until i get into os/exokernel dev hardcore and can undo the damage unix did to us

@ariadne i find windows’ way of doing syscalls a bit better because you can do userspace emulation much more easily since applications won’t just randomly hit an invalid (or dangerous) syscall

@charlotte sure, but we already have all these linux binaries which we can run today on any system which supports the linux syscall ABI ;)

@ariadne many of which can run on a different ABI by switching out the (which, good luck creating an ABI-compatible alternative to glibc)

@charlotte there's a lot of contractual details about the linux syscall ABI that doesn't really make this realistic

@ariadne i thought the bigger hurdle was the libc and it wouldn’t be particularly fast

@charlotte nah, the problem is that kernel-userspace details are encoded in the linux syscall ABI, which means if you switch out the libc, you might have different struct layouts, etc.

this is why NTDLL is a big deal in Windows land

@ariadne yep! Qnx had this great POSIX layer on top of their microkernel without much of an overhead. It was even included in their floppy demo. Linux ABI is probably an order of magnitude larger, but certainly doable.

Sign in to participate in the conversation
Treehouse Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!