1  
//
1  
//
2  
// Copyright (c) 2025 Vinnie Falco (vinnie.falco@gmail.com)
2  
// Copyright (c) 2025 Vinnie Falco (vinnie.falco@gmail.com)
3  
//
3  
//
4  
// Distributed under the Boost Software License, Version 1.0. (See accompanying
4  
// Distributed under the Boost Software License, Version 1.0. (See accompanying
5  
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
5  
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6  
//
6  
//
7  
// Official repository: https://github.com/cppalliance/capy
7  
// Official repository: https://github.com/cppalliance/capy
8  
//
8  
//
9  

9  

10  
#ifndef BOOST_CAPY_RUN_ASYNC_HPP
10  
#ifndef BOOST_CAPY_RUN_ASYNC_HPP
11  
#define BOOST_CAPY_RUN_ASYNC_HPP
11  
#define BOOST_CAPY_RUN_ASYNC_HPP
12  

12  

13  
#include <boost/capy/detail/config.hpp>
13  
#include <boost/capy/detail/config.hpp>
14  
#include <boost/capy/detail/run.hpp>
14  
#include <boost/capy/detail/run.hpp>
15  
#include <boost/capy/detail/run_callbacks.hpp>
15  
#include <boost/capy/detail/run_callbacks.hpp>
16  
#include <boost/capy/concept/executor.hpp>
16  
#include <boost/capy/concept/executor.hpp>
17  
#include <boost/capy/concept/io_runnable.hpp>
17  
#include <boost/capy/concept/io_runnable.hpp>
18  
#include <boost/capy/ex/execution_context.hpp>
18  
#include <boost/capy/ex/execution_context.hpp>
19  
#include <boost/capy/ex/frame_allocator.hpp>
19  
#include <boost/capy/ex/frame_allocator.hpp>
20  
#include <boost/capy/ex/io_env.hpp>
20  
#include <boost/capy/ex/io_env.hpp>
21  
#include <boost/capy/ex/recycling_memory_resource.hpp>
21  
#include <boost/capy/ex/recycling_memory_resource.hpp>
22  
#include <boost/capy/ex/work_guard.hpp>
22  
#include <boost/capy/ex/work_guard.hpp>
23  

23  

24  
#include <algorithm>
24  
#include <algorithm>
25  
#include <coroutine>
25  
#include <coroutine>
26  
#include <cstring>
26  
#include <cstring>
27  
#include <memory_resource>
27  
#include <memory_resource>
28  
#include <new>
28  
#include <new>
29  
#include <stop_token>
29  
#include <stop_token>
30  
#include <type_traits>
30  
#include <type_traits>
31  

31  

32  
namespace boost {
32  
namespace boost {
33  
namespace capy {
33  
namespace capy {
34  
namespace detail {
34  
namespace detail {
35  

35  

36  
/// Function pointer type for type-erased frame deallocation.
36  
/// Function pointer type for type-erased frame deallocation.
37  
using dealloc_fn = void(*)(void*, std::size_t);
37  
using dealloc_fn = void(*)(void*, std::size_t);
38  

38  

39  
/// Type-erased deallocator implementation for trampoline frames.
39  
/// Type-erased deallocator implementation for trampoline frames.
40  
template<class Alloc>
40  
template<class Alloc>
41  
void dealloc_impl(void* raw, std::size_t total)
41  
void dealloc_impl(void* raw, std::size_t total)
42  
{
42  
{
43  
    static_assert(std::is_same_v<typename Alloc::value_type, std::byte>);
43  
    static_assert(std::is_same_v<typename Alloc::value_type, std::byte>);
44  
    auto* a = std::launder(reinterpret_cast<Alloc*>(
44  
    auto* a = std::launder(reinterpret_cast<Alloc*>(
45  
        static_cast<char*>(raw) + total - sizeof(Alloc)));
45  
        static_cast<char*>(raw) + total - sizeof(Alloc)));
46  
    Alloc ba(std::move(*a));
46  
    Alloc ba(std::move(*a));
47  
    a->~Alloc();
47  
    a->~Alloc();
48  
    ba.deallocate(static_cast<std::byte*>(raw), total);
48  
    ba.deallocate(static_cast<std::byte*>(raw), total);
49  
}
49  
}
50  

50  

51  
/// Awaiter to access the promise from within the coroutine.
51  
/// Awaiter to access the promise from within the coroutine.
52  
template<class Promise>
52  
template<class Promise>
53  
struct get_promise_awaiter
53  
struct get_promise_awaiter
54  
{
54  
{
55  
    Promise* p_ = nullptr;
55  
    Promise* p_ = nullptr;
56  

56  

57  
    bool await_ready() const noexcept { return false; }
57  
    bool await_ready() const noexcept { return false; }
58  

58  

59  
    bool await_suspend(std::coroutine_handle<Promise> h) noexcept
59  
    bool await_suspend(std::coroutine_handle<Promise> h) noexcept
60  
    {
60  
    {
61  
        p_ = &h.promise();
61  
        p_ = &h.promise();
62  
        return false;
62  
        return false;
63  
    }
63  
    }
64  

64  

65  
    Promise& await_resume() const noexcept
65  
    Promise& await_resume() const noexcept
66  
    {
66  
    {
67  
        return *p_;
67  
        return *p_;
68  
    }
68  
    }
69  
};
69  
};
70  

70  

71  
/** Internal run_async_trampoline coroutine for run_async.
71  
/** Internal run_async_trampoline coroutine for run_async.
72  

72  

73  
    The run_async_trampoline is allocated BEFORE the task (via C++17 postfix evaluation
73  
    The run_async_trampoline is allocated BEFORE the task (via C++17 postfix evaluation
74  
    order) and serves as the task's continuation. When the task final_suspends,
74  
    order) and serves as the task's continuation. When the task final_suspends,
75  
    control returns to the run_async_trampoline which then invokes the appropriate handler.
75  
    control returns to the run_async_trampoline which then invokes the appropriate handler.
76  

76  

77  
    For value-type allocators, the run_async_trampoline stores a frame_memory_resource
77  
    For value-type allocators, the run_async_trampoline stores a frame_memory_resource
78  
    that wraps the allocator. For memory_resource*, it stores the pointer directly.
78  
    that wraps the allocator. For memory_resource*, it stores the pointer directly.
79  

79  

80  
    @tparam Ex The executor type.
80  
    @tparam Ex The executor type.
81  
    @tparam Handlers The handler type (default_handler or handler_pair).
81  
    @tparam Handlers The handler type (default_handler or handler_pair).
82  
    @tparam Alloc The allocator type (value type or memory_resource*).
82  
    @tparam Alloc The allocator type (value type or memory_resource*).
83  
*/
83  
*/
84  
template<class Ex, class Handlers, class Alloc>
84  
template<class Ex, class Handlers, class Alloc>
85  
struct run_async_trampoline
85  
struct run_async_trampoline
86  
{
86  
{
87  
    using invoke_fn = void(*)(void*, Handlers&);
87  
    using invoke_fn = void(*)(void*, Handlers&);
88  

88  

89  
    struct promise_type
89  
    struct promise_type
90  
    {
90  
    {
91  
        work_guard<Ex> wg_;
91  
        work_guard<Ex> wg_;
92  
        Handlers handlers_;
92  
        Handlers handlers_;
93  
        frame_memory_resource<Alloc> resource_;
93  
        frame_memory_resource<Alloc> resource_;
94  
        io_env env_;
94  
        io_env env_;
95  
        invoke_fn invoke_ = nullptr;
95  
        invoke_fn invoke_ = nullptr;
96  
        void* task_promise_ = nullptr;
96  
        void* task_promise_ = nullptr;
97  
        std::coroutine_handle<> task_h_;
97  
        std::coroutine_handle<> task_h_;
98  

98  

99  
        promise_type(Ex& ex, Handlers& h, Alloc& a) noexcept
99  
        promise_type(Ex& ex, Handlers& h, Alloc& a) noexcept
100  
            : wg_(std::move(ex))
100  
            : wg_(std::move(ex))
101  
            , handlers_(std::move(h))
101  
            , handlers_(std::move(h))
102  
            , resource_(std::move(a))
102  
            , resource_(std::move(a))
103  
        {
103  
        {
104  
        }
104  
        }
105  

105  

106  
        static void* operator new(
106  
        static void* operator new(
107  
            std::size_t size, Ex const&, Handlers const&, Alloc a)
107  
            std::size_t size, Ex const&, Handlers const&, Alloc a)
108  
        {
108  
        {
109  
            using byte_alloc = typename std::allocator_traits<Alloc>
109  
            using byte_alloc = typename std::allocator_traits<Alloc>
110  
                ::template rebind_alloc<std::byte>;
110  
                ::template rebind_alloc<std::byte>;
111  

111  

112  
            constexpr auto footer_align =
112  
            constexpr auto footer_align =
113  
                (std::max)(alignof(dealloc_fn), alignof(Alloc));
113  
                (std::max)(alignof(dealloc_fn), alignof(Alloc));
114  
            auto padded = (size + footer_align - 1) & ~(footer_align - 1);
114  
            auto padded = (size + footer_align - 1) & ~(footer_align - 1);
115  
            auto total = padded + sizeof(dealloc_fn) + sizeof(Alloc);
115  
            auto total = padded + sizeof(dealloc_fn) + sizeof(Alloc);
116  

116  

117  
            byte_alloc ba(std::move(a));
117  
            byte_alloc ba(std::move(a));
118  
            void* raw = ba.allocate(total);
118  
            void* raw = ba.allocate(total);
119  

119  

120  
            auto* fn_loc = reinterpret_cast<dealloc_fn*>(
120  
            auto* fn_loc = reinterpret_cast<dealloc_fn*>(
121  
                static_cast<char*>(raw) + padded);
121  
                static_cast<char*>(raw) + padded);
122  
            *fn_loc = &dealloc_impl<byte_alloc>;
122  
            *fn_loc = &dealloc_impl<byte_alloc>;
123  

123  

124  
            new (fn_loc + 1) byte_alloc(std::move(ba));
124  
            new (fn_loc + 1) byte_alloc(std::move(ba));
125  

125  

126  
            return raw;
126  
            return raw;
127  
        }
127  
        }
128  

128  

129  
        static void operator delete(void* ptr, std::size_t size)
129  
        static void operator delete(void* ptr, std::size_t size)
130  
        {
130  
        {
131  
            constexpr auto footer_align =
131  
            constexpr auto footer_align =
132  
                (std::max)(alignof(dealloc_fn), alignof(Alloc));
132  
                (std::max)(alignof(dealloc_fn), alignof(Alloc));
133  
            auto padded = (size + footer_align - 1) & ~(footer_align - 1);
133  
            auto padded = (size + footer_align - 1) & ~(footer_align - 1);
134  
            auto total = padded + sizeof(dealloc_fn) + sizeof(Alloc);
134  
            auto total = padded + sizeof(dealloc_fn) + sizeof(Alloc);
135  

135  

136  
            auto* fn = reinterpret_cast<dealloc_fn*>(
136  
            auto* fn = reinterpret_cast<dealloc_fn*>(
137  
                static_cast<char*>(ptr) + padded);
137  
                static_cast<char*>(ptr) + padded);
138  
            (*fn)(ptr, total);
138  
            (*fn)(ptr, total);
139  
        }
139  
        }
140  

140  

141  
        std::pmr::memory_resource* get_resource() noexcept
141  
        std::pmr::memory_resource* get_resource() noexcept
142  
        {
142  
        {
143  
            return &resource_;
143  
            return &resource_;
144  
        }
144  
        }
145  

145  

146  
        run_async_trampoline get_return_object() noexcept
146  
        run_async_trampoline get_return_object() noexcept
147  
        {
147  
        {
148  
            return run_async_trampoline{
148  
            return run_async_trampoline{
149  
                std::coroutine_handle<promise_type>::from_promise(*this)};
149  
                std::coroutine_handle<promise_type>::from_promise(*this)};
150  
        }
150  
        }
151  

151  

152  
        std::suspend_always initial_suspend() noexcept
152  
        std::suspend_always initial_suspend() noexcept
153  
        {
153  
        {
154  
            return {};
154  
            return {};
155  
        }
155  
        }
156  

156  

157  
        std::suspend_never final_suspend() noexcept
157  
        std::suspend_never final_suspend() noexcept
158  
        {
158  
        {
159  
            return {};
159  
            return {};
160  
        }
160  
        }
161  

161  

162  
        void return_void() noexcept
162  
        void return_void() noexcept
163  
        {
163  
        {
164  
        }
164  
        }
165  

165  

166  
        void unhandled_exception() noexcept
166  
        void unhandled_exception() noexcept
167  
        {
167  
        {
168  
        }
168  
        }
169  
    };
169  
    };
170  

170  

171  
    std::coroutine_handle<promise_type> h_;
171  
    std::coroutine_handle<promise_type> h_;
172  

172  

173  
    template<IoRunnable Task>
173  
    template<IoRunnable Task>
174  
    static void invoke_impl(void* p, Handlers& h)
174  
    static void invoke_impl(void* p, Handlers& h)
175  
    {
175  
    {
176  
        using R = decltype(std::declval<Task&>().await_resume());
176  
        using R = decltype(std::declval<Task&>().await_resume());
177  
        auto& promise = *static_cast<typename Task::promise_type*>(p);
177  
        auto& promise = *static_cast<typename Task::promise_type*>(p);
178  
        if(promise.exception())
178  
        if(promise.exception())
179  
            h(promise.exception());
179  
            h(promise.exception());
180  
        else if constexpr(std::is_void_v<R>)
180  
        else if constexpr(std::is_void_v<R>)
181  
            h();
181  
            h();
182  
        else
182  
        else
183  
            h(std::move(promise.result()));
183  
            h(std::move(promise.result()));
184  
    }
184  
    }
185  
};
185  
};
186  

186  

187  
/** Specialization for memory_resource* - stores pointer directly.
187  
/** Specialization for memory_resource* - stores pointer directly.
188  

188  

189  
    This avoids double indirection when the user passes a memory_resource*.
189  
    This avoids double indirection when the user passes a memory_resource*.
190  
*/
190  
*/
191  
template<class Ex, class Handlers>
191  
template<class Ex, class Handlers>
192  
struct run_async_trampoline<Ex, Handlers, std::pmr::memory_resource*>
192  
struct run_async_trampoline<Ex, Handlers, std::pmr::memory_resource*>
193  
{
193  
{
194  
    using invoke_fn = void(*)(void*, Handlers&);
194  
    using invoke_fn = void(*)(void*, Handlers&);
195  

195  

196  
    struct promise_type
196  
    struct promise_type
197  
    {
197  
    {
198  
        work_guard<Ex> wg_;
198  
        work_guard<Ex> wg_;
199  
        Handlers handlers_;
199  
        Handlers handlers_;
200  
        std::pmr::memory_resource* mr_;
200  
        std::pmr::memory_resource* mr_;
201  
        io_env env_;
201  
        io_env env_;
202  
        invoke_fn invoke_ = nullptr;
202  
        invoke_fn invoke_ = nullptr;
203  
        void* task_promise_ = nullptr;
203  
        void* task_promise_ = nullptr;
204  
        std::coroutine_handle<> task_h_;
204  
        std::coroutine_handle<> task_h_;
205  

205  

206  
        promise_type(
206  
        promise_type(
207  
            Ex& ex, Handlers& h, std::pmr::memory_resource* mr) noexcept
207  
            Ex& ex, Handlers& h, std::pmr::memory_resource* mr) noexcept
208  
            : wg_(std::move(ex))
208  
            : wg_(std::move(ex))
209  
            , handlers_(std::move(h))
209  
            , handlers_(std::move(h))
210  
            , mr_(mr)
210  
            , mr_(mr)
211  
        {
211  
        {
212  
        }
212  
        }
213  

213  

214  
        static void* operator new(
214  
        static void* operator new(
215  
            std::size_t size, Ex const&, Handlers const&,
215  
            std::size_t size, Ex const&, Handlers const&,
216  
            std::pmr::memory_resource* mr)
216  
            std::pmr::memory_resource* mr)
217  
        {
217  
        {
218  
            auto total = size + sizeof(mr);
218  
            auto total = size + sizeof(mr);
219  
            void* raw = mr->allocate(total, alignof(std::max_align_t));
219  
            void* raw = mr->allocate(total, alignof(std::max_align_t));
220  
            std::memcpy(static_cast<char*>(raw) + size, &mr, sizeof(mr));
220  
            std::memcpy(static_cast<char*>(raw) + size, &mr, sizeof(mr));
221  
            return raw;
221  
            return raw;
222  
        }
222  
        }
223  

223  

224  
        static void operator delete(void* ptr, std::size_t size)
224  
        static void operator delete(void* ptr, std::size_t size)
225  
        {
225  
        {
226  
            std::pmr::memory_resource* mr;
226  
            std::pmr::memory_resource* mr;
227  
            std::memcpy(&mr, static_cast<char*>(ptr) + size, sizeof(mr));
227  
            std::memcpy(&mr, static_cast<char*>(ptr) + size, sizeof(mr));
228  
            auto total = size + sizeof(mr);
228  
            auto total = size + sizeof(mr);
229  
            mr->deallocate(ptr, total, alignof(std::max_align_t));
229  
            mr->deallocate(ptr, total, alignof(std::max_align_t));
230  
        }
230  
        }
231  

231  

232  
        std::pmr::memory_resource* get_resource() noexcept
232  
        std::pmr::memory_resource* get_resource() noexcept
233  
        {
233  
        {
234  
            return mr_;
234  
            return mr_;
235  
        }
235  
        }
236  

236  

237  
        run_async_trampoline get_return_object() noexcept
237  
        run_async_trampoline get_return_object() noexcept
238  
        {
238  
        {
239  
            return run_async_trampoline{
239  
            return run_async_trampoline{
240  
                std::coroutine_handle<promise_type>::from_promise(*this)};
240  
                std::coroutine_handle<promise_type>::from_promise(*this)};
241  
        }
241  
        }
242  

242  

243  
        std::suspend_always initial_suspend() noexcept
243  
        std::suspend_always initial_suspend() noexcept
244  
        {
244  
        {
245  
            return {};
245  
            return {};
246  
        }
246  
        }
247  

247  

248  
        std::suspend_never final_suspend() noexcept
248  
        std::suspend_never final_suspend() noexcept
249  
        {
249  
        {
250  
            return {};
250  
            return {};
251  
        }
251  
        }
252  

252  

253  
        void return_void() noexcept
253  
        void return_void() noexcept
254  
        {
254  
        {
255  
        }
255  
        }
256  

256  

257  
        void unhandled_exception() noexcept
257  
        void unhandled_exception() noexcept
258  
        {
258  
        {
259  
        }
259  
        }
260  
    };
260  
    };
261  

261  

262  
    std::coroutine_handle<promise_type> h_;
262  
    std::coroutine_handle<promise_type> h_;
263  

263  

264  
    template<IoRunnable Task>
264  
    template<IoRunnable Task>
265  
    static void invoke_impl(void* p, Handlers& h)
265  
    static void invoke_impl(void* p, Handlers& h)
266  
    {
266  
    {
267  
        using R = decltype(std::declval<Task&>().await_resume());
267  
        using R = decltype(std::declval<Task&>().await_resume());
268  
        auto& promise = *static_cast<typename Task::promise_type*>(p);
268  
        auto& promise = *static_cast<typename Task::promise_type*>(p);
269  
        if(promise.exception())
269  
        if(promise.exception())
270  
            h(promise.exception());
270  
            h(promise.exception());
271  
        else if constexpr(std::is_void_v<R>)
271  
        else if constexpr(std::is_void_v<R>)
272  
            h();
272  
            h();
273  
        else
273  
        else
274  
            h(std::move(promise.result()));
274  
            h(std::move(promise.result()));
275  
    }
275  
    }
276  
};
276  
};
277  

277  

278  
/// Coroutine body for run_async_trampoline - invokes handlers then destroys task.
278  
/// Coroutine body for run_async_trampoline - invokes handlers then destroys task.
279  
template<class Ex, class Handlers, class Alloc>
279  
template<class Ex, class Handlers, class Alloc>
280  
run_async_trampoline<Ex, Handlers, Alloc>
280  
run_async_trampoline<Ex, Handlers, Alloc>
281  
make_trampoline(Ex, Handlers, Alloc)
281  
make_trampoline(Ex, Handlers, Alloc)
282  
{
282  
{
283  
    // promise_type ctor steals the parameters
283  
    // promise_type ctor steals the parameters
284  
    auto& p = co_await get_promise_awaiter<
284  
    auto& p = co_await get_promise_awaiter<
285  
        typename run_async_trampoline<Ex, Handlers, Alloc>::promise_type>{};
285  
        typename run_async_trampoline<Ex, Handlers, Alloc>::promise_type>{};
286  
    
286  
    
287  
    p.invoke_(p.task_promise_, p.handlers_);
287  
    p.invoke_(p.task_promise_, p.handlers_);
288  
    p.task_h_.destroy();
288  
    p.task_h_.destroy();
289  
}
289  
}
290  

290  

291  
} // namespace detail
291  
} // namespace detail
292  

292  

 
293 +
//----------------------------------------------------------
 
294 +
//
 
295 +
// run_async_wrapper
 
296 +
//
 
297 +
//----------------------------------------------------------
 
298 +

293  
/** Wrapper returned by run_async that accepts a task for execution.
299  
/** Wrapper returned by run_async that accepts a task for execution.
294  

300  

295  
    This wrapper holds the run_async_trampoline coroutine, executor, stop token,
301  
    This wrapper holds the run_async_trampoline coroutine, executor, stop token,
296  
    and handlers. The run_async_trampoline is allocated when the wrapper is constructed
302  
    and handlers. The run_async_trampoline is allocated when the wrapper is constructed
297  
    (before the task due to C++17 postfix evaluation order).
303  
    (before the task due to C++17 postfix evaluation order).
298  

304  

299  
    The rvalue ref-qualifier on `operator()` ensures the wrapper can only
305  
    The rvalue ref-qualifier on `operator()` ensures the wrapper can only
300  
    be used as a temporary, preventing misuse that would violate LIFO ordering.
306  
    be used as a temporary, preventing misuse that would violate LIFO ordering.
301  

307  

302  
    @tparam Ex The executor type satisfying the `Executor` concept.
308  
    @tparam Ex The executor type satisfying the `Executor` concept.
303  
    @tparam Handlers The handler type (default_handler or handler_pair).
309  
    @tparam Handlers The handler type (default_handler or handler_pair).
304  
    @tparam Alloc The allocator type (value type or memory_resource*).
310  
    @tparam Alloc The allocator type (value type or memory_resource*).
305  

311  

306  
    @par Thread Safety
312  
    @par Thread Safety
307  
    The wrapper itself should only be used from one thread. The handlers
313  
    The wrapper itself should only be used from one thread. The handlers
308  
    may be invoked from any thread where the executor schedules work.
314  
    may be invoked from any thread where the executor schedules work.
309  

315  

310  
    @par Example
316  
    @par Example
311  
    @code
317  
    @code
312  
    // Correct usage - wrapper is temporary
318  
    // Correct usage - wrapper is temporary
313  
    run_async(ex)(my_task());
319  
    run_async(ex)(my_task());
314  

320  

315  
    // Compile error - cannot call operator() on lvalue
321  
    // Compile error - cannot call operator() on lvalue
316  
    auto w = run_async(ex);
322  
    auto w = run_async(ex);
317  
    w(my_task());  // Error: operator() requires rvalue
323  
    w(my_task());  // Error: operator() requires rvalue
318  
    @endcode
324  
    @endcode
319  

325  

320  
    @see run_async
326  
    @see run_async
321  
*/
327  
*/
322  
template<Executor Ex, class Handlers, class Alloc>
328  
template<Executor Ex, class Handlers, class Alloc>
323  
class [[nodiscard]] run_async_wrapper
329  
class [[nodiscard]] run_async_wrapper
324  
{
330  
{
325  
    detail::run_async_trampoline<Ex, Handlers, Alloc> tr_;
331  
    detail::run_async_trampoline<Ex, Handlers, Alloc> tr_;
326  
    std::stop_token st_;
332  
    std::stop_token st_;
327  
    std::pmr::memory_resource* saved_tls_;
333  
    std::pmr::memory_resource* saved_tls_;
328  

334  

329  
public:
335  
public:
330  
    /// Construct wrapper with executor, stop token, handlers, and allocator.
336  
    /// Construct wrapper with executor, stop token, handlers, and allocator.
331  
    run_async_wrapper(
337  
    run_async_wrapper(
332  
        Ex ex,
338  
        Ex ex,
333  
        std::stop_token st,
339  
        std::stop_token st,
334  
        Handlers h,
340  
        Handlers h,
335  
        Alloc a) noexcept
341  
        Alloc a) noexcept
336  
        : tr_(detail::make_trampoline<Ex, Handlers, Alloc>(
342  
        : tr_(detail::make_trampoline<Ex, Handlers, Alloc>(
337  
            std::move(ex), std::move(h), std::move(a)))
343  
            std::move(ex), std::move(h), std::move(a)))
338  
        , st_(std::move(st))
344  
        , st_(std::move(st))
339  
        , saved_tls_(get_current_frame_allocator())
345  
        , saved_tls_(get_current_frame_allocator())
340  
    {
346  
    {
341  
        if constexpr (!std::is_same_v<Alloc, std::pmr::memory_resource*>)
347  
        if constexpr (!std::is_same_v<Alloc, std::pmr::memory_resource*>)
342  
        {
348  
        {
343  
            static_assert(
349  
            static_assert(
344  
                std::is_nothrow_move_constructible_v<Alloc>,
350  
                std::is_nothrow_move_constructible_v<Alloc>,
345  
                "Allocator must be nothrow move constructible");
351  
                "Allocator must be nothrow move constructible");
346  
        }
352  
        }
347  
        // Set TLS before task argument is evaluated
353  
        // Set TLS before task argument is evaluated
348  
        set_current_frame_allocator(tr_.h_.promise().get_resource());
354  
        set_current_frame_allocator(tr_.h_.promise().get_resource());
349  
    }
355  
    }
350  

356  

351  
    ~run_async_wrapper()
357  
    ~run_async_wrapper()
352  
    {
358  
    {
353  
        // Restore TLS so stale pointer doesn't outlive
359  
        // Restore TLS so stale pointer doesn't outlive
354  
        // the execution context that owns the resource.
360  
        // the execution context that owns the resource.
355  
        set_current_frame_allocator(saved_tls_);
361  
        set_current_frame_allocator(saved_tls_);
356  
    }
362  
    }
357  

363  

358  
    // Non-copyable, non-movable (must be used immediately)
364  
    // Non-copyable, non-movable (must be used immediately)
359  
    run_async_wrapper(run_async_wrapper const&) = delete;
365  
    run_async_wrapper(run_async_wrapper const&) = delete;
360  
    run_async_wrapper(run_async_wrapper&&) = delete;
366  
    run_async_wrapper(run_async_wrapper&&) = delete;
361  
    run_async_wrapper& operator=(run_async_wrapper const&) = delete;
367  
    run_async_wrapper& operator=(run_async_wrapper const&) = delete;
362  
    run_async_wrapper& operator=(run_async_wrapper&&) = delete;
368  
    run_async_wrapper& operator=(run_async_wrapper&&) = delete;
363  

369  

364  
    /** Launch the task for execution.
370  
    /** Launch the task for execution.
365  

371  

366  
        This operator accepts a task and launches it on the executor.
372  
        This operator accepts a task and launches it on the executor.
367  
        The rvalue ref-qualifier ensures the wrapper is consumed, enforcing
373  
        The rvalue ref-qualifier ensures the wrapper is consumed, enforcing
368  
        correct LIFO destruction order.
374  
        correct LIFO destruction order.
369  

375  

370  
        The `io_env` constructed for the task is owned by the trampoline
376  
        The `io_env` constructed for the task is owned by the trampoline
371  
        coroutine and is guaranteed to outlive the task and all awaitables
377  
        coroutine and is guaranteed to outlive the task and all awaitables
372  
        in its chain. Awaitables may store `io_env const*` without concern
378  
        in its chain. Awaitables may store `io_env const*` without concern
373  
        for dangling references.
379  
        for dangling references.
374  

380  

375  
        @tparam Task The IoRunnable type.
381  
        @tparam Task The IoRunnable type.
376  

382  

377  
        @param t The task to execute. Ownership is transferred to the
383  
        @param t The task to execute. Ownership is transferred to the
378  
                 run_async_trampoline which will destroy it after completion.
384  
                 run_async_trampoline which will destroy it after completion.
379  
    */
385  
    */
380  
    template<IoRunnable Task>
386  
    template<IoRunnable Task>
381  
    void operator()(Task t) &&
387  
    void operator()(Task t) &&
382  
    {
388  
    {
383  
        auto task_h = t.handle();
389  
        auto task_h = t.handle();
384  
        auto& task_promise = task_h.promise();
390  
        auto& task_promise = task_h.promise();
385  
        t.release();
391  
        t.release();
386  

392  

387  
        auto& p = tr_.h_.promise();
393  
        auto& p = tr_.h_.promise();
388  

394  

389  
        // Inject Task-specific invoke function
395  
        // Inject Task-specific invoke function
390  
        p.invoke_ = detail::run_async_trampoline<Ex, Handlers, Alloc>::template invoke_impl<Task>;
396  
        p.invoke_ = detail::run_async_trampoline<Ex, Handlers, Alloc>::template invoke_impl<Task>;
391  
        p.task_promise_ = &task_promise;
397  
        p.task_promise_ = &task_promise;
392  
        p.task_h_ = task_h;
398  
        p.task_h_ = task_h;
393  

399  

394  
        // Setup task's continuation to return to run_async_trampoline
400  
        // Setup task's continuation to return to run_async_trampoline
395  
        task_promise.set_continuation(tr_.h_);
401  
        task_promise.set_continuation(tr_.h_);
396  
        p.env_ = {p.wg_.executor(), st_, p.get_resource()};
402  
        p.env_ = {p.wg_.executor(), st_, p.get_resource()};
397  
        task_promise.set_environment(&p.env_);
403  
        task_promise.set_environment(&p.env_);
398  

404  

399  
        // Start task through executor
405  
        // Start task through executor
400  
        p.wg_.executor().dispatch(task_h).resume();
406  
        p.wg_.executor().dispatch(task_h).resume();
401  
    }
407  
    }
402  
};
408  
};
 
409 +

 
410 +
//----------------------------------------------------------
 
411 +
//
 
412 +
// run_async Overloads
 
413 +
//
 
414 +
//----------------------------------------------------------
403  

415  

404  
// Executor only (uses default recycling allocator)
416  
// Executor only (uses default recycling allocator)
405  

417  

406  
/** Asynchronously launch a lazy task on the given executor.
418  
/** Asynchronously launch a lazy task on the given executor.
407  

419  

408  
    Use this to start execution of a `task<T>` that was created lazily.
420  
    Use this to start execution of a `task<T>` that was created lazily.
409  
    The returned wrapper must be immediately invoked with the task;
421  
    The returned wrapper must be immediately invoked with the task;
410  
    storing the wrapper and calling it later violates LIFO ordering.
422  
    storing the wrapper and calling it later violates LIFO ordering.
411  

423  

412  
    Uses the default recycling frame allocator for coroutine frames.
424  
    Uses the default recycling frame allocator for coroutine frames.
413  
    With no handlers, the result is discarded and exceptions are rethrown.
425  
    With no handlers, the result is discarded and exceptions are rethrown.
414  

426  

415  
    @par Thread Safety
427  
    @par Thread Safety
416  
    The wrapper and handlers may be called from any thread where the
428  
    The wrapper and handlers may be called from any thread where the
417  
    executor schedules work.
429  
    executor schedules work.
418  

430  

419  
    @par Example
431  
    @par Example
420  
    @code
432  
    @code
421  
    run_async(ioc.get_executor())(my_task());
433  
    run_async(ioc.get_executor())(my_task());
422  
    @endcode
434  
    @endcode
423  

435  

424  
    @param ex The executor to execute the task on.
436  
    @param ex The executor to execute the task on.
425  

437  

426  
    @return A wrapper that accepts a `task<T>` for immediate execution.
438  
    @return A wrapper that accepts a `task<T>` for immediate execution.
427  

439  

428  
    @see task
440  
    @see task
429  
    @see executor
441  
    @see executor
430  
*/
442  
*/
431  
template<Executor Ex>
443  
template<Executor Ex>
432  
[[nodiscard]] auto
444  
[[nodiscard]] auto
433  
run_async(Ex ex)
445  
run_async(Ex ex)
434  
{
446  
{
435  
    auto* mr = ex.context().get_frame_allocator();
447  
    auto* mr = ex.context().get_frame_allocator();
436  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
448  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
437  
        std::move(ex),
449  
        std::move(ex),
438  
        std::stop_token{},
450  
        std::stop_token{},
439  
        detail::default_handler{},
451  
        detail::default_handler{},
440  
        mr);
452  
        mr);
441  
}
453  
}
442  

454  

443  
/** Asynchronously launch a lazy task with a result handler.
455  
/** Asynchronously launch a lazy task with a result handler.
444  

456  

445  
    The handler `h1` is called with the task's result on success. If `h1`
457  
    The handler `h1` is called with the task's result on success. If `h1`
446  
    is also invocable with `std::exception_ptr`, it handles exceptions too.
458  
    is also invocable with `std::exception_ptr`, it handles exceptions too.
447  
    Otherwise, exceptions are rethrown.
459  
    Otherwise, exceptions are rethrown.
448  

460  

449  
    @par Thread Safety
461  
    @par Thread Safety
450  
    The handler may be called from any thread where the executor
462  
    The handler may be called from any thread where the executor
451  
    schedules work.
463  
    schedules work.
452  

464  

453  
    @par Example
465  
    @par Example
454  
    @code
466  
    @code
455  
    // Handler for result only (exceptions rethrown)
467  
    // Handler for result only (exceptions rethrown)
456  
    run_async(ex, [](int result) {
468  
    run_async(ex, [](int result) {
457  
        std::cout << "Got: " << result << "\n";
469  
        std::cout << "Got: " << result << "\n";
458  
    })(compute_value());
470  
    })(compute_value());
459  

471  

460  
    // Overloaded handler for both result and exception
472  
    // Overloaded handler for both result and exception
461  
    run_async(ex, overloaded{
473  
    run_async(ex, overloaded{
462  
        [](int result) { std::cout << "Got: " << result << "\n"; },
474  
        [](int result) { std::cout << "Got: " << result << "\n"; },
463  
        [](std::exception_ptr) { std::cout << "Failed\n"; }
475  
        [](std::exception_ptr) { std::cout << "Failed\n"; }
464  
    })(compute_value());
476  
    })(compute_value());
465  
    @endcode
477  
    @endcode
466  

478  

467  
    @param ex The executor to execute the task on.
479  
    @param ex The executor to execute the task on.
468  
    @param h1 The handler to invoke with the result (and optionally exception).
480  
    @param h1 The handler to invoke with the result (and optionally exception).
469  

481  

470  
    @return A wrapper that accepts a `task<T>` for immediate execution.
482  
    @return A wrapper that accepts a `task<T>` for immediate execution.
471  

483  

472  
    @see task
484  
    @see task
473  
    @see executor
485  
    @see executor
474  
*/
486  
*/
475  
template<Executor Ex, class H1>
487  
template<Executor Ex, class H1>
476  
[[nodiscard]] auto
488  
[[nodiscard]] auto
477  
run_async(Ex ex, H1 h1)
489  
run_async(Ex ex, H1 h1)
478  
{
490  
{
479  
    auto* mr = ex.context().get_frame_allocator();
491  
    auto* mr = ex.context().get_frame_allocator();
480  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
492  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
481  
        std::move(ex),
493  
        std::move(ex),
482  
        std::stop_token{},
494  
        std::stop_token{},
483  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
495  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
484  
        mr);
496  
        mr);
485  
}
497  
}
486  

498  

487  
/** Asynchronously launch a lazy task with separate result and error handlers.
499  
/** Asynchronously launch a lazy task with separate result and error handlers.
488  

500  

489  
    The handler `h1` is called with the task's result on success.
501  
    The handler `h1` is called with the task's result on success.
490  
    The handler `h2` is called with the exception_ptr on failure.
502  
    The handler `h2` is called with the exception_ptr on failure.
491  

503  

492  
    @par Thread Safety
504  
    @par Thread Safety
493  
    The handlers may be called from any thread where the executor
505  
    The handlers may be called from any thread where the executor
494  
    schedules work.
506  
    schedules work.
495  

507  

496  
    @par Example
508  
    @par Example
497  
    @code
509  
    @code
498  
    run_async(ex,
510  
    run_async(ex,
499  
        [](int result) { std::cout << "Got: " << result << "\n"; },
511  
        [](int result) { std::cout << "Got: " << result << "\n"; },
500  
        [](std::exception_ptr ep) {
512  
        [](std::exception_ptr ep) {
501  
            try { std::rethrow_exception(ep); }
513  
            try { std::rethrow_exception(ep); }
502  
            catch (std::exception const& e) {
514  
            catch (std::exception const& e) {
503  
                std::cout << "Error: " << e.what() << "\n";
515  
                std::cout << "Error: " << e.what() << "\n";
504  
            }
516  
            }
505  
        }
517  
        }
506  
    )(compute_value());
518  
    )(compute_value());
507  
    @endcode
519  
    @endcode
508  

520  

509  
    @param ex The executor to execute the task on.
521  
    @param ex The executor to execute the task on.
510  
    @param h1 The handler to invoke with the result on success.
522  
    @param h1 The handler to invoke with the result on success.
511  
    @param h2 The handler to invoke with the exception on failure.
523  
    @param h2 The handler to invoke with the exception on failure.
512  

524  

513  
    @return A wrapper that accepts a `task<T>` for immediate execution.
525  
    @return A wrapper that accepts a `task<T>` for immediate execution.
514  

526  

515  
    @see task
527  
    @see task
516  
    @see executor
528  
    @see executor
517  
*/
529  
*/
518  
template<Executor Ex, class H1, class H2>
530  
template<Executor Ex, class H1, class H2>
519  
[[nodiscard]] auto
531  
[[nodiscard]] auto
520  
run_async(Ex ex, H1 h1, H2 h2)
532  
run_async(Ex ex, H1 h1, H2 h2)
521  
{
533  
{
522  
    auto* mr = ex.context().get_frame_allocator();
534  
    auto* mr = ex.context().get_frame_allocator();
523  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
535  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
524  
        std::move(ex),
536  
        std::move(ex),
525  
        std::stop_token{},
537  
        std::stop_token{},
526  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
538  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
527  
        mr);
539  
        mr);
528  
}
540  
}
529  

541  

530  
// Ex + stop_token
542  
// Ex + stop_token
531  

543  

532  
/** Asynchronously launch a lazy task with stop token support.
544  
/** Asynchronously launch a lazy task with stop token support.
533  

545  

534  
    The stop token is propagated to the task, enabling cooperative
546  
    The stop token is propagated to the task, enabling cooperative
535  
    cancellation. With no handlers, the result is discarded and
547  
    cancellation. With no handlers, the result is discarded and
536  
    exceptions are rethrown.
548  
    exceptions are rethrown.
537  

549  

538  
    @par Thread Safety
550  
    @par Thread Safety
539  
    The wrapper may be called from any thread where the executor
551  
    The wrapper may be called from any thread where the executor
540  
    schedules work.
552  
    schedules work.
541  

553  

542  
    @par Example
554  
    @par Example
543  
    @code
555  
    @code
544  
    std::stop_source source;
556  
    std::stop_source source;
545  
    run_async(ex, source.get_token())(cancellable_task());
557  
    run_async(ex, source.get_token())(cancellable_task());
546  
    // Later: source.request_stop();
558  
    // Later: source.request_stop();
547  
    @endcode
559  
    @endcode
548  

560  

549  
    @param ex The executor to execute the task on.
561  
    @param ex The executor to execute the task on.
550  
    @param st The stop token for cooperative cancellation.
562  
    @param st The stop token for cooperative cancellation.
551  

563  

552  
    @return A wrapper that accepts a `task<T>` for immediate execution.
564  
    @return A wrapper that accepts a `task<T>` for immediate execution.
553  

565  

554  
    @see task
566  
    @see task
555  
    @see executor
567  
    @see executor
556  
*/
568  
*/
557  
template<Executor Ex>
569  
template<Executor Ex>
558  
[[nodiscard]] auto
570  
[[nodiscard]] auto
559  
run_async(Ex ex, std::stop_token st)
571  
run_async(Ex ex, std::stop_token st)
560  
{
572  
{
561  
    auto* mr = ex.context().get_frame_allocator();
573  
    auto* mr = ex.context().get_frame_allocator();
562  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
574  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
563  
        std::move(ex),
575  
        std::move(ex),
564  
        std::move(st),
576  
        std::move(st),
565  
        detail::default_handler{},
577  
        detail::default_handler{},
566  
        mr);
578  
        mr);
567  
}
579  
}
568  

580  

569  
/** Asynchronously launch a lazy task with stop token and result handler.
581  
/** Asynchronously launch a lazy task with stop token and result handler.
570  

582  

571  
    The stop token is propagated to the task for cooperative cancellation.
583  
    The stop token is propagated to the task for cooperative cancellation.
572  
    The handler `h1` is called with the result on success, and optionally
584  
    The handler `h1` is called with the result on success, and optionally
573  
    with exception_ptr if it accepts that type.
585  
    with exception_ptr if it accepts that type.
574  

586  

575  
    @param ex The executor to execute the task on.
587  
    @param ex The executor to execute the task on.
576  
    @param st The stop token for cooperative cancellation.
588  
    @param st The stop token for cooperative cancellation.
577  
    @param h1 The handler to invoke with the result (and optionally exception).
589  
    @param h1 The handler to invoke with the result (and optionally exception).
578  

590  

579  
    @return A wrapper that accepts a `task<T>` for immediate execution.
591  
    @return A wrapper that accepts a `task<T>` for immediate execution.
580  

592  

581  
    @see task
593  
    @see task
582  
    @see executor
594  
    @see executor
583  
*/
595  
*/
584  
template<Executor Ex, class H1>
596  
template<Executor Ex, class H1>
585  
[[nodiscard]] auto
597  
[[nodiscard]] auto
586  
run_async(Ex ex, std::stop_token st, H1 h1)
598  
run_async(Ex ex, std::stop_token st, H1 h1)
587  
{
599  
{
588  
    auto* mr = ex.context().get_frame_allocator();
600  
    auto* mr = ex.context().get_frame_allocator();
589  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
601  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
590  
        std::move(ex),
602  
        std::move(ex),
591  
        std::move(st),
603  
        std::move(st),
592  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
604  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
593  
        mr);
605  
        mr);
594  
}
606  
}
595  

607  

596  
/** Asynchronously launch a lazy task with stop token and separate handlers.
608  
/** Asynchronously launch a lazy task with stop token and separate handlers.
597  

609  

598  
    The stop token is propagated to the task for cooperative cancellation.
610  
    The stop token is propagated to the task for cooperative cancellation.
599  
    The handler `h1` is called on success, `h2` on failure.
611  
    The handler `h1` is called on success, `h2` on failure.
600  

612  

601  
    @param ex The executor to execute the task on.
613  
    @param ex The executor to execute the task on.
602  
    @param st The stop token for cooperative cancellation.
614  
    @param st The stop token for cooperative cancellation.
603  
    @param h1 The handler to invoke with the result on success.
615  
    @param h1 The handler to invoke with the result on success.
604  
    @param h2 The handler to invoke with the exception on failure.
616  
    @param h2 The handler to invoke with the exception on failure.
605  

617  

606  
    @return A wrapper that accepts a `task<T>` for immediate execution.
618  
    @return A wrapper that accepts a `task<T>` for immediate execution.
607  

619  

608  
    @see task
620  
    @see task
609  
    @see executor
621  
    @see executor
610  
*/
622  
*/
611  
template<Executor Ex, class H1, class H2>
623  
template<Executor Ex, class H1, class H2>
612  
[[nodiscard]] auto
624  
[[nodiscard]] auto
613  
run_async(Ex ex, std::stop_token st, H1 h1, H2 h2)
625  
run_async(Ex ex, std::stop_token st, H1 h1, H2 h2)
614  
{
626  
{
615  
    auto* mr = ex.context().get_frame_allocator();
627  
    auto* mr = ex.context().get_frame_allocator();
616  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
628  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
617  
        std::move(ex),
629  
        std::move(ex),
618  
        std::move(st),
630  
        std::move(st),
619  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
631  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
620  
        mr);
632  
        mr);
621  
}
633  
}
622  

634  

623  
// Ex + memory_resource*
635  
// Ex + memory_resource*
624  

636  

625  
/** Asynchronously launch a lazy task with custom memory resource.
637  
/** Asynchronously launch a lazy task with custom memory resource.
626  

638  

627  
    The memory resource is used for coroutine frame allocation. The caller
639  
    The memory resource is used for coroutine frame allocation. The caller
628  
    is responsible for ensuring the memory resource outlives all tasks.
640  
    is responsible for ensuring the memory resource outlives all tasks.
629  

641  

630  
    @param ex The executor to execute the task on.
642  
    @param ex The executor to execute the task on.
631  
    @param mr The memory resource for frame allocation.
643  
    @param mr The memory resource for frame allocation.
632  

644  

633  
    @return A wrapper that accepts a `task<T>` for immediate execution.
645  
    @return A wrapper that accepts a `task<T>` for immediate execution.
634  

646  

635  
    @see task
647  
    @see task
636  
    @see executor
648  
    @see executor
637  
*/
649  
*/
638  
template<Executor Ex>
650  
template<Executor Ex>
639  
[[nodiscard]] auto
651  
[[nodiscard]] auto
640  
run_async(Ex ex, std::pmr::memory_resource* mr)
652  
run_async(Ex ex, std::pmr::memory_resource* mr)
641  
{
653  
{
642  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
654  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
643  
        std::move(ex),
655  
        std::move(ex),
644  
        std::stop_token{},
656  
        std::stop_token{},
645  
        detail::default_handler{},
657  
        detail::default_handler{},
646  
        mr);
658  
        mr);
647  
}
659  
}
648  

660  

649  
/** Asynchronously launch a lazy task with memory resource and handler.
661  
/** Asynchronously launch a lazy task with memory resource and handler.
650  

662  

651  
    @param ex The executor to execute the task on.
663  
    @param ex The executor to execute the task on.
652  
    @param mr The memory resource for frame allocation.
664  
    @param mr The memory resource for frame allocation.
653  
    @param h1 The handler to invoke with the result (and optionally exception).
665  
    @param h1 The handler to invoke with the result (and optionally exception).
654  

666  

655  
    @return A wrapper that accepts a `task<T>` for immediate execution.
667  
    @return A wrapper that accepts a `task<T>` for immediate execution.
656  

668  

657  
    @see task
669  
    @see task
658  
    @see executor
670  
    @see executor
659  
*/
671  
*/
660  
template<Executor Ex, class H1>
672  
template<Executor Ex, class H1>
661  
[[nodiscard]] auto
673  
[[nodiscard]] auto
662  
run_async(Ex ex, std::pmr::memory_resource* mr, H1 h1)
674  
run_async(Ex ex, std::pmr::memory_resource* mr, H1 h1)
663  
{
675  
{
664  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
676  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
665  
        std::move(ex),
677  
        std::move(ex),
666  
        std::stop_token{},
678  
        std::stop_token{},
667  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
679  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
668  
        mr);
680  
        mr);
669  
}
681  
}
670  

682  

671  
/** Asynchronously launch a lazy task with memory resource and handlers.
683  
/** Asynchronously launch a lazy task with memory resource and handlers.
672  

684  

673  
    @param ex The executor to execute the task on.
685  
    @param ex The executor to execute the task on.
674  
    @param mr The memory resource for frame allocation.
686  
    @param mr The memory resource for frame allocation.
675  
    @param h1 The handler to invoke with the result on success.
687  
    @param h1 The handler to invoke with the result on success.
676  
    @param h2 The handler to invoke with the exception on failure.
688  
    @param h2 The handler to invoke with the exception on failure.
677  

689  

678  
    @return A wrapper that accepts a `task<T>` for immediate execution.
690  
    @return A wrapper that accepts a `task<T>` for immediate execution.
679  

691  

680  
    @see task
692  
    @see task
681  
    @see executor
693  
    @see executor
682  
*/
694  
*/
683  
template<Executor Ex, class H1, class H2>
695  
template<Executor Ex, class H1, class H2>
684  
[[nodiscard]] auto
696  
[[nodiscard]] auto
685  
run_async(Ex ex, std::pmr::memory_resource* mr, H1 h1, H2 h2)
697  
run_async(Ex ex, std::pmr::memory_resource* mr, H1 h1, H2 h2)
686  
{
698  
{
687  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
699  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
688  
        std::move(ex),
700  
        std::move(ex),
689  
        std::stop_token{},
701  
        std::stop_token{},
690  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
702  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
691  
        mr);
703  
        mr);
692  
}
704  
}
693  

705  

694  
// Ex + stop_token + memory_resource*
706  
// Ex + stop_token + memory_resource*
695  

707  

696  
/** Asynchronously launch a lazy task with stop token and memory resource.
708  
/** Asynchronously launch a lazy task with stop token and memory resource.
697  

709  

698  
    @param ex The executor to execute the task on.
710  
    @param ex The executor to execute the task on.
699  
    @param st The stop token for cooperative cancellation.
711  
    @param st The stop token for cooperative cancellation.
700  
    @param mr The memory resource for frame allocation.
712  
    @param mr The memory resource for frame allocation.
701  

713  

702  
    @return A wrapper that accepts a `task<T>` for immediate execution.
714  
    @return A wrapper that accepts a `task<T>` for immediate execution.
703  

715  

704  
    @see task
716  
    @see task
705  
    @see executor
717  
    @see executor
706  
*/
718  
*/
707  
template<Executor Ex>
719  
template<Executor Ex>
708  
[[nodiscard]] auto
720  
[[nodiscard]] auto
709  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr)
721  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr)
710  
{
722  
{
711  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
723  
    return run_async_wrapper<Ex, detail::default_handler, std::pmr::memory_resource*>(
712  
        std::move(ex),
724  
        std::move(ex),
713  
        std::move(st),
725  
        std::move(st),
714  
        detail::default_handler{},
726  
        detail::default_handler{},
715  
        mr);
727  
        mr);
716  
}
728  
}
717  

729  

718  
/** Asynchronously launch a lazy task with stop token, memory resource, and handler.
730  
/** Asynchronously launch a lazy task with stop token, memory resource, and handler.
719  

731  

720  
    @param ex The executor to execute the task on.
732  
    @param ex The executor to execute the task on.
721  
    @param st The stop token for cooperative cancellation.
733  
    @param st The stop token for cooperative cancellation.
722  
    @param mr The memory resource for frame allocation.
734  
    @param mr The memory resource for frame allocation.
723  
    @param h1 The handler to invoke with the result (and optionally exception).
735  
    @param h1 The handler to invoke with the result (and optionally exception).
724  

736  

725  
    @return A wrapper that accepts a `task<T>` for immediate execution.
737  
    @return A wrapper that accepts a `task<T>` for immediate execution.
726  

738  

727  
    @see task
739  
    @see task
728  
    @see executor
740  
    @see executor
729  
*/
741  
*/
730  
template<Executor Ex, class H1>
742  
template<Executor Ex, class H1>
731  
[[nodiscard]] auto
743  
[[nodiscard]] auto
732  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr, H1 h1)
744  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr, H1 h1)
733  
{
745  
{
734  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
746  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, std::pmr::memory_resource*>(
735  
        std::move(ex),
747  
        std::move(ex),
736  
        std::move(st),
748  
        std::move(st),
737  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
749  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
738  
        mr);
750  
        mr);
739  
}
751  
}
740  

752  

741  
/** Asynchronously launch a lazy task with stop token, memory resource, and handlers.
753  
/** Asynchronously launch a lazy task with stop token, memory resource, and handlers.
742  

754  

743  
    @param ex The executor to execute the task on.
755  
    @param ex The executor to execute the task on.
744  
    @param st The stop token for cooperative cancellation.
756  
    @param st The stop token for cooperative cancellation.
745  
    @param mr The memory resource for frame allocation.
757  
    @param mr The memory resource for frame allocation.
746  
    @param h1 The handler to invoke with the result on success.
758  
    @param h1 The handler to invoke with the result on success.
747  
    @param h2 The handler to invoke with the exception on failure.
759  
    @param h2 The handler to invoke with the exception on failure.
748  

760  

749  
    @return A wrapper that accepts a `task<T>` for immediate execution.
761  
    @return A wrapper that accepts a `task<T>` for immediate execution.
750  

762  

751  
    @see task
763  
    @see task
752  
    @see executor
764  
    @see executor
753  
*/
765  
*/
754  
template<Executor Ex, class H1, class H2>
766  
template<Executor Ex, class H1, class H2>
755  
[[nodiscard]] auto
767  
[[nodiscard]] auto
756  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr, H1 h1, H2 h2)
768  
run_async(Ex ex, std::stop_token st, std::pmr::memory_resource* mr, H1 h1, H2 h2)
757  
{
769  
{
758  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
770  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, std::pmr::memory_resource*>(
759  
        std::move(ex),
771  
        std::move(ex),
760  
        std::move(st),
772  
        std::move(st),
761  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
773  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
762  
        mr);
774  
        mr);
763  
}
775  
}
764  

776  

765  
// Ex + standard Allocator (value type)
777  
// Ex + standard Allocator (value type)
766  

778  

767  
/** Asynchronously launch a lazy task with custom allocator.
779  
/** Asynchronously launch a lazy task with custom allocator.
768  

780  

769  
    The allocator is wrapped in a frame_memory_resource and stored in the
781  
    The allocator is wrapped in a frame_memory_resource and stored in the
770  
    run_async_trampoline, ensuring it outlives all coroutine frames.
782  
    run_async_trampoline, ensuring it outlives all coroutine frames.
771  

783  

772  
    @param ex The executor to execute the task on.
784  
    @param ex The executor to execute the task on.
773  
    @param alloc The allocator for frame allocation (copied and stored).
785  
    @param alloc The allocator for frame allocation (copied and stored).
774  

786  

775  
    @return A wrapper that accepts a `task<T>` for immediate execution.
787  
    @return A wrapper that accepts a `task<T>` for immediate execution.
776  

788  

777  
    @see task
789  
    @see task
778  
    @see executor
790  
    @see executor
779  
*/
791  
*/
780  
template<Executor Ex, detail::Allocator Alloc>
792  
template<Executor Ex, detail::Allocator Alloc>
781  
[[nodiscard]] auto
793  
[[nodiscard]] auto
782  
run_async(Ex ex, Alloc alloc)
794  
run_async(Ex ex, Alloc alloc)
783  
{
795  
{
784  
    return run_async_wrapper<Ex, detail::default_handler, Alloc>(
796  
    return run_async_wrapper<Ex, detail::default_handler, Alloc>(
785  
        std::move(ex),
797  
        std::move(ex),
786  
        std::stop_token{},
798  
        std::stop_token{},
787  
        detail::default_handler{},
799  
        detail::default_handler{},
788  
        std::move(alloc));
800  
        std::move(alloc));
789  
}
801  
}
790  

802  

791  
/** Asynchronously launch a lazy task with allocator and handler.
803  
/** Asynchronously launch a lazy task with allocator and handler.
792  

804  

793  
    @param ex The executor to execute the task on.
805  
    @param ex The executor to execute the task on.
794  
    @param alloc The allocator for frame allocation (copied and stored).
806  
    @param alloc The allocator for frame allocation (copied and stored).
795  
    @param h1 The handler to invoke with the result (and optionally exception).
807  
    @param h1 The handler to invoke with the result (and optionally exception).
796  

808  

797  
    @return A wrapper that accepts a `task<T>` for immediate execution.
809  
    @return A wrapper that accepts a `task<T>` for immediate execution.
798  

810  

799  
    @see task
811  
    @see task
800  
    @see executor
812  
    @see executor
801  
*/
813  
*/
802  
template<Executor Ex, detail::Allocator Alloc, class H1>
814  
template<Executor Ex, detail::Allocator Alloc, class H1>
803  
[[nodiscard]] auto
815  
[[nodiscard]] auto
804  
run_async(Ex ex, Alloc alloc, H1 h1)
816  
run_async(Ex ex, Alloc alloc, H1 h1)
805  
{
817  
{
806  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, Alloc>(
818  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, Alloc>(
807  
        std::move(ex),
819  
        std::move(ex),
808  
        std::stop_token{},
820  
        std::stop_token{},
809  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
821  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
810  
        std::move(alloc));
822  
        std::move(alloc));
811  
}
823  
}
812  

824  

813  
/** Asynchronously launch a lazy task with allocator and handlers.
825  
/** Asynchronously launch a lazy task with allocator and handlers.
814  

826  

815  
    @param ex The executor to execute the task on.
827  
    @param ex The executor to execute the task on.
816  
    @param alloc The allocator for frame allocation (copied and stored).
828  
    @param alloc The allocator for frame allocation (copied and stored).
817  
    @param h1 The handler to invoke with the result on success.
829  
    @param h1 The handler to invoke with the result on success.
818  
    @param h2 The handler to invoke with the exception on failure.
830  
    @param h2 The handler to invoke with the exception on failure.
819  

831  

820  
    @return A wrapper that accepts a `task<T>` for immediate execution.
832  
    @return A wrapper that accepts a `task<T>` for immediate execution.
821  

833  

822  
    @see task
834  
    @see task
823  
    @see executor
835  
    @see executor
824  
*/
836  
*/
825  
template<Executor Ex, detail::Allocator Alloc, class H1, class H2>
837  
template<Executor Ex, detail::Allocator Alloc, class H1, class H2>
826  
[[nodiscard]] auto
838  
[[nodiscard]] auto
827  
run_async(Ex ex, Alloc alloc, H1 h1, H2 h2)
839  
run_async(Ex ex, Alloc alloc, H1 h1, H2 h2)
828  
{
840  
{
829  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, Alloc>(
841  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, Alloc>(
830  
        std::move(ex),
842  
        std::move(ex),
831  
        std::stop_token{},
843  
        std::stop_token{},
832  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
844  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
833  
        std::move(alloc));
845  
        std::move(alloc));
834  
}
846  
}
835  

847  

836  
// Ex + stop_token + standard Allocator
848  
// Ex + stop_token + standard Allocator
837  

849  

838  
/** Asynchronously launch a lazy task with stop token and allocator.
850  
/** Asynchronously launch a lazy task with stop token and allocator.
839  

851  

840  
    @param ex The executor to execute the task on.
852  
    @param ex The executor to execute the task on.
841  
    @param st The stop token for cooperative cancellation.
853  
    @param st The stop token for cooperative cancellation.
842  
    @param alloc The allocator for frame allocation (copied and stored).
854  
    @param alloc The allocator for frame allocation (copied and stored).
843  

855  

844  
    @return A wrapper that accepts a `task<T>` for immediate execution.
856  
    @return A wrapper that accepts a `task<T>` for immediate execution.
845  

857  

846  
    @see task
858  
    @see task
847  
    @see executor
859  
    @see executor
848  
*/
860  
*/
849  
template<Executor Ex, detail::Allocator Alloc>
861  
template<Executor Ex, detail::Allocator Alloc>
850  
[[nodiscard]] auto
862  
[[nodiscard]] auto
851  
run_async(Ex ex, std::stop_token st, Alloc alloc)
863  
run_async(Ex ex, std::stop_token st, Alloc alloc)
852  
{
864  
{
853  
    return run_async_wrapper<Ex, detail::default_handler, Alloc>(
865  
    return run_async_wrapper<Ex, detail::default_handler, Alloc>(
854  
        std::move(ex),
866  
        std::move(ex),
855  
        std::move(st),
867  
        std::move(st),
856  
        detail::default_handler{},
868  
        detail::default_handler{},
857  
        std::move(alloc));
869  
        std::move(alloc));
858  
}
870  
}
859  

871  

860  
/** Asynchronously launch a lazy task with stop token, allocator, and handler.
872  
/** Asynchronously launch a lazy task with stop token, allocator, and handler.
861  

873  

862  
    @param ex The executor to execute the task on.
874  
    @param ex The executor to execute the task on.
863  
    @param st The stop token for cooperative cancellation.
875  
    @param st The stop token for cooperative cancellation.
864  
    @param alloc The allocator for frame allocation (copied and stored).
876  
    @param alloc The allocator for frame allocation (copied and stored).
865  
    @param h1 The handler to invoke with the result (and optionally exception).
877  
    @param h1 The handler to invoke with the result (and optionally exception).
866  

878  

867  
    @return A wrapper that accepts a `task<T>` for immediate execution.
879  
    @return A wrapper that accepts a `task<T>` for immediate execution.
868  

880  

869  
    @see task
881  
    @see task
870  
    @see executor
882  
    @see executor
871  
*/
883  
*/
872  
template<Executor Ex, detail::Allocator Alloc, class H1>
884  
template<Executor Ex, detail::Allocator Alloc, class H1>
873  
[[nodiscard]] auto
885  
[[nodiscard]] auto
874  
run_async(Ex ex, std::stop_token st, Alloc alloc, H1 h1)
886  
run_async(Ex ex, std::stop_token st, Alloc alloc, H1 h1)
875  
{
887  
{
876  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, Alloc>(
888  
    return run_async_wrapper<Ex, detail::handler_pair<H1, detail::default_handler>, Alloc>(
877  
        std::move(ex),
889  
        std::move(ex),
878  
        std::move(st),
890  
        std::move(st),
879  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
891  
        detail::handler_pair<H1, detail::default_handler>{std::move(h1)},
880  
        std::move(alloc));
892  
        std::move(alloc));
881  
}
893  
}
882  

894  

883  
/** Asynchronously launch a lazy task with stop token, allocator, and handlers.
895  
/** Asynchronously launch a lazy task with stop token, allocator, and handlers.
884  

896  

885  
    @param ex The executor to execute the task on.
897  
    @param ex The executor to execute the task on.
886  
    @param st The stop token for cooperative cancellation.
898  
    @param st The stop token for cooperative cancellation.
887  
    @param alloc The allocator for frame allocation (copied and stored).
899  
    @param alloc The allocator for frame allocation (copied and stored).
888  
    @param h1 The handler to invoke with the result on success.
900  
    @param h1 The handler to invoke with the result on success.
889  
    @param h2 The handler to invoke with the exception on failure.
901  
    @param h2 The handler to invoke with the exception on failure.
890  

902  

891  
    @return A wrapper that accepts a `task<T>` for immediate execution.
903  
    @return A wrapper that accepts a `task<T>` for immediate execution.
892  

904  

893  
    @see task
905  
    @see task
894  
    @see executor
906  
    @see executor
895  
*/
907  
*/
896  
template<Executor Ex, detail::Allocator Alloc, class H1, class H2>
908  
template<Executor Ex, detail::Allocator Alloc, class H1, class H2>
897  
[[nodiscard]] auto
909  
[[nodiscard]] auto
898  
run_async(Ex ex, std::stop_token st, Alloc alloc, H1 h1, H2 h2)
910  
run_async(Ex ex, std::stop_token st, Alloc alloc, H1 h1, H2 h2)
899  
{
911  
{
900  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, Alloc>(
912  
    return run_async_wrapper<Ex, detail::handler_pair<H1, H2>, Alloc>(
901  
        std::move(ex),
913  
        std::move(ex),
902  
        std::move(st),
914  
        std::move(st),
903  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
915  
        detail::handler_pair<H1, H2>{std::move(h1), std::move(h2)},
904  
        std::move(alloc));
916  
        std::move(alloc));
905  
}
917  
}
906  

918  

907  
} // namespace capy
919  
} // namespace capy
908  
} // namespace boost
920  
} // namespace boost
909  

921  

910  
#endif
922  
#endif