• Huang Zhw's avatar
    Add INFO total_active_defrag_time and current_active_defrag_time (#9377) · 216f168b
    Huang Zhw authored
    Add two INFO metrics:
    ```
    total_active_defrag_time:12345
    current_active_defrag_time:456
    ```
    `current_active_defrag_time` if greater than 0, means how much time has
    passed since active defrag started running. If active defrag stops, this metric is reset to 0.
    `total_active_defrag_time` means total time the fragmentation
    was over the defrag threshold since the server started.
    
    This is a followup PR for #9031
    216f168b
server.c 239 KB