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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b95a522100671708
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!newshub.sdsu.edu!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 03 Jan 2005 18:00:49 -0600
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <Gq2dnUK90vVhBVLcRVn-1w@gbronline.com>
 <gemini.i9ih0y000ys1c02s4.nick.roberts@acm.org>
 <1PTAd.1218$0y4.421@read1.cgocable.net>
 <1vemlj8wqr9ea$.qyecszhsmtqa$.dlg@40tude.net>
 <J1WAd.1244$0y4.989@read1.cgocable.net>
 <1b48kdfqsk3mw.7gajq12fsa82.dlg@40tude.net>
 <KKaBd.3134$0y4.3044@read1.cgocable.net>
 <rnpnk8lhy0dy$.1m9qo6kbu5art$.dlg@40tude.net>
 <52fBd.42256$nV.1324414@news20.bellglobal.com>
 <q7q4e8yse44r.zlbrtj5nywu0$.dlg@40tude.net>
 <_gHBd.14666$0y4.10314@read1.cgocable.net>
 <8rz51zshvp8k$.gvir0kpiedzk.dlg@40tude.net>
 <Lc_Bd.14747$Y_4.1334651@read2.cgocable.net>
 <1cza5d5x7snmd.lr7wfm9fdsvd.dlg@40tude.net>
 <jveCd.15296$Y_4.1365327@read2.cgocable.net>
 <1hwsfqc0hx63i$.1dl0hkengaf6i$.dlg@40tude.net>
 <nDgCd.15313$Y_4.1370247@read2.cgocable.net>
 <1klgtuv6sbypt.1wlc9u1ixz7ua$.dlg@40tude.net>
 <z7iCd.15318$Y_4.1372013@read2.cgocable.net>
Subject: Re: For the AdaOS folks
Date: Mon, 3 Jan 2005 18:02:27 -0600
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <GbudnQV7BpYsQUTcRVn-tQ@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-Zv3E1v+8sAVbMSt/E96Dv3FF0gbKp//JFnRjhUxhEApQQRAlIWBqU/zroBi7H0C2pu4m/uIz7M1UTyc!oZZjJHgDO/wXRQWCavdBo2rretQsTpKHcgy9uABq0wlFSvlK2tHM9mGxaX8h0MpW4/iDXGDCFRkx
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.22
Xref: g2news1.google.com comp.lang.ada:7420
Date: 2005-01-03T18:02:27-06:00
List-Id: <comp.lang.ada>

"Warren W. Gay VE3WWG" <ve3wwg@NoSpam.cogeco.ca> wrote in message
news:z7iCd.15318$Y_4.1372013@read2.cgocable.net...
> > But in our hypothetical OS each possible way of access will be
represented
> > by some safe system object. These objects, when properly designed will
> > provide necessary administrative services.
>
> If you are a night watchman for a Mall, which situation makes it
> easier to sleep at night when you've locked up and gone home?
>
>    1. A mall with one or two doors on the outside to be
>       locked and checked.
>    2. A mall with thousands of doors on the outside to be
>       locked and checked.
>
> The answer is obvious. Sure, it is ok for other doors to exist
> inside the mall (for each store), which can be locked, but it
> only makes sense to choke the security at a minimal number
> of points.

There are other requirements than security! I think the fire dept. would be
pretty unhappy with (1) - at least if you ever let anybody in. Same holds
for OSes; you're going to need multiple ways to get things done; you can try
to minimize the number of "doors", but its unlikely that you can get down to
just one.

BTW, I think Dmitry's grand vision is on the right track. The tough part (as
always) is mapping that to something that still is practical. Why shouldn't
an Ada OS take advantage of Ada's features to provide persistence,
synchronization, and the like? Sure, you'll have to go beyond that, too, but
why not start with Ada's fine features in this area?

                      Randy.