no need to add one worker thread, let end user decide

diff --git a/Robust/src/Runtime/workschedule.c b/Robust/src/Runtime/workschedule.c
index 333bfb0e4cde9afc02ab0118e4768a29e4920c85..afa165822be2cf35b5ee56a764630059b6339a01 100644 (file)
--- a/Robust/src/Runtime/workschedule.c
+++ b/Robust/src/Runtime/workschedule.c
@@ -226,6 +226,13 @@ void* workerMain( void* arg ) {
     if( haveWork ) {
       // let GC see current work
       litem.seseCommon = (void*)workUnit;
+
+#ifdef DEBUG_DEQUE
+      if( workUnit == NULL ) {
+        printf( "About to execute a null work item\n" );
+      }
+#endif
+
       workFunc( workUnit );
     }
   } 
@@ -273,7 +280,7 @@ void workScheduleInit( int numProcessors,
   pthread_cond_init ( &gccond,     NULL );
 
 
-  numWorkSchedWorkers = numProcessors + 1;
+  numWorkSchedWorkers = numProcessors;
 
   workFunc = func;