/**
* Get elapsed time in milliseconds to dump disk `diskId`.
*/
public long getDumpElapsedTimeMs(int diskId)
{
Group diskGroup = this.generateDiskGroup(diskId);
String beginStr = cfg_.getVal(diskGroup, "dump_begin_timestamp_ms");
String endStr = cfg_.getVal(diskGroup, "dump_end_timestamp_ms");
if (beginStr == null || endStr == null) {
logger_.warning("beginStr or endStr is is null.");