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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cbd507df3efa824b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-22 08:30:12 PST Path: supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!newsfeed.stanford.edu!xfer10.netnews.com!netnews.com!hermes.visi.com!news-out.visi.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Help with Atomic_Components and whole array assignment Date: Mon, 22 Jan 2001 16:21:00 GMT Organization: Deja.com Message-ID: <94hml1$o64$1@nnrp1.deja.com> References: <94h55t$9a1$1@nnrp1.deja.com> NNTP-Posting-Host: 205.232.38.14 X-Article-Creation-Date: Mon Jan 22 16:21:00 2001 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x64.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:4312 Date: 2001-01-22T16:21:00+00:00 List-Id: In article <94h55t$9a1$1@nnrp1.deja.com>, r_c_chapman@my-deja.com wrote: > Can anyone confirm this is indeed acceptable behaviour? Yes, of course this is acceptable behavior, can you point to anything in the RM that would even HINT that it is not? No, you can't (to save you the trouble :-) There is NO legitimate way to ensure that the compiler generates specific instructions other than using machine language inserts, since the compiler is always free to substitute different instructions which have the same effect *as defined by the semantics in the RM* and the RM knows nothing about byte stores etc. pragma Atomic merely says that two tasks cannot intefere with one another, and that the semantics is as though writes are done for every write. But there is nothing to stop the compiler from combining four writes into a word write (in fact this is a very nice optimization -- all compilers should do it :-) Sent via Deja.com http://www.deja.com/