CVS difference for 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