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

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0167-1.txt

--- ai05s/ai05-0167-1.txt	2011/02/10 06:23:22	1.7
+++ ai05s/ai05-0167-1.txt	2011/03/16 00:55:37	1.8
@@ -1,6 +1,8 @@
-!standard  D.16.1                               11-02-09    AI05-0167-1/06
+!standard  D.16.1                               11-03-15    AI05-0167-1/07
 !standard  C.3.2
 !class Amendment 09-10-22
+!status Amendment 2012 11-03-15
+!status ARG Approved  7-0-1  10-02-19
 !status work item 09-10-22
 !status received 09-10-22
 !priority Medium
@@ -129,33 +131,26 @@
 
 Syntax
 
-The form of pragma Dispatching_Domain is as follows:
+The language-defined aspect Dispatching_Domain may be specified for a task
+type or object.
 
-pragma Dispatching_Domain (expression);
 
-
-Name Resolution Rules
-
-The expected type for the expression is
-System.Multiprocessors.Dispatching_Domains.Dispatching_Domain.
-
+Static Semantics
 
-Legality Rules
+The type of Dispatching_Domain is Dispatching_Domains.Dispatching_Domain.
+This aspect is the domain to which the task (or all objects of
+the task type) are assigned.
 
-A Dispatching_Domain pragma is allowed only immediately within a
-task_definition. At most one such pragma shall appear within a given
-task_definition.
 
 Dynamic Semantics
 
-A pragma Dispatching_Domain assigns the task to the specified domain.
 If a task is not explictly assigned to any domain,
 it is assigned to that of the activating task.
 A task always executes on some CPU in its domain.
 
-If a task contains a CPU pragma and a Dispatching_Domain pragma, and the CPU
-value is not contained within the range of processors for the Dispatching_Domain
-value (and is not Not_A_Specific_CPU), the activation of the task is defined to
+If both Dispatching_Domain and CPU are specified for a task, and the CPU
+value is not contained within the range of processors for the domain
+(and is not Not_A_Specific_CPU), the activation of the task is defined to
 have failed, and it becomes a completed task (see 9.2(1)).
 
 The function Create creates and returns a Dispatching_Domain containing all the
@@ -466,11 +461,9 @@
 to the specified CPU when the delay expires. This is needed for some
 scheduling schemes.
 
-
-In addition to these two packages there is a further new pragma
-required to control the affinity of tasks:
 
-pragma Dispatching_Domain (DD : Dispatching_Domain);
+In addition to these two packages there is a new aspect
+Dispatching_Domain, required to control the affinity of tasks.
 
 
 !example

Questions? Ask the ACAA Technical Agent