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


5.1.50 No_Reentrancy

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