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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0291-1.txt

--- ai12s/ai12-0291-1.txt	2022/06/25 06:14:05	1.5
+++ ai12s/ai12-0291-1.txt	2022/12/24 02:34:00	1.6
@@ -312,13 +312,11 @@
 !corrigendum D.13(10/3)
 
 @drepl
-@xindent<@s9<NOTES@hr
-42 The effect of the Max_Entry_Queue_Length =@> 1 restriction applies
+@xindent<@s9<NOTE 1 @  The effect of the Max_Entry_Queue_Length =@> 1 restriction applies
 only to protected entry queues due to the accompanying restriction of
 Max_Task_Entries =@> 0.>>
 @dby
-@xindent<@s9<NOTES@hr
-42 For the Ravenscar profile, the effect of the restriction
+@xindent<@s9<NOTE 1 @  For the Ravenscar profile, the effect of the restriction
 Max_Entry_Queue_Length =@> 1 applies only to protected entry queues
 due to the accompanying restriction Max_Task_Entries =@> 0. The
 restriction Max_Entry_Queue_Length is not applied by the Jorvik
@@ -327,14 +325,14 @@
 !corrigendum D.13(11/4)
 
 @drepl
-@xindent<@s9<43  When the Ravenscar profile is in effect (via the effect of the
+@xindent<@s9<NOTE 2 @  When the Ravenscar profile is in effect (via the effect of the
 No_Dynamic_CPU_Assignment restriction), all of the tasks in the
 partition will execute on a single CPU unless the programmer explicitly
 uses aspect CPU to specify the CPU assignments for tasks. The use of
 multiple CPUs requires care, as many guarantees of single CPU scheduling
 no longer apply.>>
 @dby
-@xindent<@s9<43 When the Ravenscar or Jorvik profile is in effect (via the
+@xindent<@s9<NOTE 2 @  When the Ravenscar or Jorvik profile is in effect (via the
 effect of the No_Dynamic_CPU_Assignment restriction), all of the
 tasks in the partition will execute on a single CPU unless the
 programmer explicitly uses aspect CPU to specify the CPU
@@ -344,16 +342,16 @@
 !corrigendum D.13(12/4)
 
 @drepl
-@xindent<@s9<44  It is not recommended to specify the CPU of a task to be
+@xindent<@s9<NOTE 3 @  It is not recommended to specify the CPU of a task to be
 Not_A_Specific_CPU when the Ravenscar profile is in effect. How a partition
 executes strongly depends on the assignment of tasks to CPUs.>>
 @dby
-@xindent<@s9<44 It is not recommended to specify the CPU of a task to be
+@xindent<@s9<NOTE 3 @  It is not recommended to specify the CPU of a task to be
 Not_A_Specific_CPU when the Ravenscar or Jorvik profile is in
 effect. How a partition executes strongly depends on the
 assignment of tasks to CPUs.>>
 
-@xindent<@s9<45 Any unit that meets the requirements of the Ravenscar profile 
+@xindent<@s9<NOTE 4 @  Any unit that meets the requirements of the Ravenscar profile 
 also meets the requirements of the Jorvik profile.>>
 
 

Questions? Ask the ACAA Technical Agent