89 /// Deadline scheduler for all user timers on top of the unique system timer.
91     /// Collection of active timers.
93     /// Because this is a collection of pointers, all timers are guaranteed to
97     /// Sequence of ordered timers.
103     /// sequentially to find either expired or expiring-now timers.
115     /// Mapping of all active timers using their timestamp as the key.
124         timers_set& timers = _all_timers[timer->when()];  in add_to_all_timers()  local
125         INV(timers.find(timer) == timers.end());  in add_to_all_timers()
126         timers.insert(timer);  in add_to_all_timers()
143             timers_set& timers = (*iter).second;  in remove_from_all_timers()  local
144             INV(timers.find(timer) != timers.end());  in remove_from_all_timers()
145             timers.erase(timer);  in remove_from_all_timers()
146             if (timers.empty()) {  in remove_from_all_timers()
152     /// Calculates all timers to execute at this timestamp.
156     /// \post _all_timers is updated to contain only the timers that are
159     /// \return A sequence of valid timers that need to be invoked in the order
160     /// of activation.  These are all previously registered timers with
171             const timers_set& timers = (*iter).second;  in compute_timers_to_run_and_prune_old()  local
172             to_run.insert(to_run.end(), timers.begin(), timers.end());  in compute_timers_to_run_and_prune_old()
196             // Nothing to do.  We can reach this case if all the existing timers  in reprogram_system_timer()
202         // While fire() prunes old entries from the list of timers, it is  in reprogram_system_timer()
203         // possible for this routine to run with "expired" timers (i.e. timers  in reprogram_system_timer()
215                 // timers are in the past but they have not yet fired.  in reprogram_system_timer()
265     /// Unprograms all timers.
272         LD("Unprogramming all timers");  in ~global_state()
309     /// another future timer; false if there are no more active timers.
326     /// Executes active timers.
328     /// Active timers are all those that fire on or before 'now'.
387     /// this field need to check for timers that fire on or before the
418 /// expires earlier than all other active timers.
439 /// extremely important because, otherwise, expired timers will never run!