CVS difference for ais/ai-00165.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00165.txt

--- ais/ai-00165.txt	1999/09/16 20:40:29	1.6
+++ ais/ai-00165.txt	2000/04/14 01:45:08	1.7
@@ -1,4 +1,4 @@
-!standard C.7.2    (13)                               99-09-15  AI95-00165/06
+!standard C.7.2    (13)                               00-04-11  AI95-00165/07
 !standard C.7.2    (15)
 !standard C.7.2    (16)
 !class binding interpretation 96-10-04
@@ -168,7 +168,7 @@
 type and the controlled type has user-defined Adjust or Finalize
 operations that in turn access task attributes by any of the above
 operations, then a call of Set_Value of the instantiated package
-constitutes a bounded error. The call may perform as expected or it
+constitutes a bounded error. The call may perform as expected or
 may result in forever blocking the calling task and subsequently some
 or all tasks of the partition.
 
@@ -181,7 +181,7 @@
 @dinst
 Accesses to task attributes via a value of type Attribute_Handle are
 erroneous if executed concurrently with each other or with calls of
-any of the above operations.
+any of the operations declared in package Task_Attributes.
 
 !corrigendum C.7.2(16)
 
@@ -190,9 +190,9 @@
 given attribute of a given task atomically with respect to any other of the
 above operations for the same attribute of the same task.
 @dby
-The implementation shall perform each of the above operations for a
-given attribute of a given task atomically with respect to any other of the
-above operations for the same attribute of the same task.
+For a given attribute of a given task, the implementation shall perform the
+operations declared in this package atomically with respect to any of these
+operations of the same attribute of the same task.
 The granularity of any locking mechanism necessary to achieve such
 atomicity is implementation defined.
 

Questions? Ask the ACAA Technical Agent