RM D 3 17 Locking Policies - GNAT Reference Manual

Next: RM D 4 16 Entry Queuing Policies, Previous: RM C 7 2 30 The Package Task_Attributes, Up: Implementation Advice

6.51 RM D.3(17): Locking Policies

"The implementation should use names that end with _Locking for locking policies defined by the implementation."

Followed. Two implementation-defined locking policies are defined, whose names (Inheritance_Locking and Concurrent_Readers_Locking) follow this suggestion.