Post #2429460
2026-04-30 16:20 UTC
@lispi314@udongein.xyz
I can't help but remember that a very big part of the disagreement between the monolithic and microkernel people was "but muh performance" on the monolithic side.
Replies (2)
-
@lispi314@udongein.xyz 2026-04-30 16:27
@kirtai@tech.lgbt Indeed, but that's a minor issue as Language-Based Security and Capabilities alike can achieve adequate isolation in a monolithic system. Simply provide no unstructured direct access to memory to the language and system interfaces. Then everything has to operate with references as de-facto capabilities. Same or greater performance can be achieved as a lot of the indirections necessary in weaker languages are obsoleted by this. Microkernels are a way to achieve that despite C's limitations.
-
@zardoz03@mastodon.online 2026-04-30 16:27
@kirtai@tech.lgbt @lispi314@udongein.xyz thats also funny because (se)L4's entire thing was saying that synchronous IPC was more performant