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:ac8:4884:: with SMTP id i4mr26794329qtq.33.1568109621614; Tue, 10 Sep 2019 03:00:21 -0700 (PDT) X-Received: by 2002:a9d:68cf:: with SMTP id i15mr23763185oto.240.1568109621420; Tue, 10 Sep 2019 03:00:21 -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!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no4767900qtl.0!news-out.google.com!c11ni815qtp.0!nntp.google.com!o24no4767897qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 10 Sep 2019 03:00:21 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=173.225.51.130; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy NNTP-Posting-Host: 173.225.51.130 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com> Subject: Deafult GNAT Locking_Policy From: sbelmont700@gmail.com Injection-Date: Tue, 10 Sep 2019 10:00:21 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2245 X-Received-Body-CRC: 2953440926 Xref: reader01.eternal-september.org comp.lang.ada:57115 Date: 2019-09-10T03:00:21-07:00 List-Id: D.3~6/2 says "If no Locking_Policy pragma applies to any of the program uni= ts comprising a partition, the locking policy for that partition, as well a= s the meaning of the priority of a protected object, are implementation def= ined." But I can't find anything anywhere in any of the GNAT documents, na= tive or cross, that says what that default is. There's this bit: "GNAT supports the standard Ceiling_Locking policy, and the implementation = defined Inheritance_Locking and Concurrent_Readers_Locking policies. Ceiling_Locking is supported on all platforms if the operating system suppo= rts it. In particular, Ceiling_Locking is not supported on VxWorks. Inherit= ance_Locking is supported on Linux, Darwin (Mac OS X), LynxOS 178, and VxWo= rks. Concurrent_Readers_Locking is supported on Linux." Should I understand this as meaning Inheritance_Locking as GNAT's default l= ocking policy? It guess it would have to be on VxWorks, but Linux could be= any of the three. Is there some other paragraph buried somewhere that I m= issed? -sb