From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) 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.6
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: Adacore joins with Ferrous Systems to support Rust
Date: Mon, 14 Feb 2022 20:29:34 -0800
Organization: A noiseless patient Spider
Message-ID: <87o838wy4x.fsf@nightsong.com>
References: <87o83pzlvm.fsf@nightsong.com> <stdvgv$76k$1@gioia.aioe.org>
	<87d2e0c1-c851-43e2-a085-fad30e475e35n@googlegroups.com>
	<70f72b7e-1f3f-4942-b6aa-1044430bdcd9n@googlegroups.com>
	<c1a2b567-8dbe-4a9a-ae0d-800759a594cbn@googlegroups.com>
	<su8ts8$fej$1@dont-email.me> <sueoe3$7i2$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="f2380a0577353b98ab11524aaa1b2295";
	logging-data="21753"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19A8WiNMJy+Mtxy5I1dqOIW"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:fNwKGdhqL9S8b4DPAXFIu4N4m/U=
	sha1:HXo9y/H++5/eEY0tUWDF9b8MslE=
Xref: reader02.eternal-september.org comp.lang.ada:63528
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:
> It doesn't prevent every data race, but it eliminates most of
> them. (You can still get in trouble with accesses to multiple objects;
> that isn't necessarily safe even if accesses to the individual objects
> are.)

I wonder if we need software transactional memory:

https://research.microsoft.com/en-us/um/people/simonpj/papers/stm/stm.pdf
https://research.microsoft.com/~simonpj/Papers/stm/beautiful.pdf

In the second paper, jump to the bottom of page 7 to skip a bunch of
introductory stuff.