[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
OT: protection in SASOS
From: |
Tom Bachmann |
Subject: |
OT: protection in SASOS |
Date: |
Thu, 11 May 2006 15:36:22 +0200 |
User-agent: |
Mail/News 1.5 (X11/20060403) |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Marcus Brinkmann wrote:
> At Wed, 10 May 2006 08:54:41 -0700,
> Thomas Bushnell wrote:
>> Still, he is essentially right. The conclusion is--dare I say
>> it--right as well. The best computer systems *are* single address
>> space systems. Of this, I have absolutely no doubt.
>
> But this just replaces the war on the best kernel with a war on the
> best memory-safe programming language...
>
OT: Why implies sasos a memory-safe language?
Of course, using one is a solution to protection, but this is not
exactly in the spirit os sasos, as you now get different logic address
spaces (imo).
If you have a look at e.g. mungi or nemesis, they show that other
mechanisms (virtual memory) can be used.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
iD8DBQFEYz3WvD/ijq9JWhsRAtFiAKCASni/l5r1adiffSVJSPcXUc8/ugCdGwNU
CELpq+BaTJrFoIVG7aoVDHo=
=yGsI
-----END PGP SIGNATURE-----
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Thomas Bushnell BSG, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Jonathan S. Shapiro, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Niklas Klügel, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Niklas Klügel, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Bas Wijnen, 2006/05/11
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11