CVS difference for ais/ai-00355.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00355.txt

--- ais/ai-00355.txt	2005/10/31 05:18:36	1.11
+++ ais/ai-00355.txt	2005/12/15 02:44:12	1.12
@@ -1,4 +1,4 @@
-!standard D.02.05 (00)                                 05-10-01  AI95-00355/09
+!standard D.02.05 (00)                                 05-12-02  AI95-00355/10
 !standard D.02.01 (01)
 !standard D.02.02 (00)
 !standard D.02.02 (01)
@@ -129,10 +129,13 @@
 
 Pragma Task_Dispatching_Policy specifies the single task dispatching policy.
 
-Pragma Priority_Specific_Dispatching specifies the task dispatching policy for
-the specified range of priorities. Tasks within the range of priorities
-specified in a Priority_Specific_Dispatching pragma are dispatched according to
-the specified dispatching policy.
+Pragma Priority_Specific_Dispatching specifies the task dispatching policy
+for the specified range of priorities. Tasks with base priorities within the
+range of priorities specified in a Priority_Specific_Dispatching pragma have
+their active priorities determined according to the specified dispatching
+policy. Tasks with active priorities within the range of priorities specified
+in a Priority_Specific_Dispatching pragma are dispatched according to the
+specified dispatching policy.
 
 If a partition contains one or more Priority_Specific_Dispatching pragmas
 the dispatching policy for priorities not covered by any
@@ -231,8 +234,8 @@
 Dynamic Semantics
 
 The procedures Set_Quantum set the required Quantum value for a single priority
-level Pri or a range of levels Low .. High. If no quantum is set for a Round
-Robin priority level, Default_Quantum is used.
+level Pri or a range of priority levels Low .. High. If no quantum is set for
+a Round Robin priority level, Default_Quantum is used.
 
 The function Actual_Quantum returns the actual quantum used
 by the implementation for the priority level Pri.
@@ -243,7 +246,7 @@
 
 A call of Actual_Quantum or Set_Quantum raises exception
 Ada.Dispatching.Dispatching_Policy_Error if a predefined policy other than
-Round_Robin_Within_Priorities applies to the specified priority, or any of the
+Round_Robin_Within_Priorities applies to the specified priority or any of the
 priorities in the specified range.
 
 For Round_Robin_Within_Priorities, the dispatching rules
@@ -411,9 +414,12 @@
 @fa<Pragma> Task_Dispatching_Policy specifies the single task dispatching policy.
 
 @fa<Pragma> Priority_Specific_Dispatching specifies the task dispatching policy
-for the specified range of priorities. Tasks within the range of priorities
-specified in a Priority_Specific_Dispatching pragma are dispatched according to
-the specified dispatching policy.
+for the specified range of priorities. Tasks with base priorities within the
+range of priorities specified in a Priority_Specific_Dispatching pragma have
+their active priorities determined according to the specified dispatching
+policy. Tasks with active priorities within the range of priorities specified
+in a Priority_Specific_Dispatching pragma are dispatched according to the
+specified dispatching policy.
 
 If a partition contains one or more Priority_Specific_Dispatching pragmas
 the dispatching policy for priorities not covered by any
@@ -542,8 +548,8 @@
 @i<@s8<Dynamic Semantics>>
 
 The procedures Set_Quantum set the required Quantum value for a single priority
-level Pri or a range of levels Low .. High. If no quantum is set for a Round
-Robin priority level, Default_Quantum is used.
+level Pri or a range of priority levels Low .. High. If no quantum is set for
+a Round Robin priority level, Default_Quantum is used.
 
 The function Actual_Quantum returns the actual quantum used
 by the implementation for the priority level Pri.
@@ -554,7 +560,7 @@
 
 A call of Actual_Quantum or Set_Quantum raises exception
 Dispatching.Dispatching_Policy_Error if a predefined policy other than
-Round_Robin_Within_Priorities applies to the specified priority,
+Round_Robin_Within_Priorities applies to the specified priority
 or any of the priorities in the specified range.
 
 For Round_Robin_Within_Priorities, the dispatching rules

Questions? Ask the ACAA Technical Agent