From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: is there a version of unix written in Ada
Date: Tue, 29 Sep 2020 16:54:16 -0700
Organization: A noiseless patient Spider
Message-ID: <87sgb02l7b.fsf@nightsong.com>
References: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
	<00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com>
	<db65f550-c1d9-4ddb-b128-7e4e9c1f818bn@googlegroups.com>
	<57eb7a65-51ea-4624-b9dc-9c4dda0fee59n@googlegroups.com>
	<rkq9gr$s0u$1@gioia.aioe.org> <5f70fd3b$0$13541$426a74cc@news.free.fr>
	<rks433$ndr$1@gioia.aioe.org>
	<daa04c57-0dfa-4c95-84ef-0e90f3c1732cn@googlegroups.com>
	<rkst48$171u$1@gioia.aioe.org> <87wo0d3iac.fsf@nightsong.com>
	<rkth03$uk5$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="b17e81130bee1119d242b7f010dedd5c";
	logging-data="13211"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX199c1DnhdNKtnipaw1tUFQe"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
Cancel-Lock: sha1:gFSSCF+gX8JPbiP5Ea4AKMvT42s=
	sha1:bll1ujAd6TYGRcxtAhl94aSzG2E=
Xref: reader02.eternal-september.org comp.lang.ada:60329
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> Do you remember the Microsoft Singularity research OS?  Does it count?
> What is novel in there? The idea to reduce OS down to nothing is
> neither new nor productive, IMO.

One interesting thing was that it got rid of the need for address
translation hardware by implementing interprocess memory protection with
compile-time static analysis.  That made IPC a lot faster and changed
the trade-offs for different concurrency approaches.