9 ms·
Sounds a bit like Microsoft's Singularity project, though I don't know if they even used a proof system to ensure a program couldn't do bad stuff(TM). After ver
by luckystarr 3mo ago
Sounds a bit like Microsoft's Singularity project, though I don't know if they even used a proof system to ensure a program couldn't do bad stuff(TM). After verification they just let the program run in Ring 0 (kernel space) of the CPU to skip even the performance hit of the cpu's isolation.
- pocksuppet 3mo agoI thought Singularity was just building an OS on a memory-safe language and runtime, C# and .NET. The same thing Java tried to do with applets at the browser level.
- luckystarr 3mo agoI listened to an interview with one of the researchers. They had a component to verify "this binary will never allocate mem outside it's allowed area" and by statically verifying that they could enable high performance IPC. Also, that was the source for the decision to allow it to run on Ring 0. That's what stuck in my mind.
- psd1 3mo agoInformation is sparse about Singularity, which i understand is the same as Midori. Can you find that interview again? I know about OpenGenera; what left-field OSes might i have missed?
- luckystarr 2mo agoCan be that I remembered it incorrectly, as it was in 2008, but here it is: https://se-radio.net/2008/03/episode-88-the-singularity-research-os-with-galen-hunt/ https://se-radio.net/2008/03/episode-88-the-singularity-rese...
- psd1 2mo agoThanks, that was fascinating! I also see that Galen Hunt contributed to Windows Phone, which I adored. (Maybe I'm quixotic, maybe I'm a poor picker, but i love a thing that's beautiful and doomed.)