6.57 RM E.5(28-29): Partition Communication Subsystem

“Whenever possible, the PCS on the called partition should allow for multiple tasks to call the RPC-receiver with different messages and should allow them to block until the corresponding subprogram body returns.”

A separately supplied PCS that can be used with GNAT when combined with the PolyORB product (NB! See the note in PolyORB regarding the lifetime of this product).

“The Write operation on a stream of type Params_Stream_Type should raise Storage_Error if it runs out of space trying to write the Item into the stream.”