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-Received: by 2002:ae9:f70a:: with SMTP id s10mr28305074qkg.178.1568112844963; Tue, 10 Sep 2019 03:54:04 -0700 (PDT) X-Received: by 2002:a9d:695a:: with SMTP id p26mr24241262oto.342.1568112844675; Tue, 10 Sep 2019 03:54:04 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no4865801qtl.0!news-out.google.com!q23ni87qtl.1!nntp.google.com!o24no4865790qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 10 Sep 2019 03:54:04 -0700 (PDT) In-Reply-To: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.232.166.181; posting-account=uulyKwoAAAA86DO0ODu--rZtbje8Sytn NNTP-Posting-Host: 178.232.166.181 References: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <65b5aa95-1d54-4ee6-97a3-a5ea175acbd6@googlegroups.com> Subject: Re: Deafult GNAT Locking_Policy From: Egil H H Injection-Date: Tue, 10 Sep 2019 10:54:04 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2026 X-Received-Body-CRC: 4062316665 Xref: reader01.eternal-september.org comp.lang.ada:57117 Date: 2019-09-10T03:54:04-07:00 List-Id: On Tuesday, September 10, 2019 at 12:00:22 PM UTC+2, sbelm...@gmail.com wro= te: > D.3~6/2 says "If no Locking_Policy pragma applies to any of the program u= nits comprising a partition, the locking policy for that partition, as well= as the meaning of the priority of a protected object, are implementation d= efined." But I can't find anything anywhere in any of the GNAT documents, = native or cross, that says what that default is. There's this bit: >=20 The GNAT documentation is split into two main documents, the GNAT User's Gu= ide, and the GNAT RM. You should find what you're looking for in the Implem= entation Defined Characteristics chapter of the GNAT RM. --=20 ~egilhh