CVS difference for ai05s/ai05-0092-1.txt

--- ai05s/ai05-0092-1.txt	2010/10/26 05:39:46	1.14
+++ ai05s/ai05-0092-1.txt	2011/01/28 02:58:11	1.15
@@ -1,4 +1,4 @@
-!standard  3.3.1(20.4/2)                             10-10-20  AI05-0092-1/12
+!standard  3.3.1(20.4/2)                             11-01-27  AI05-0092-1/13
 !standard  3.3.1(23)
 !standard  3.9(25.1/2)
 !standard  6.3.1(21.1/2)
@@ -20,6 +20,8 @@
 !standard A.18.14(2/2)
 !standard A.18.15(2/2)
 !standard D.5.1(18)
+!standard D.14.2(4/2)
+!standard D.14.2(21/2)
 !standard G.2.2(11)
 !class presentation 08-03-05
 !status work item 06-03-05
@@ -70,6 +72,8 @@
 
 17) Replace "that with "whose type" in 7.6(9.3/2)
 
+18) Replace "P" in D.14.2(4/3) and D.14.2(21/3).
+
 !question
 
 1) Generally, "must" shall not be used in normative rules of the standard. However,
@@ -123,6 +127,9 @@
 components: these are objects not types. This needs to say something about
 "a component whose type needs finalization". Should this be fixed? (Yes.)
 
+18) AI05-0167-1 uses "CPU" as the discriminant and parameter name when
+representating a processor. AI05-0169-1 uses "P" instead. Should these be the
+same? (Yes.)
 
 [Other questions here.]
 
@@ -182,6 +189,9 @@
 
 17) Replace "that" with "whose type" in 7.6(9.3/2).
 
+18) Replace "P" by "CPU" in D.14.2(4/3) and replace
+"processor P" by "CPU" in D.14.2(21/3).
+
 !discussion
 
 1) 3.3.1(20.4/2) uses "must precede", while 3.3.1(20.1-3/2) use "is preceded by".
@@ -242,6 +252,8 @@
 17) The questioner is right; we need to say something about the type of the
 component.
 
+18) These two AIs should use similar names.
+
 !corrigendum 3.3.1(20.4/2)
 
 @drepl
@@ -574,6 +586,34 @@
 In particular, querying the priority of a completed or an abnormal task is
 allowed, so long as the task is not yet terminated, and setting the priority of a task
 is allowed for any task state (including for terminated tasks).>>
+
+!corrigendum D.14.2(4/2)
+
+@drepl
+@xcode<   @b<type> Group_Budget @b<is tagged limited private>;>
+@dby
+@xcode<   @b<type> Group_Budget(CPU : System.Multiprocessors.CPU :=
+                              System.Multiprocessors.CPU'First)
+    @b<is tagged limited private>;>
+
+!corrigendum D.14.2(21/2)
+
+@drepl
+The procedure Replenish loads the group budget GB with To as the Time_Span
+value. The exception Group_Budget_Error is raised if the Time_Span value To
+is non-positive. Any execution of any member of the group of tasks results
+in the budget counting down, unless exhausted. When the budget becomes
+exhausted (reaches Time_Span_Zero), the associated handler is executed if
+the handler of group budget GB is set. Nevertheless, the tasks continue to
+execute.
+@dby
+The procedure Replenish loads the group budget GB with To as the Time_Span
+value. The exception Group_Budget_Error is raised if the Time_Span value To
+is non-positive. Any execution on CPU of any member of the group of
+tasks results in the budget counting down, unless exhausted. When the budget
+becomes exhausted (reaches Time_Span_Zero), the associated handler is executed
+if the handler of group budget GB is set. Nevertheless, the tasks continue to
+execute.
 
 !corrigendum G.2.2(11)