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=-1.9 required=3.0 tests=BAYES_00 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: Thu, 01 Oct 2020 00:57:51 -0700
Organization: A noiseless patient Spider
Message-ID: <87sgayl6o0.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> <87sgb02l7b.fsf@nightsong.com>
	<rl1f1i$le8$1@gioia.aioe.org> <875z7vyy1u.fsf@nightsong.com>
	<rl2n2q$ddt$1@gioia.aioe.org> <87wo0bkns3.fsf@nightsong.com>
	<rl2rqt$jdq$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="6c29d653826c2f3c1574687a7e172b7c";
	logging-data="5535"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/9pHH+JgCIbdJhkplq+fkw"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
Cancel-Lock: sha1:4QVbIWhp9YKEa/DGIt9PwypAFkM=
	sha1:WqMkOH36c3qHTicMsydQGllV6lQ=
Xref: reader02.eternal-september.org comp.lang.ada:60349
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> I do not see why loss must be any bigger that other means of
> synchronization.

The address translation hardware unavoidably introduces delays,
especially when there are TLB cache misses.

> 1. You still have to share memory and use global resources for
> interlocking etc.

You have that either way.

> 2. I would argue that hardware-assisted virtualization and insulation
> of processes produces more lean and effective code than cooperative
> model.

It's still preemptive driven by hardware interrupts like any other OS.

> Lack of virtualization leads to abstraction inversion and all sorts of
> low-level programming tricks that make code very ugly, fragile and
> quite inefficient.

The OS and compiler take care of that.