No_Reentrancy (GNAT Reference Manual) (original) (raw)

Next: No_Relative_Delay, Previous: No_Recursion, Up: Partition-Wide Restrictions [Contents][Index]

5.1.51 No_Reentrancy ¶

[RM H.4] A program execution is erroneous if a subprogram is executed by two tasks at the same time.