174   }

   174   }

   175   // Allocate a worker and return a pointer to it.

   175   // Allocate a worker and return a pointer to it.

   176   GangWorker* allocate_worker(uint which);

   176   GangWorker* allocate_worker(uint which);

   177 

   177 

   178   // Run a task; returns when the task is done, or the workers yield,

   178   // Run a task; returns when the task is done, or the workers yield,

   180   // A task that has been yielded can be continued via this same interface

   180   // A task that has been yielded can be continued via this same interface

   181   // by using the same task repeatedly as the argument to the call.

   181   // by using the same task repeatedly as the argument to the call.

   182   // It is expected that the YieldingFlexibleGangTask carries the appropriate

   182   // It is expected that the YieldingFlexibleGangTask carries the appropriate

   183   // continuation information used by workers to continue the task

   183   // continuation information used by workers to continue the task

   184   // from its last yield point. Thus, a completed task will return

   184   // from its last yield point. Thus, a completed task will return