CVS difference for ais/ai-00355.txt

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

--- ais/ai-00355.txt	2004/09/04 01:13:46	1.5
+++ ais/ai-00355.txt	2004/09/09 02:24:06	1.6
@@ -1,4 +1,4 @@
-!standard D.03 (00)                                  04-08-12  AI95-00355/04
+!standard D.03 (00)                                  04-09-06  AI95-00355/05
 !class amendment 03-09-27
 !status work item 03-09-27
 !status received 03-09-27
@@ -49,8 +49,8 @@
 in AI-357). In addition a means of specifying mixed scheduling is proposed
 in this AI.
 
-This AI deals with modifying 2.2 and 2.3, and adding a new 2.5 (it
-assumes EDF is also to be supported, in 2.6).
+This AI deals with modifying 2.2 and 2.3, and adding a new 2.4 (it
+assumes EDF is also to be supported, in 2.5).
 
 In addition a new package is added to D.2.1 for parameters
 to dispatching policies.
@@ -85,11 +85,18 @@
 
 pragma Task_Dispatching_Policy(policy_identifier);
 
+Pragma Task_Dispatching_Policy specifies the task dispatching policy;
+the policy_identifier shall designate a task dispatching policy.
+
 The form of a pragma Priority_Specific_Dispatching is as follows:
 
 pragma Priority_Specific_Dispatching (policy_identifier,
           first_priority_expression, last_priority_expression);
 
+Pragma Priority_Specific_Dispatching specifies the task dispatching policy
+for the designated range of priorities; the policy_identifier shall
+designate a task dispatching policy.
+
 Name Resolution Rules
 
 The expected type for first_priority_expression and
@@ -167,20 +174,20 @@
 
 Static Semantics
 
-The following language-defined policy_identifier exists:
-FIFO_Within_Priorities.
+The policy_identifier FIFO_Within_Priorities designates a
+task dispatching policy.
 
 Add a new section:
 
-D.2.5 Round Robin Dispatching
+D.2.4 Round Robin Dispatching
 
 This clause defines the task dispatching policy
 Round_Robin_Within_Priorities and package Round_Robin_Dispatching.
 
 Static Semantics
 
-The following language-defined policy_identifier exists:
-Round_Robin_Within_Priorities.
+The policy_identifier Round_Robin_Within_Priorities designates a
+task dispatching policy.
 
 The following language-defined library package exists:
 

Questions? Ask the ACAA Technical Agent