Renamed global_timer_pool to global_timer_set to be more consistent.