CVS difference for ais/ai-00256.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00256.txt

--- ais/ai-00256.txt	2002/10/29 20:24:57	1.8
+++ ais/ai-00256.txt	2003/03/04 04:56:22	1.9
@@ -1,11 +1,15 @@
-!standard 13.11.01 (01)                                02-10-23  AI95-00256/06
+!standard 13.11.01 (01)                                03-02-20  AI95-00256/07
 !standard  A.12.01 (30)
 !standard  G.02.02 (03)
 !standard  7.06.01 (16)
 !standard  7.04 (09)
 !standard 10.02 (09)
+!standard  D.02.02 (17)
+!standard  D.03 (15)
 !standard  D.04 (15)
 !class binding interpretation 01-02-12
+!status Amendment 200Y 03-02-20
+!status ARG Approved 8-0-0  03-02-09
 !status work item 01-02-12
 !status received 01-02-12
 !qualifier Omission
@@ -36,7 +40,8 @@
 
 6) 10.2(9) should say "names" rather than "mentions".
 
-7) D.4(15) applies to all queuing policies.
+7) D.2.2(17) applies to all task dispatching policies; D.3(15) applies to all
+locking policies; and D.4(15) applies to all queuing policies.
 
 !question
 
@@ -89,6 +94,8 @@
 AI-00212 changes 10.1.5(9). However, AI-00069 depended on 10.1.5(9) in order to
 be a confirmation. Is it allowed to make all queuing policies partition-wide?
 (Yes.)
+Similarly, all task dispatching policies and all locking policies can be
+partition-wide.
 
 !recommendation
 
@@ -103,8 +110,8 @@
 1)
 The intent of the Max_Size_In_Storage_Elements attribute is that it supplies an
 upper bound on the memory that will be requested from Allocate. Certainly,
-there was no intent that the value depend on the execution of the program.
-Thus, we adjust the wording to say clearly what was meant.
+there was no intent that the value returned depend on the execution of the
+program. Thus, we adjust the wording to say clearly what was meant.
 
 2)
 Defect Report 8652/0055 make it clear that the model of stream files with
@@ -144,6 +151,9 @@
 problem. The Defect Report suggested a wording clarification, which we adopt
 here.
 
+Similar wording is present in D.2.2(17) and D.3(15), and we adopt similar
+clarifications to those paragraphs.
+
 !corrigendum 7.04(09)
 
 @drepl
@@ -224,8 +234,26 @@
 Read without a Positive_Count parameter starts reading at the current index,
 and Write without a Positive_Count parameter starts writing at the current
 index.
+
+!corrigendum D.2.2(17)
+
+@drepl
+Implementations are allowed to define other task dispatching policies, but need
+not support more than one such policy per partition.
+@dby
+Implementations are allowed to define other task dispatching policies, but need
+not support more than one task dispatching policy per partition.
+
+!corrigendum D.3(15)
+
+@drepl
+Implementations are allowed to define other locking policies, but need not
+support more than one such policy per partition.
+@dby
+Implementations are allowed to define other locking policies, but need not
+support more than one locking policy per partition.
 
-!corrigendum D.4(5)
+!corrigendum D.4(15)
 
 @drepl
 Implementations are allowed to define other queuing policies, but need not
@@ -239,7 +267,7 @@
 @drepl
 Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
-than or equal to @i<Ceiling>(@i<d>  log(10) / log(T'Machine_Radix)) + 1,
+than or equal to @i<Ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + 1,
 where @i<d> is the requested decimal precision of @i<T>. In addition, it shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
 yields a value of the type @i<universal_integer>.
@@ -247,9 +275,9 @@
 Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
 than or equal to
-@xindent<@i<ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + @i<g>@hr
+@xindent<@i<ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + @i<g>>
 where @i<d> is the requested decimal precision of @i<T>, and @i<g> is 0 if
-Machine_Radix is a positive power of 10 and 1 otherwise.> In addition, it shall
+Machine_Radix is a positive power of 10 and 1 otherwise. In addition, it shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
 yields a value of the type @i<universal_integer>.
 

Questions? Ask the ACAA Technical Agent