Q: 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.
Q: (continued)
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.