Re: Deafult GNAT Locking_Policy

[sbelmont700@gmail.com]

Indeed their should be, but part 7 (Implementation Defined Characteristics) is also silent.  One would expect something for paragraph D.3(6/2), yet this is apparently the extent:

•“Implementation-defined policy_identifiers allowed in a pragma Locking_Policy. See D.3(4).”

The two implementation defined policies permitted in GNAT are Inheritance_Locking and Concurrent_Readers_Locking. On targets that support the Inheritance_Locking policy, locking is implemented by inheritance, i.e., the task owning 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 allowing multiple protected object functions to enter concurrently.

•“Default ceiling priorities. See D.3(10).”

The ceiling priority of protected objects of the type System.Interrupt_Priority'Last as described in the Ada Reference Manual D.3(10),

•“The ceiling of any protected object used internally by the implementation. See D.3(16).”

The ceiling priority of internal protected objects is System.Priority'Last.


Was there a part I was missing?

-sb