CVS difference for arm/source/ds.mss

Differences between 1.29 and version 1.30
Log of other versions for file arm/source/ds.mss

--- arm/source/ds.mss	2005/01/20 06:32:02	1.29
+++ arm/source/ds.mss	2005/01/21 06:07:27	1.30
@@ -1,7 +1,7 @@
 @comment{ $Source: e:\\cvsroot/ARM/Source/ds.mss,v $ }
-@comment{ $Revision: 1.29 $ $Date: 2005/01/20 06:32:02 $ $Author: Randy $ }
+@comment{ $Revision: 1.30 $ $Date: 2005/01/21 06:07:27 $ $Author: Randy $ }
 @Part(dist, Root="ada.mss")
-@Comment{$Date: 2005/01/20 06:32:02 $}
+@Comment{$Date: 2005/01/21 06:07:27 $}
 @LabeledNormativeAnnex{Distributed Systems}
@@ -1762,7 +1762,11 @@
 the RPC-receiver is invoked from concurrent tasks. If there is an
 upper limit on the number of such tasks, this limit shall be documented as
 well, together with the mechanisms to configure it (if this is supported).
-@ImplDef{Implementation-defined aspects of the PCS.}
+Text=[Implementation-defined aspects of the PCS.]}]}
+Text=[Whether the RPC-receiver is invoked from concurrent tasks, and if so,
+the number of such tasks shall be documented.]}]}
@@ -1826,10 +1830,15 @@
 allow for multiple tasks to call the RPC-receiver with
 different messages and should allow them to block until the corresponding
 subprogram body returns.
+Text=[The PCS should allow for multiple tasks to call the RPC-receiver.]}]}
 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.
+Text=[The System.RPC.Write operation should raise Storage_Error if runs out
+of space when writing an item.]}]}
   An implementation could also dynamically allocate more space
   as needed, only propagating Storage_Error if the @nt<allocator>

Questions? Ask the ACAA Technical Agent