optimize dispatch a little more

[IRC.git] / Robust / src / Runtime / workschedule.c

diff --git a/Robust/src/Runtime/workschedule.c b/Robust/src/Runtime/workschedule.c
index f828a5e82abe610803be44552024a7397a88d97c..24c452f740cab7be255a3d69fe97c92bc05dc16d 100644 (file)
--- a/Robust/src/Runtime/workschedule.c
+++ b/Robust/src/Runtime/workschedule.c
@@ -335,11 +335,15 @@ void workScheduleInit( int numProcessors,
 void workScheduleSubmit( void* workUnit ) {
 
   if( myWorkerID == workerID_NOTAWORKER ) {
+    CP_LOGEVENT( CP_EVENTID_DEBUG_A, CP_EVENTTYPE_BEGIN );
     dqPushBottom( &(deques[0]), workUnit );
+    CP_LOGEVENT( CP_EVENTID_DEBUG_A, CP_EVENTTYPE_END );
     return;
   }
 
+    CP_LOGEVENT( CP_EVENTID_DEBUG_A, CP_EVENTTYPE_BEGIN );
   dqPushBottom( &(deques[myWorkerID]), workUnit );
+    CP_LOGEVENT( CP_EVENTID_DEBUG_A, CP_EVENTTYPE_END );
 }