1   
//
1   
//
2   
// Copyright (c) 2025 Vinnie Falco (vinnie.falco@gmail.com)
2   
// Copyright (c) 2025 Vinnie Falco (vinnie.falco@gmail.com)
3   
// Copyright (c) 2026 Steve Gerbino
3   
// Copyright (c) 2026 Steve Gerbino
4   
//
4   
//
5   
// Distributed under the Boost Software License, Version 1.0. (See accompanying
5   
// Distributed under the Boost Software License, Version 1.0. (See accompanying
6   
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6   
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7   
//
7   
//
8   
// Official repository: https://github.com/cppalliance/corosio
8   
// Official repository: https://github.com/cppalliance/corosio
9   
//
9   
//
10  
10  
11   
#ifndef BOOST_COROSIO_IO_IO_TIMER_HPP
11   
#ifndef BOOST_COROSIO_IO_IO_TIMER_HPP
12   
#define BOOST_COROSIO_IO_IO_TIMER_HPP
12   
#define BOOST_COROSIO_IO_IO_TIMER_HPP
13  
13  
14   
#include <boost/corosio/detail/config.hpp>
14   
#include <boost/corosio/detail/config.hpp>
15   
#include <boost/corosio/io/io_object.hpp>
15   
#include <boost/corosio/io/io_object.hpp>
16   
#include <boost/capy/io_result.hpp>
16   
#include <boost/capy/io_result.hpp>
17   
#include <boost/capy/error.hpp>
17   
#include <boost/capy/error.hpp>
18   
#include <boost/capy/ex/executor_ref.hpp>
18   
#include <boost/capy/ex/executor_ref.hpp>
19   
#include <boost/capy/ex/io_env.hpp>
19   
#include <boost/capy/ex/io_env.hpp>
20  
20  
21   
#include <chrono>
21   
#include <chrono>
22   
#include <coroutine>
22   
#include <coroutine>
23   
#include <cstddef>
23   
#include <cstddef>
24   
#include <limits>
24   
#include <limits>
25   
#include <stop_token>
25   
#include <stop_token>
26   
#include <system_error>
26   
#include <system_error>
27  
27  
28   
namespace boost::corosio {
28   
namespace boost::corosio {
29  
29  
30   
/** Abstract base for asynchronous timers.
30   
/** Abstract base for asynchronous timers.
31  
31  
32   
    Provides the common timer interface: `wait`, `cancel`, and
32   
    Provides the common timer interface: `wait`, `cancel`, and
33   
    `expiry`. Concrete classes like @ref timer add the ability
33   
    `expiry`. Concrete classes like @ref timer add the ability
34   
    to set expiry times and cancel individual waiters.
34   
    to set expiry times and cancel individual waiters.
35  
35  
36   
    @par Thread Safety
36   
    @par Thread Safety
37   
    Distinct objects: Safe.
37   
    Distinct objects: Safe.
38   
    Shared objects: Unsafe.
38   
    Shared objects: Unsafe.
39  
39  
40   
    @see timer, io_object
40   
    @see timer, io_object
41   
*/
41   
*/
42   
class BOOST_COROSIO_DECL io_timer : public io_object
42   
class BOOST_COROSIO_DECL io_timer : public io_object
43   
{
43   
{
44   
    struct wait_awaitable
44   
    struct wait_awaitable
45   
    {
45   
    {
46   
        io_timer& t_;
46   
        io_timer& t_;
47   
        std::stop_token token_;
47   
        std::stop_token token_;
48   
        mutable std::error_code ec_;
48   
        mutable std::error_code ec_;
49  
49  
50   
        explicit wait_awaitable(io_timer& t) noexcept : t_(t) {}
50   
        explicit wait_awaitable(io_timer& t) noexcept : t_(t) {}
51  
51  
52   
        bool await_ready() const noexcept
52   
        bool await_ready() const noexcept
53   
        {
53   
        {
54   
            return token_.stop_requested();
54   
            return token_.stop_requested();
55   
        }
55   
        }
56  
56  
57   
        capy::io_result<> await_resume() const noexcept
57   
        capy::io_result<> await_resume() const noexcept
58   
        {
58   
        {
59   
            if (token_.stop_requested())
59   
            if (token_.stop_requested())
60   
                return {capy::error::canceled};
60   
                return {capy::error::canceled};
61   
            return {ec_};
61   
            return {ec_};
62   
        }
62   
        }
63  
63  
64   
        auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env)
64   
        auto await_suspend(std::coroutine_handle<> h, capy::io_env const* env)
65   
            -> std::coroutine_handle<>
65   
            -> std::coroutine_handle<>
66   
        {
66   
        {
67   
            token_     = env->stop_token;
67   
            token_     = env->stop_token;
68   
            auto& impl = t_.get();
68   
            auto& impl = t_.get();
69   
            // Inline fast path: already expired and not in the heap
69   
            // Inline fast path: already expired and not in the heap
70   
            if (impl.heap_index_ == implementation::npos &&
70   
            if (impl.heap_index_ == implementation::npos &&
71   
                (impl.expiry_ == (time_point::min)() ||
71   
                (impl.expiry_ == (time_point::min)() ||
72   
                 impl.expiry_ <= clock_type::now()))
72   
                 impl.expiry_ <= clock_type::now()))
73   
            {
73   
            {
74   
                ec_    = {};
74   
                ec_    = {};
 
75 + 
                token_ = {};  // match normal path so await_resume
 
76 + 
                              // returns ec_, not a stale stop check
75   
                auto d = env->executor;
77   
                auto d = env->executor;
76   
                d.post(h);
78   
                d.post(h);
77   
                return std::noop_coroutine();
79   
                return std::noop_coroutine();
78   
            }
80   
            }
79   
            return impl.wait(h, env->executor, std::move(token_), &ec_);
81   
            return impl.wait(h, env->executor, std::move(token_), &ec_);
80   
        }
82   
        }
81   
    };
83   
    };
82  
84  
83   
public:
85   
public:
84   
    struct implementation : io_object::implementation
86   
    struct implementation : io_object::implementation
85   
    {
87   
    {
86   
        static constexpr std::size_t npos =
88   
        static constexpr std::size_t npos =
87   
            (std::numeric_limits<std::size_t>::max)();
89   
            (std::numeric_limits<std::size_t>::max)();
88  
90  
89   
        std::chrono::steady_clock::time_point expiry_{};
91   
        std::chrono::steady_clock::time_point expiry_{};
90   
        std::size_t heap_index_        = npos;
92   
        std::size_t heap_index_        = npos;
91   
        bool might_have_pending_waits_ = false;
93   
        bool might_have_pending_waits_ = false;
92  
94  
93   
        virtual std::coroutine_handle<> wait(
95   
        virtual std::coroutine_handle<> wait(
94   
            std::coroutine_handle<>,
96   
            std::coroutine_handle<>,
95   
            capy::executor_ref,
97   
            capy::executor_ref,
96   
            std::stop_token,
98   
            std::stop_token,
97   
            std::error_code*) = 0;
99   
            std::error_code*) = 0;
98   
    };
100   
    };
99  
101  
100   
    /// The clock type used for time operations.
102   
    /// The clock type used for time operations.
101   
    using clock_type = std::chrono::steady_clock;
103   
    using clock_type = std::chrono::steady_clock;
102  
104  
103   
    /// The time point type for absolute expiry times.
105   
    /// The time point type for absolute expiry times.
104   
    using time_point = clock_type::time_point;
106   
    using time_point = clock_type::time_point;
105  
107  
106   
    /// The duration type for relative expiry times.
108   
    /// The duration type for relative expiry times.
107   
    using duration = clock_type::duration;
109   
    using duration = clock_type::duration;
108  
110  
109   
    /** Cancel all pending asynchronous wait operations.
111   
    /** Cancel all pending asynchronous wait operations.
110  
112  
111   
        All outstanding operations complete with an error code that
113   
        All outstanding operations complete with an error code that
112   
        compares equal to `capy::cond::canceled`.
114   
        compares equal to `capy::cond::canceled`.
113  
115  
114   
        @return The number of operations that were cancelled.
116   
        @return The number of operations that were cancelled.
115   
    */
117   
    */
116   
    std::size_t cancel()
118   
    std::size_t cancel()
117   
    {
119   
    {
118   
        if (!get().might_have_pending_waits_)
120   
        if (!get().might_have_pending_waits_)
119   
            return 0;
121   
            return 0;
120   
        return do_cancel();
122   
        return do_cancel();
121   
    }
123   
    }
122  
124  
123   
    /** Return the timer's expiry time as an absolute time.
125   
    /** Return the timer's expiry time as an absolute time.
124  
126  
125   
        @return The expiry time point. If no expiry has been set,
127   
        @return The expiry time point. If no expiry has been set,
126   
            returns a default-constructed time_point.
128   
            returns a default-constructed time_point.
127   
    */
129   
    */
128   
    time_point expiry() const noexcept
130   
    time_point expiry() const noexcept
129   
    {
131   
    {
130   
        return get().expiry_;
132   
        return get().expiry_;
131   
    }
133   
    }
132  
134  
133   
    /** Wait for the timer to expire.
135   
    /** Wait for the timer to expire.
134  
136  
135   
        Multiple coroutines may wait on the same timer concurrently.
137   
        Multiple coroutines may wait on the same timer concurrently.
136   
        When the timer expires, all waiters complete with success.
138   
        When the timer expires, all waiters complete with success.
137  
139  
138   
        The operation supports cancellation via `std::stop_token` through
140   
        The operation supports cancellation via `std::stop_token` through
139   
        the affine awaitable protocol. If the associated stop token is
141   
        the affine awaitable protocol. If the associated stop token is
140   
        triggered, only that waiter completes with an error that
142   
        triggered, only that waiter completes with an error that
141   
        compares equal to `capy::cond::canceled`; other waiters are
143   
        compares equal to `capy::cond::canceled`; other waiters are
142   
        unaffected.
144   
        unaffected.
143  
145  
144   
        This timer must outlive the returned awaitable.
146   
        This timer must outlive the returned awaitable.
145  
147  
146   
        @return An awaitable that completes with `io_result<>`.
148   
        @return An awaitable that completes with `io_result<>`.
147   
    */
149   
    */
148   
    auto wait()
150   
    auto wait()
149   
    {
151   
    {
150   
        return wait_awaitable(*this);
152   
        return wait_awaitable(*this);
151   
    }
153   
    }
152  
154  
153   
protected:
155   
protected:
154   
    /** Dispatch cancel to the concrete implementation.
156   
    /** Dispatch cancel to the concrete implementation.
155  
157  
156   
        @return The number of operations that were cancelled.
158   
        @return The number of operations that were cancelled.
157   
    */
159   
    */
158   
    virtual std::size_t do_cancel() = 0;
160   
    virtual std::size_t do_cancel() = 0;
159  
161  
160   
    explicit io_timer(handle h) noexcept : io_object(std::move(h)) {}
162   
    explicit io_timer(handle h) noexcept : io_object(std::move(h)) {}
161  
163  
162   
    /// Move construct.
164   
    /// Move construct.
163   
    io_timer(io_timer&& other) noexcept : io_object(std::move(other)) {}
165   
    io_timer(io_timer&& other) noexcept : io_object(std::move(other)) {}
164  
166  
165   
    /// Move assign.
167   
    /// Move assign.
166   
    io_timer& operator=(io_timer&& other) noexcept
168   
    io_timer& operator=(io_timer&& other) noexcept
167   
    {
169   
    {
168   
        if (this != &other)
170   
        if (this != &other)
169   
            h_ = std::move(other.h_);
171   
            h_ = std::move(other.h_);
170   
        return *this;
172   
        return *this;
171   
    }
173   
    }
172  
174  
173   
    io_timer(io_timer const&)            = delete;
175   
    io_timer(io_timer const&)            = delete;
174   
    io_timer& operator=(io_timer const&) = delete;
176   
    io_timer& operator=(io_timer const&) = delete;
175  
177  
176   
    /// Return the underlying implementation.
178   
    /// Return the underlying implementation.
177   
    implementation& get() const noexcept
179   
    implementation& get() const noexcept
178   
    {
180   
    {
179   
        return *static_cast<implementation*>(h_.get());
181   
        return *static_cast<implementation*>(h_.get());
180   
    }
182   
    }
181   
};
183   
};
182  
184  
183   
} // namespace boost::corosio
185   
} // namespace boost::corosio
184  
186  
185   
#endif
187   
#endif