News for hackers. Stuff that matters.

A comment on The foundations of a provably secure operating system (PSOS) (1979) [pdf]. Parent comment

Re:The foundations of a provably secure operating system (PS... by Joel_Mckay on Monday May 18, 2026 @10:58AM (#48180804)
Mitigates undetectable bleeding/contamination of information between parallel processes, cores, and or rowhammer etc.

Thus, writing a robust and secure OS may actually be possible by competent programmers in most compiled languages. Best of luck =3

[ Parent | on HN ]
Re:The foundations of a provably secure operating system (PS... by Rohansi on Monday May 18, 2026 @11:38AM (#48181321)
But how does it accomplish that? And how can you guarantee it would solve those hardware issues?
[ Parent | on HN ]
Re:The foundations of a provably secure operating system (PS... by Joel_Mckay on Monday May 18, 2026 @01:35PM (#48182715)
The memory areas would appear as ciphertext to other processes/unprivileged-cores in most cases even when hardware has glitched up. If you are asking how they specifically implemented the mmu <-> unreachable key handling outside the OS, that information was never public if I recall.

I've often pondered how it was really implemented too. Best of luck. =3

"Why Multi-Threaded Code Can Sometimes Misbehave (Weak Memory Concurrency)" (Computerphile)

https://www.youtube.com/watch?v=E3hvLz717zM

[ Parent | on HN ]