diff options
Diffstat (limited to 'gcc/ada/s-taprop-vxworks.adb')
| -rw-r--r-- | gcc/ada/s-taprop-vxworks.adb | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/s-taprop-vxworks.adb b/gcc/ada/s-taprop-vxworks.adb index a8ea3c4c801..2cf8131755b 100644 --- a/gcc/ada/s-taprop-vxworks.adb +++ b/gcc/ada/s-taprop-vxworks.adb @@ -745,10 +745,12 @@ package body System.Task_Primitives.Operations is (T.Common.LL.Thread, To_VxWorks_Priority (int (Prio))); pragma Assert (Result = 0); - -- Note: in VxWorks, the task is placed at the end of the priority queue - -- instead of the head. This is not the behavior required by Annex D, - -- but we consider it an acceptable variation (RM 1.1.3(6)), given this - -- is the built-in behavior of the operating system. + -- Note: in VxWorks 6.6 (or earlier), the task is placed at the end of + -- the priority queue instead of the head. This is not the behavior + -- required by Annex D (RM D.2.3(5/2)), but we consider it an acceptable + -- variation (RM 1.1.3(6)), given this is the built-in behavior of the + -- operating system. VxWorks versions starting from 6.7 implement the + -- required Annex D semantics. -- In older versions we attempted to better approximate the Annex D -- required behavior, but this simulation was not entirely accurate, |