void  check_and_reset_timer()            {
                                            if (!_timer_pending_reset) return;
                                            _contended_enter_timer.reset();
                                            _monitor_wait_timer.reset();
                                            _sleep_timer.reset();
                                            _timer_pending_reset = 0;
                                          }
Exemple #2
0
 void        reset_gc_stat()   {
     _num_collections = 0;
     _accumulated_timer.reset();
 }