Robust/src/Benchmarks/Recovery/Spider/recovery/TaskSet.java

   1 public class TaskSet {
   2   public TaskSet(int nt) {
   3     numthreads=nt;
   4     threads=global new Worker[nt];
   5     todo=global new GlobalQueue();
   6   }
   7
   8   //Tasks to be executed
   9   GlobalQueue todo;
  10   //Vector of worker threads
  11   Worker threads[];
  12   int numthreads;
  13 }