CVS difference for 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
!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
@@ -129,33 +131,26 @@
-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
+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
-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
-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.
Questions? Ask the ACAA Technical Agent