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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.236.117.80 with SMTP id i56mr12955469yhh.48.1399246390050; Sun, 04 May 2014 16:33:10 -0700 (PDT) X-Received: by 10.140.101.111 with SMTP id t102mr153618qge.5.1399246390036; Sun, 04 May 2014 16:33:10 -0700 (PDT) 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!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!hw13no363571qab.0!news-out.google.com!dz10ni30394qab.1!nntp.google.com!hw13no363567qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 4 May 2014 16:33:09 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=206.53.78.59; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy NNTP-Posting-Host: 206.53.78.59 References: <7403d130-8b42-43cd-a0f1-53ba34b46141@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9ae1ddae-7e67-4a0e-b170-bc3e1f5e54ec@googlegroups.com> Subject: Re: Safety of unprotected concurrent operations on constant objects From: sbelmont700@gmail.com Injection-Date: Sun, 04 May 2014 23:33:10 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2552 X-Received-Body-CRC: 779483079 Xref: news.eternal-september.org comp.lang.ada:19678 Date: 2014-05-04T16:33:09-07:00 List-Id: On Sunday, May 4, 2014 4:25:26 PM UTC-4, Shark8 wrote: >=20 > What's the problem, then, with making the entire map constant? >=20 The problem is assuming what a subprogram might or might not do at all, let= alone how it may or may not do it, and certainly not whether that method w= ould be task safe or not. What makes you think the Map object has any fiel= ds at all to even be constant (instead of being a null record)? What proof= do you have that the Find subprogram even bothers to access the Map argume= nt, let alone any constant elements? Why do you assume that GNAT doesn't j= ust have one massive static system-wide array that it puts every element of= every container into, with some complex search algorithm that makes is app= ear as though you have separate objects? Perhaps the Find subprogram sends= an email to a minimum-wage secretary at AdaCore that has all your objects = filed on 3x5 cards in drawers, and who then looks up your data and emails i= t back? All this is going on in the private part, which means you're not a= llowed to answer about it one way or the other. -sb