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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,470860aa3e635a7 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!o80g2000hse.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: GNAT for MS Visual Studio Date: Thu, 04 Oct 2007 13:18:27 -0700 Organization: http://groups.google.com Message-ID: <1191529107.233474.287380@o80g2000hse.googlegroups.com> References: <13duou81kg3sd1c@corp.supernews.com> <13f3e0vbb05s47c@corp.supernews.com> <13f6eg0te46m2a3@corp.supernews.com> <4xsl4zw3bp.fsf@hod.lan.m-e-leypold.de> <1191357491.860178.230380@22g2000hsm.googlegroups.com> <4702ADCC.7080209@obry.net> <1191439439.120567.172630@g4g2000hsf.googlegroups.com> <4703F02D.3030207@obry.net> <1191442124.099242.282130@57g2000hsv.googlegroups.com> NNTP-Posting-Host: 85.3.120.215 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: posting.google.com 1191529107 10004 127.0.0.1 (4 Oct 2007 20:18:27 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 4 Oct 2007 20:18:27 +0000 (UTC) In-Reply-To: <1191442124.099242.282130@57g2000hsv.googlegroups.com> User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7,gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: o80g2000hse.googlegroups.com; posting-host=85.3.120.215; posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0 Xref: g2news2.google.com comp.lang.ada:2302 Date: 2007-10-04T13:18:27-07:00 List-Id: On 3 Pa , 22:08, Maciej Sobczak wrote: > > The container won't change, so this can't be a problem. > > The visible state of the container might not change, but the container > is free to do some accounting, for example with cursors, to ensure the > ability to catch any misuse. > > I understand your point entirely, but I don't see it in AARM. There is more to it: http://www.adaic.org/standards/05aarm/html/AA-A.html 3/2: "The implementation shall ensure that each language- defined subprogram is reentrant in the sense that concurrent calls on the same subprogram perform as specified, so long as all parameters that could be passed by reference denote nonoverlapping objects." Which means that I cannot call *any* of containers' subprogram concurrently with the same container as a parameter (unless it's passed by value, which is not the case, because containers are tagged). If this restriction is not true for containers (as one would actually expect if multicore is of any interest), then some explicit big-font exception should be somewhere there either in A or A.18.x. Nothing like this exist, so A-3/2 holds. -- Maciej Sobczak * www.msobczak.com * www.inspirel.com