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 2002:a37:4d43:: with SMTP id a64mr6914170qkb.408.1568117464369; Tue, 10 Sep 2019 05:11:04 -0700 (PDT) X-Received: by 2002:a05:6830:1597:: with SMTP id i23mr22948214otr.182.1568117464164; Tue, 10 Sep 2019 05:11: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!o24no5005681qtl.0!news-out.google.com!c11ni837qtp.0!nntp.google.com!o24no5005674qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 10 Sep 2019 05:11:03 -0700 (PDT) In-Reply-To: <65b5aa95-1d54-4ee6-97a3-a5ea175acbd6@googlegroups.com> 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 References: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com> <65b5aa95-1d54-4ee6-97a3-a5ea175acbd6@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Deafult GNAT Locking_Policy From: sbelmont700@gmail.com Injection-Date: Tue, 10 Sep 2019 12:11:04 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2670 X-Received-Body-CRC: 1022173199 Xref: reader01.eternal-september.org comp.lang.ada:57119 Date: 2019-09-10T05:11:03-07:00 List-Id: Indeed their should be, but part 7 (Implementation Defined Characteristics)= is also silent. One would expect something for paragraph D.3(6/2), yet th= is is apparently the extent: =E2=80=A2=E2=80=9CImplementation-defined policy_identifiers allowed in a pr= agma Locking_Policy. See D.3(4).=E2=80=9D The two implementation defined policies permitted in GNAT are Inheritance_L= ocking and Concurrent_Readers_Locking. On targets that support the Inherita= nce_Locking policy, locking is implemented by inheritance, i.e., the task o= wning the lock operates at a priority equal to the highest priority of any = task currently requesting the lock. On targets that support the Concurrent_= Readers_Locking policy, locking is implemented with a read/write lock allow= ing multiple protected object functions to enter concurrently. =E2=80=A2=E2=80=9CDefault ceiling priorities. See D.3(10).=E2=80=9D The ceiling priority of protected objects of the type System.Interrupt_Prio= rity'Last as described in the Ada Reference Manual D.3(10), =E2=80=A2=E2=80=9CThe ceiling of any protected object used internally by th= e implementation. See D.3(16).=E2=80=9D The ceiling priority of internal protected objects is System.Priority'Last. Was there a part I was missing? -sb