31 if (pool_.empty() || interval.
begin_time > pool_iter_->end_time) {
32 pool_.push_back(interval);
33 pool_iter_ = std::prev(pool_.end());
36 pool_iter_->begin_time =
37 std::min(interval.
begin_time, pool_iter_->begin_time);
38 pool_iter_->end_time = std::max(interval.
end_time, pool_iter_->end_time);
92 const std::string& description,
93 const uint64_t msg_time,
94 const uint64_t backward_time,
95 const uint64_t forward_time)
const {
96 std::ofstream logfile(interval_event_log_file_path_,
97 std::ios::out | std::ios::app);
99 AERROR <<
"Failed to write " << interval_event_log_file_path_;
102 logfile << std::fixed << std::setprecision(9);
103 logfile <<
"name=" << name <<
", description=\"" << description <<
"\""
104 <<
", msg_time=" << msg_time <<
", interval_range=["
105 << msg_time - backward_time <<
":" << msg_time + forward_time <<
"]"