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; }
void reset_gc_stat() { _num_collections = 0; _accumulated_timer.reset(); }