I\'m using RocksDB,and also using CreateDBStatistics() to do the Statistics. The question is: If there is heavy access on RocksDB, how to close the statistics?