std::timer_manager is thread-safe