public void Stop(WorkerThread thread)
 {
     thread.Stop();
     ThreadList.Remove(thread);
 }
 public bool IsDead(WorkerThread thread)
 {
     return(!thread.Started);
 }
 public void Run(WorkerThread thread)
 {
     thread.Run(Allocator);
     ThreadList.Add(thread);
 }