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<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)]() -> std::any {
72 if constexpr (std::is_void_v<RetType>) {
73 fn();
74 return {};
75 } else {
76 return std::make_any<RetType>(fn());
77 }
78 })
79 );
80 }
81
88 [[nodiscard]] auto
90 {
91 using RetType = std::decay_t<decltype(fn(std::declval<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) -> std::any {
96 if constexpr (std::is_void_v<RetType>) {
97 fn(std::move(stopToken));
98 return {};
99 } else {
100 return std::make_any<RetType>(fn(std::move(stopToken)));
101 }
102 })
103 );
104 }
105
113 [[nodiscard]] auto
115 {
116 using RetType = std::decay_t<decltype(fn(std::declval<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) -> std::any {
122 if constexpr (std::is_void_v<RetType>) {
123 fn(std::move(stopToken));
124 return {};
125 } else {
126 return std::make_any<RetType>(fn(std::move(stopToken)));
127 }
128 },
129 std::chrono::duration_cast<std::chrono::milliseconds>(timeout)
130 )
131 );
132 }
133
141 [[nodiscard]] auto
143 {
144 using RetType = std::decay_t<decltype(fn())>;
145 static_assert(not std::is_same_v<RetType, std::any>);
146
147 auto const millis = std::chrono::duration_cast<std::chrono::milliseconds>(interval);
148 return AnyOperation<RetType>( //
149 pimpl_->executeRepeatedly(
150 millis,
151 [fn = std::forward<decltype(fn)>(fn)] -> std::any {
152 fn();
153 return {};
154 }
155 )
156 );
157 }
158
159private:
160 struct Concept {
161 virtual ~Concept() = default;
162
163 [[nodiscard]] virtual impl::ErasedOperation
164 execute(
165 std::function<std::any(AnyStopToken)>,
166 std::optional<std::chrono::milliseconds> timeout = std::nullopt
167 ) = 0;
168 [[nodiscard]] virtual impl::ErasedOperation execute(std::function<std::any()>) = 0;
169 [[nodiscard]] virtual impl::ErasedOperation
170 executeRepeatedly(std::chrono::milliseconds, std::function<std::any()>) = 0;
171 };
172
173 template <typename StrandType>
174 struct Model : Concept {
175 StrandType strand;
176
177 template <typename SType>
178 requires std::is_same_v<SType, StrandType>
179 Model(SType&& strand) : strand{std::forward<SType>(strand)}
180 {
181 }
182
183 [[nodiscard]] impl::ErasedOperation
184 execute(std::function<std::any(AnyStopToken)> fn, std::optional<std::chrono::milliseconds> timeout) override
185 {
186 return strand.execute(std::move(fn), timeout);
187 }
188
189 [[nodiscard]] impl::ErasedOperation
190 execute(std::function<std::any()> fn) override
191 {
192 return strand.execute(std::move(fn));
193 }
194
195 impl::ErasedOperation
196 executeRepeatedly(std::chrono::milliseconds interval, std::function<std::any()> fn) override
197 {
198 return strand.executeRepeatedly(interval, std::move(fn));
199 }
200 };
201
202private:
203 std::shared_ptr<Concept> pimpl_;
204};
205
206} // namespace util::async
A type-erased operation that can be executed via AnyExecutionContext.
Definition AnyOperation.hpp:44
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:142
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
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