2006-10-31 Jose Ruiz <ruiz@adacore.com>

	* s-tpobop.adb (Requeue_Call): Introduce a dispatching point when
	requeuing to the same protected object to give higher priority tasks
	the opportunity to execute.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118318 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/s-tpobop.adb b/gcc/ada/s-tpobop.adb
index c65438a..b8bfc9a 100644 (file)
--- a/gcc/ada/s-tpobop.adb
+++ b/gcc/ada/s-tpobop.adb
@@ -755,6 +755,12 @@ package body System.Tasking.Protected_Objects.Operations is
          else
             --  Requeue is to same protected object
 
+            --  ??? Try to compensate apparent failure of the
+            --  scheduler on some OS (e.g VxWorks) to give higher
+            --  priority tasks a chance to run (see CXD6002).
+
+            STPO.Yield (False);
+
             if Entry_Call.Requeue_With_Abort
               and then Entry_Call.Cancellation_Attempted
             then