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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Oberon and Wirthian languages
Date: Sat, 26 Apr 2014 09:29:04 +0300
Organization: Tidorum Ltd
Message-ID: <bs121aFksntU1@mid.individual.net>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <lic17o$re4$1@dont-email.me> <8761m535e4.fsf_-_@ludovic-brenta.org>
 <lj3540$m81$1@dont-email.me> <lj3nao$u22$2@dont-email.me>
 <lj4de1$jql$1@dont-email.me> <ly7g6hamsw.fsf@pushface.org>
 <lj5n4g$jse$1@dont-email.me> <brntbeFnfgcU1@mid.individual.net>
 <lj6kfg$jhs$1@dont-email.me> <lj6uhp$7dd$1@loke.gir.dk>
 <lj8aug$43b$1@dont-email.me> <ly61lzrciv.fsf@pushface.org>
 <lj9lbm$cig$1@dont-email.me> <brsggrFmd3gU1@mid.individual.net>
 <ljbmfm$j7u$1@dont-email.me> <brt9ftFrnkaU1@mid.individual.net>
 <ljce8q$qpb$1@loke.gir.dk> <ljekbl$bbt$1@dont-email.me>
 <ljeljn$sb3$1@loke.gir.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net +qebV24yJB6tf32g3uwQpAHP1mEVfNOsrfbMTEUXcgWhjAi1hf
Cancel-Lock: sha1:cjlbwsYrcBZP8cx8VHzLgd0gPZw=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
In-Reply-To: <ljeljn$sb3$1@loke.gir.dk>
Xref: news.eternal-september.org comp.lang.ada:19596
Date: 2014-04-26T09:29:04+03:00
List-Id: <comp.lang.ada>

On 14-04-26 00:55 , Randy Brukardt wrote:

> To get assignment atomicity, probably extending the aspect syntax to 
> statements would be best. (The Parallel proposals are thinking in that 
> direction anyway.

Do you have at hand a link to the "Parallel" proposals? Seems to be hard
to find by web search -- a common word.

>) Then something like:
> 
>    A := (A replacing C => D, E => F) with Atomic;

"replacing" is a good word for this, I agree.

> would mean to do an atomic update of A replacing the C and E components, 
> leaving the rest untouched.

The 2011 C standard goes into various memory order semantics in great
detail, not just "atomic". As I (weakly) understand it, that is
necessary or useful for implementing lock-free and wait-free
synchronization on modern architectures. Do you see any need to extend
Ada in that direction?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .