public void recordTimes(final String key, final long times) {
        if (this.metrics != null) {
            this.metrics.counter(key).inc(times);
        }
    }
Records operation times.
@param key   key of operation
@param times times of operation
jraft-core/src/main/java/com/alipay/sofa/jraft/core/NodeMetrics.java