CVS difference for ais/ai-00357.txt

Differences between 1.18 and version 1.19
Log of other versions for file ais/ai-00357.txt

--- ais/ai-00357.txt	2005/10/31 05:18:36	1.18
+++ ais/ai-00357.txt	2005/11/16 06:51:13	1.19
@@ -1,4 +1,4 @@
-!standard D.02.6 (01)                                 05-10-01  AI95-00357/11
+!standard D.02.6 (01)                                 05-11-15  AI95-00357/12
 !standard D.01 (20)
 !class amendment 03-09-27
 !status Amendment 200Y 04-12-02
@@ -116,9 +116,10 @@
 D.2.6 Earliest Deadline First Dispatching
 
 The deadline of a task is an indication of the urgency of the task; it
-represents a point on an ideal physical time line. Unless otherwise specified,
-whenever tasks compete for processors or other implementation-defined
-resources, the resources are allocated to the task with the earliest deadline.
+represents a point on an ideal physical time line. For policies that use
+deadlines, whenever tasks compete for processors or other
+implementation-defined resources, the resources are allocated to the task with
+the earliest deadline.
 
 This clause defines a package for representing a task's deadline
 and a dispatching policy that defines Earliest Deadline First (EDF)
@@ -257,7 +258,7 @@
     base} priority. This matches the traditional preemption level description
     without the need to define a new kind of protected object locking.
 
-When the setting of the base priority of a
+When the setting of the base priority of a ready
 task takes effect and the new priority is in a range specified
 as EDF_Across_Priorities, the task is added to the ready queue
 corresponding to its new active priority, as determined above.
@@ -379,9 +380,10 @@
 
 @dinsc
 The deadline of a task is an indication of the urgency of the task; it
-represents a point on an ideal physical time line. Unless otherwise specified,
-whenever tasks compete for processors or other implementation-defined
-resources, the resources are allocated to the task with the earliest deadline.
+represents a point on an ideal physical time line. For policies that use
+deadlines, whenever tasks compete for processors or other
+implementation-defined resources, the resources are allocated to the task with
+the earliest deadline.
 
 This clause defines a package for representing a task's deadline
 and a dispatching policy that defines Earliest Deadline First (EDF)
@@ -501,7 +503,7 @@
 than this value; it will exceed this value only while it is
 inheriting a higher priority.
 
-When the setting of the base priority of a
+When the setting of the base priority of a ready
 task takes effect and the new priority is in a range specified
 as EDF_Across_Priorities, the task is added to the ready queue
 corresponding to its new active priority, as determined above.

Questions? Ask the ACAA Technical Agent