void GCTaskManager::print_task_time_stamps() {

  {- -------------------------------------------
  (1) 全ての GCTaskThread に対して, GCTaskThread::print_task_time_stamps() を呼び出すだけ.
      ---------------------------------------- -}

      for(uint i=0; i<ParallelGCThreads; i++) {
        GCTaskThread* t = thread(i);
        t->print_task_time_stamps();
      }
    }