From: sbelmont700@gmail.com
Subject: Deafult GNAT Locking_Policy
Date: Tue, 10 Sep 2019 03:00:21 -0700 (PDT)
Date: 2019-09-10T03:00:21-07:00 [thread overview]
Message-ID: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com> (raw)
D.3~6/2 says "If no Locking_Policy pragma applies to any of the program units comprising a partition, the locking policy for that partition, as well as the meaning of the priority of a protected object, are implementation defined." 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:
"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 supports it. In particular, Ceiling_Locking is not supported on VxWorks. Inheritance_Locking is supported on Linux, Darwin (Mac OS X), LynxOS 178, and VxWorks. Concurrent_Readers_Locking is supported on Linux."
Should I understand this as meaning Inheritance_Locking as GNAT's default locking 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 missed?
-sb
next reply other threads:[~2019-09-10 10:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-09-10 10:00 sbelmont700 [this message]
2019-09-10 10:06 ` Deafult GNAT Locking_Policy AdaMagica
2019-09-10 10:54 ` Egil H H
2019-09-10 12:11 ` sbelmont700
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox