Next: Pragma Loop_Invariant, Previous: Pragma Linker_Section, Up: Implementation Defined Pragmas
Syntax: This pragma may be specified for protected types or objects. It specifies that the implementation of protected operations must be implemented without locks. Compilation fails if the compiler cannot generate lock-free code for the operations.