CVS difference for ais/ai-00321.txt

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

--- ais/ai-00321.txt	2005/04/13 05:37:12	1.8
+++ ais/ai-00321.txt	2005/10/31 05:18:29	1.9
@@ -1,4 +1,4 @@
-!standard D.02    (01)                                 03-12-03  AI95-00321/05
+!standard D.02    (01)                                 05-10-01  AI95-00321/06
 !standard D.02.01 (01)
 !standard D.02.01 (02)
 !standard D.02.01 (04)
@@ -27,6 +27,7 @@
 !standard D.02.02 (20)
 !standard D.02.02 (21)
 !standard D.02.03 (01)
+!standard D.05    (15)
 !class amendment 03-01-07
 !status Amendment 200Y 03-07-02
 !status WG9 Approved 03-12-12
@@ -210,7 +211,7 @@
 
 
 
-D.2.3 The Standard Task Dispatching Policy
+D.2.3 Preemptive Dispatching
 
      This clause defines the policy_identifier, FIFO_Within_Priorities.
 
@@ -288,6 +289,8 @@
 D.2.5 ...
 
 
+In D.5(15), replace "standard task dispatching" with "FIFO_Within_Priorities".
+
 !discussion
 
 This AI does not intend to make any change to the semantics of Ada 95 features.
@@ -644,6 +647,22 @@
 @xindent<@s9<15  Setting the base priority of a ready task causes the task to
 move to the tail of the queue for its active priority, regardless of whether
 the active priority of the task actually changes.>>
+
+!corrigendum D.5(15)
+
+@drepl
+@xindent<@s9<29  Setting a task's base priority affects task dispatching.
+First, it can change the task's active priority. Second, under the standard
+task dispatching policy it always causes the task to move to the tail of the
+ready queue corresponding to its active priority, even if the new base priority
+is unchanged.>>
+@dby
+@xindent<@s9<29  Setting a task's base priority affects task dispatching.
+First, it can change the task's active priority. Second, under the
+FIFO_Within_Priorities policy it always causes the task to move to the tail of the
+ready queue corresponding to its active priority, even if the new base priority
+is unchanged.>>
+
 
 
 !ACATS test

Questions? Ask the ACAA Technical Agent