Next: Aspect Max_Queue_Length, Previous: Aspect Local_Restrictions, Up: Implementation Defined Aspects [Contents][Index]
This boolean aspect is equivalent to pragma Lock_Free.