Next: , Previous: , Up: Implementation Defined Pragmas   [Contents][Index]

2.101 Pragma Lock_Free

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.

The current conditions required to support this pragma are:

In addition, each protected subprogram body must satisfy: