Post #2429450

2026-04-30 04:24 UTC

@lispi314@udongein.xyz You mean like Microsoft Research's Singularity operating system? I vaguely recall that that sort of security model is insecure because of the Spectre vulnerability. Not sure about the details, but the hardware would also need to lack speculative execution, and nobody's going to accept such a severe performance hit.

Replies (1)

@lispi314@udongein.xyz 2026-04-30 04:33

@argv_minus_one@mastodon.sdf.org Singularity & Midori. Smalltalk and Lisp systems could count too. Spectre vulnerability. Not sure about the details, but the hardware would also need to lack speculative execution, There are ways around that and different ways to do very similar that don't run into the same problem. and nobody's going to accept such a severe performance hit. I would. Those computational models enable efficiency gains that probably largely outweigh the loss of prediction anyway (as several layers of indirection are obviated by a smarter base API/ABI & capabilities). Now, comparing such Language+Capability systems with prediction and without probably would favor those with, but comparing those LC systems without prediction and highly-indirected systems (Linux-likes) with prediction is a different matter.

Open ##2429451