CVS difference for 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 @@
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.
@@ -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.
-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