CVS difference for ai12s/ai12-0082-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0082-1.txt

--- ai12s/ai12-0082-1.txt	2013/12/08 05:40:10	1.2
+++ ai12s/ai12-0082-1.txt	2014/05/09 01:18:27	1.3
@@ -1,4 +1,4 @@
-!standard D.16.1(16/3)                                    13-12-07  AI05-0082-1/02
+!standard D.16.1(16/3)                                    14-05-08  AI05-0082-1/03
 !standard D.16.1(22/3)
 !standard D.16.1(25/3)
 !standard D.16.1(27/3)
@@ -42,8 +42,8 @@
 processors are contained within {this domain}[System_Dispatching_Domain].
 
 In D.16.1(22/3), replace "Dispatching_Domain" with "the
-dispatching domain". In D.16.1(25/3), D.16.1(27/3) [two places], and
-D.16.1(29/3), replace "Dispatching_Domain" with "dispatching domain".
+dispatching domain", and replace "range" with "set". In D.16.1(25/3), D.16.1(27/3)
+[two places], and D.16.1(29/3), replace "Dispatching_Domain" with "dispatching domain".
 
 !discussion
 
@@ -64,6 +64,10 @@
 Some changes from "Dispatching_Domain" to "dispatching domain" were made in
 AI12-0033-1 (in paragraphs modified by that AI).
 
+We change "series" (D.16.1(16/3)) and "range" (D.16.1(22/3)) to "set" as a
+dispatching domain might be a discontiguous set of CPU values and the words
+"series" and "range" seem to imply a continguous range of CPU values.
+
 !corrigendum D.16.1(16/3)
 
 @drepl
@@ -89,7 +93,7 @@
 it becomes a completed task (see 9.2).
 @dby
 If both the 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
+value is not contained within the set 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).
 

Questions? Ask the ACAA Technical Agent