-/* Copyright (c) 2021. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2021-2023. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include <boost/heap/fibonacci_heap.hpp>
-namespace simgrid {
-namespace kernel {
-namespace timer {
+namespace simgrid::kernel::timer {
inline auto& kernel_timers() // avoid static initialization order fiasco
{
/** @brief Timer datatype */
class Timer {
-public:
- const double date;
+ const double date_;
+ xbt::Task<void()> callback;
std::remove_reference_t<decltype(kernel_timers())>::handle_type handle_;
- Timer(double date, xbt::Task<void()>&& callback) : date(date), callback(std::move(callback)) {}
+public:
+ double get_date() const { return date_; }
+
+ Timer(double date, xbt::Task<void()>&& callback) : date_(date), callback(std::move(callback)) {}
- xbt::Task<void()> callback;
void remove();
template <class F> static inline Timer* set(double date, F callback)
static Timer* set(double date, xbt::Task<void()>&& callback);
static double next() { return kernel_timers().empty() ? -1.0 : kernel_timers().top().first; }
+
+ /** Handle any pending timer. Returns if something was actually run. */
+ static bool execute_all();
};
-} // namespace timer
-} // namespace kernel
-} // namespace simgrid
+} // namespace simgrid::kernel::timer
#endif /* SRC_KERNEL_TIMER_TIMER_HPP_ */