From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b50bc6538a649497 X-Google-Attributes: gid103376,public From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Subject: Re: Ada student homework ? Date: 2000/11/15 Message-ID: <5E93Ivxu6GwO@eisner.decus.org>#1/1 X-Deja-AN: 694038392 References: <3A02CED4.520C2768@brighton.ac.uk> <3A078B6F.D34B024B@erols.com> <8ua3m1$bru$1@nnrp1.deja.com> <3A0916BB.584C6C60@cadwin.com> <3A0952B9.34BE19D1@cadwin.com> <3A0A2E53.DD650D8A@ix.netcom.com> <3A0A6B56.7437E9E7@cadwin.com> <3A0B68EF.A06B276D@ix.netcom.com> <3A0BB50B.96F77015@cadwin.com> <3A0BEAC7.5BC70E0@cadwin.com> <3A0BFA4A.5FA9D365@erols.com> <3A0C03BE.C3216454@cadwin.com> <8ujp12$3vk$1@nnrp1.deja.com> <3A0FCBAD.824095C6@cadwin.cOrganization: LJK Software X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 974319738 216.44.122.34 (Wed, 15 Nov 2000 20:22:18 GMT) Organization: Verio NNTP-Posting-Date: Wed, 15 Nov 2000 20:22:18 GMT Newsgroups: comp.lang.ada Date: 2000-11-15T00:00:00+00:00 List-Id: In article <8utul0$vnv$1@nnrp1.deja.com>, Robert Dewar writes: > The technology for essentialy crash-proof operating systems has > been around for decades, it just has not arrived in Redmond yet! While the technology (memory management tied to processor modes) has been around, that does not mean there are crash-proof operating systems, because the implementation is subject to human frailties. So those "good" operating systems are not really crash-proof, just so crash-resistant that they seem crash-proof when they are compared to the competition. As an example, consider that Windows NT uses the memory management hardware and still gets lumped by practical experience into the "not crash-proof" pile.