s-tpobop.adb (Requeue_Call): Introduce a dispatching point when requeuing to the…

s-tpobop.adb (Requeue_Call): Introduce a dispatching point when requeuing to the same protected object to...

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.

From-SVN: r118318

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