Clio  develop
The XRP Ledger API server.
Loading...
Searching...
No Matches
AnyStrand.hpp
1//------------------------------------------------------------------------------
2/*
3 This file is part of clio: https://github.com/XRPLF/clio
4 Copyright (c) 2024, the clio developers.
5
6 Permission to use, copy, modify, and distribute this software for any
7 purpose with or without fee is hereby granted, provided that the above
8 copyright notice and this permission notice appear in all copies.
9
10 THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17*/
18//==============================================================================
19
20#pragma once
21
22#include "util/async/AnyOperation.hpp"
23#include "util/async/AnyStopToken.hpp"
24#include "util/async/Concepts.hpp"
25#include "util/async/impl/ErasedOperation.hpp"
26
27#include <any>
28#include <chrono>
29#include <functional>
30#include <memory>
31#include <optional>
32#include <type_traits>
33#include <utility>
34
35namespace util::async {
36
40class AnyStrand {
41public:
48 template <NotSameAs<AnyStrand> StrandType>
49 /* implicit */ AnyStrand(StrandType&& strand)
50 : pimpl_{std::make_shared<Model<StrandType>>(std::forward<StrandType>(strand))}
51 {
52 }
53
54 AnyStrand(AnyStrand const&) = default;
55 AnyStrand(AnyStrand&&) = default;
56 ~AnyStrand() = default;
57
64 [[nodiscard]] auto
66 {
67 using RetType = std::decay_t<std::invoke_result_t<decltype(fn)>>;
68 static_assert(not std::is_same_v<RetType, std::any>);
69
70 return AnyOperation<RetType>( //
71 pimpl_->execute([fn = std::forward<decltype(fn)>(fn)] mutable -> std::any {
72 if constexpr (std::is_void_v<RetType>) {
73 std::invoke(std::forward<decltype(fn)>(fn));
74 return {};
75 } else {
76 return std::make_any<RetType>(std::invoke(std::forward<decltype(fn)>(fn)));
77 }
78 })
79 );
80 }
81
88 [[nodiscard]] auto
90 {
91 using RetType = std::decay_t<std::invoke_result_t<decltype(fn), AnyStopToken>>;
92 static_assert(not std::is_same_v<RetType, std::any>);
93
94 return AnyOperation<RetType>( //
95 pimpl_->execute([fn = std::forward<decltype(fn)>(fn)](auto stopToken) mutable -> std::any {
96 if constexpr (std::is_void_v<RetType>) {
97 std::invoke(std::forward<decltype(fn)>(fn), std::move(stopToken));
98 return {};
99 } else {
100 return std::make_any<RetType>(std::invoke(std::forward<decltype(fn)>(fn), std::move(stopToken)));
101 }
102 })
103 );
104 }
105
113 [[nodiscard]] auto
115 {
116 using RetType = std::decay_t<std::invoke_result_t<decltype(fn), AnyStopToken>>;
117 static_assert(not std::is_same_v<RetType, std::any>);
118
119 return AnyOperation<RetType>( //
120 pimpl_->execute(
121 [fn = std::forward<decltype(fn)>(fn)](auto stopToken) mutable -> std::any {
122 if constexpr (std::is_void_v<RetType>) {
123 std::invoke(std::forward<decltype(fn)>(fn), std::move(stopToken));
124 return {};
125 } else {
126 return std::make_any<RetType>(
127 std::invoke(std::forward<decltype(fn)>(fn), std::move(stopToken))
128 );
129 }
130 },
131 std::chrono::duration_cast<std::chrono::milliseconds>(timeout)
132 )
133 );
134 }
135
143 [[nodiscard]] auto
145 {
146 using RetType = std::decay_t<std::invoke_result_t<decltype(fn)>>;
147 static_assert(not std::is_same_v<RetType, std::any>);
148
149 auto const millis = std::chrono::duration_cast<std::chrono::milliseconds>(interval);
150 return AnyOperation<RetType>( //
151 pimpl_->executeRepeatedly(millis, [fn = std::forward<decltype(fn)>(fn)] mutable -> std::any {
152 std::invoke(std::forward<decltype(fn)>(fn));
153 return {};
154 })
155 );
156 }
157
164 void
166 {
167 pimpl_->submit(std::forward<decltype(fn)>(fn));
168 }
169
170private:
171 struct Concept {
172 virtual ~Concept() = default;
173
174 [[nodiscard]] virtual impl::ErasedOperation
175 execute(
176 std::function<std::any(AnyStopToken)>,
177 std::optional<std::chrono::milliseconds> timeout = std::nullopt
178 ) = 0;
179 [[nodiscard]] virtual impl::ErasedOperation execute(std::function<std::any()>) = 0;
180 [[nodiscard]] virtual impl::ErasedOperation
181 executeRepeatedly(std::chrono::milliseconds, std::function<std::any()>) = 0;
182 virtual void submit(std::function<void()>) = 0;
183 };
184
185 template <typename StrandType>
186 struct Model : Concept {
187 StrandType strand;
188
189 template <typename SType>
190 requires std::is_same_v<SType, StrandType>
191 Model(SType&& strand) : strand{std::forward<SType>(strand)}
192 {
193 }
194
195 [[nodiscard]] impl::ErasedOperation
196 execute(std::function<std::any(AnyStopToken)> fn, std::optional<std::chrono::milliseconds> timeout) override
197 {
198 return strand.execute(std::move(fn), timeout);
199 }
200
201 [[nodiscard]] impl::ErasedOperation
202 execute(std::function<std::any()> fn) override
203 {
204 return strand.execute(std::move(fn));
205 }
206
207 impl::ErasedOperation
208 executeRepeatedly(std::chrono::milliseconds interval, std::function<std::any()> fn) override
209 {
210 return strand.executeRepeatedly(interval, std::move(fn));
211 }
212
213 void
214 submit(std::function<void()> fn) override
215 {
216 return strand.submit(std::move(fn));
217 }
218 };
219
220private:
221 std::shared_ptr<Concept> pimpl_;
222};
223
224} // namespace util::async
A type-erased operation that can be executed via AnyExecutionContext.
Definition AnyOperation.hpp:44
A type-erased stop token.
Definition AnyStopToken.hpp:37
A type-erased execution context.
Definition AnyStrand.hpp:40
auto executeRepeatedly(SomeStdDuration auto interval, SomeHandlerWithoutStopToken auto &&fn)
Schedule a repeating operation on the execution context.
Definition AnyStrand.hpp:144
void submit(SomeHandlerWithoutStopToken auto &&fn)
Schedule an operation on the execution context without expectations of a result.
Definition AnyStrand.hpp:165
AnyStrand(StrandType &&strand)
Construct a new Any Strand object.
Definition AnyStrand.hpp:49
auto execute(SomeHandlerWithoutStopToken auto &&fn)
Execute a function without a stop token on the strand.
Definition AnyStrand.hpp:65
auto execute(SomeHandlerWith< AnyStopToken > auto &&fn)
Execute a function taking a stop token on the strand.
Definition AnyStrand.hpp:89
auto execute(SomeHandlerWith< AnyStopToken > auto &&fn, SomeStdDuration auto timeout)
Execute a function taking a stop token on the strand with a timeout.
Definition AnyStrand.hpp:114
Definition ErasedOperation.hpp:34
Specifies the interface for a handler that can be invoked with the specified args.
Definition Concepts.hpp:162
Specifies the interface for a handler that can be stopped.
Definition Concepts.hpp:154
Specifies that the type must be some std::duration.
Definition Concepts.hpp:170
This namespace implements an async framework built on top of execution contexts.
Definition AnyExecutionContext.hpp:36