987     ThreadsSMRSupport::clear_delete_notify();

   987     ThreadsSMRSupport::clear_delete_notify();

   988     ThreadsSMRSupport::delete_lock()->unlock();

   988     ThreadsSMRSupport::delete_lock()->unlock();

   989     // Retry the whole scenario.

   989     // Retry the whole scenario.

   990   }

   990   }

   991 

   991 

   997   delete thread;

   992   delete thread;

   998   if (EnableThreadSMRStatistics) {

   993   if (EnableThreadSMRStatistics) {

   999     timer.stop();

   994     timer.stop();

  1000     uint millis = (uint)timer.milliseconds();

   995     uint millis = (uint)timer.milliseconds();

  1001     ThreadsSMRSupport::inc_deleted_thread_cnt();

   996     ThreadsSMRSupport::inc_deleted_thread_cnt();