Next: , Previous: Max_Select_Alternatives, Up: Partition-Wide Restrictions


5.1.6 Max_Storage_At_Blocking

[RM D.7] Specifies the maximum portion (in storage elements) of a task's Storage_Size that can be retained by a blocked task. A violation of this restriction causes Storage_Error to be raised.