CVS difference for ais/ai-00333.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00333.txt

--- ais/ai-00333.txt	2004/11/25 00:03:39	1.9
+++ ais/ai-00333.txt	2005/10/31 05:18:31	1.10
@@ -1,4 +1,4 @@
-!standard D.02.02      (05)                            04-11-09  AI95-00333/06
+!standard D.02.02      (05)                            05-10-05  AI95-00333/07
 !standard D.02.02      (03)
 !class binding interpretation 03-07-25
 !status Amendment 200Y 04-09-27
@@ -38,9 +38,9 @@
 
 Implementation Requirements
 
-An implementation shall allow specifying both the task dispatching policy as
-FIFO_Within_Priorities and the locking policy (see D.3) as Ceiling_Locking
-for a single partition.
+An implementation shall allow, for a single partition, both the locking
+policy (see D.3) to be specified as Ceiling_Locking and also one or more
+Priority_Specific_Dispatching pragmas to be given.
 
 Similar changes apply to Non-Preemptive dispatching (AI-298) and Round-robin
 (AI-355).
@@ -94,9 +94,9 @@
 @dinst
 @i<@s8<Implementation Requirements>>
 
-An implementation shall allow specifying both the task dispatching policy as
-FIFO_Within_Priorities and the locking policy (see D.3) as Ceiling_Locking
-for a single partition.
+An implementation shall allow, for a single partition, both the locking
+policy (see D.3) to be specified as Ceiling_Locking and also one or more
+Priority_Specific_Dispatching pragmas to be given.
 
 !corrigendum D.2.4(01)
 !comment This is a fake to trigger conflict processing with AI-298. The real
@@ -105,9 +105,9 @@
 
 @i<@s8<Implementation Requirements>>
 
-An implementation shall allow specifying both the task dispatching policy as
-Non_Preemptive_FIFO_Within_Priorities and the locking policy (see D.3) as
-Ceiling_Locking for a single partition.
+An implementation shall allow, for a single partition, both the task
+dispatching policy to be specified as Non_Preemptive_FIFO_Within_Priorities and
+also the locking policy (see D.3) to be specified as Ceiling_Locking.
 
 !corrigendum D.2.5(01)
 !comment This is a fake to trigger conflict processing with AI-355. The real
@@ -116,9 +116,10 @@
 
 @i<@s8<Implementation Requirements>>
 
-An implementation shall allow specifying both the task dispatching policy as
-Round_Robin_Within_Priorities and the locking policy (see D.3) as
-Ceiling_Locking for a single partition.
+An implementation shall allow, for a single partition, both the task
+dispatching policy to be specified as Round_Robin_Within_Priorities and
+also the locking policy (see D.3) to be specified as Ceiling_Locking.
+
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent