]> git.proxmox.com Git - ceph.git/blame - ceph/src/boost/boost/context/continuation_winfib.hpp
import new upstream nautilus stable release 14.2.8
[ceph.git] / ceph / src / boost / boost / context / continuation_winfib.hpp
CommitLineData
b32b8144
FG
1
2// Copyright Oliver Kowalke 2017.
3// Distributed under the Boost Software License, Version 1.0.
4// (See accompanying file LICENSE_1_0.txt or copy at
5// http://www.boost.org/LICENSE_1_0.txt)
6
7#ifndef BOOST_CONTEXT_CONTINUATION_H
8#define BOOST_CONTEXT_CONTINUATION_H
9
10#include <windows.h>
11
12#include <boost/context/detail/config.hpp>
13
14#include <algorithm>
15#include <cstddef>
16#include <cstdint>
17#include <cstdlib>
18#include <cstring>
19#include <functional>
20#include <memory>
21#include <ostream>
22#include <system_error>
23#include <tuple>
24#include <utility>
25
26#include <boost/assert.hpp>
27#include <boost/config.hpp>
28
29#include <boost/context/detail/disable_overload.hpp>
30#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
31#include <boost/context/detail/exchange.hpp>
32#endif
33#if defined(BOOST_NO_CXX17_STD_INVOKE)
34#include <boost/context/detail/invoke.hpp>
35#endif
36#include <boost/context/fixedsize_stack.hpp>
37#include <boost/context/flags.hpp>
38#include <boost/context/preallocated.hpp>
39#include <boost/context/stack_context.hpp>
40
41#ifdef BOOST_HAS_ABI_HEADERS
42# include BOOST_ABI_PREFIX
43#endif
44
45#if defined(BOOST_MSVC)
46# pragma warning(push)
47# pragma warning(disable: 4702)
48#endif
49
50namespace boost {
51namespace context {
52namespace detail {
53
54// tampoline function
55// entered if the execution context
56// is resumed for the first time
57template< typename Record >
58static VOID WINAPI entry_func( LPVOID data) noexcept {
59 Record * record = static_cast< Record * >( data);
60 BOOST_ASSERT( nullptr != record);
61 // start execution of toplevel context-function
62 record->run();
63}
64
65struct BOOST_CONTEXT_DECL activation_record {
66 LPVOID fiber{ nullptr };
67 stack_context sctx{};
68 bool main_ctx{ true };
69 activation_record * from{ nullptr };
70 std::function< activation_record*(activation_record*&) > ontop{};
71 bool terminated{ false };
72 bool force_unwind{ false };
73
74 static activation_record *& current() noexcept;
75
76 // used for toplevel-context
77 // (e.g. main context, thread-entry context)
78 activation_record() noexcept {
79#if ( _WIN32_WINNT > 0x0600)
80 if ( ::IsThreadAFiber() ) {
81 fiber = ::GetCurrentFiber();
82 } else {
83 fiber = ::ConvertThreadToFiber( nullptr);
84 }
85#else
86 fiber = ::ConvertThreadToFiber( nullptr);
87 if ( BOOST_UNLIKELY( nullptr == fiber) ) {
88 DWORD err = ::GetLastError();
89 BOOST_ASSERT( ERROR_ALREADY_FIBER == err);
90 fiber = ::GetCurrentFiber();
91 BOOST_ASSERT( nullptr != fiber);
92 BOOST_ASSERT( reinterpret_cast< LPVOID >( 0x1E00) != fiber);
93 }
94#endif
95 }
96
97 activation_record( stack_context sctx_) noexcept :
98 sctx{ sctx_ },
99 main_ctx{ false } {
100 }
101
102 virtual ~activation_record() {
103 if ( BOOST_UNLIKELY( main_ctx) ) {
104 ::ConvertFiberToThread();
105 } else {
106 ::DeleteFiber( fiber);
107 }
108 }
109
110 activation_record( activation_record const&) = delete;
111 activation_record & operator=( activation_record const&) = delete;
112
113 bool is_main_context() const noexcept {
114 return main_ctx;
115 }
116
117 activation_record * resume() {
118 from = current();
119 // store `this` in static, thread local pointer
120 // `this` will become the active (running) context
121 current() = this;
122 // context switch from parent context to `this`-context
123 // context switch
124 ::SwitchToFiber( fiber);
125#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
126 return detail::exchange( current()->from, nullptr);
127#else
128 return std::exchange( current()->from, nullptr);
129#endif
130 }
131
132 template< typename Ctx, typename Fn >
133 activation_record * resume_with( Fn && fn) {
134 from = current();
135 // store `this` in static, thread local pointer
136 // `this` will become the active (running) context
137 // returned by continuation::current()
138 current() = this;
139#if defined(BOOST_NO_CXX14_GENERIC_LAMBDAS)
140 current()->ontop = std::bind(
141 [](typename std::decay< Fn >::type & fn, activation_record *& ptr){
142 Ctx c{ ptr };
143 c = fn( std::move( c) );
144 if ( ! c) {
145 ptr = nullptr;
146 }
147#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
148 return exchange( c.ptr_, nullptr);
149#else
150 return std::exchange( c.ptr_, nullptr);
151#endif
152 },
153 std::forward< Fn >( fn),
154 std::placeholders::_1);
155#else
156 current()->ontop = [fn=std::forward<Fn>(fn)](activation_record *& ptr){
157 Ctx c{ ptr };
158 c = fn( std::move( c) );
159 if ( ! c) {
160 ptr = nullptr;
161 }
162#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
163 return exchange( c.ptr_, nullptr);
164#else
165 return std::exchange( c.ptr_, nullptr);
166#endif
167 };
168#endif
169 // context switch
170 ::SwitchToFiber( fiber);
171#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
172 return detail::exchange( current()->from, nullptr);
173#else
174 return std::exchange( current()->from, nullptr);
175#endif
176 }
177
178 virtual void deallocate() noexcept {
179 }
180};
181
182struct BOOST_CONTEXT_DECL activation_record_initializer {
183 activation_record_initializer() noexcept;
184 ~activation_record_initializer();
185};
186
187struct forced_unwind {
92f5a8d4
TL
188 activation_record * from{ nullptr };
189#ifndef BOOST_ASSERT_IS_VOID
190 bool caught{ false };
191#endif
b32b8144
FG
192
193 explicit forced_unwind( activation_record * from_) :
194 from{ from_ } {
195 }
92f5a8d4
TL
196
197#ifndef BOOST_ASSERT_IS_VOID
198 ~forced_unwind() {
199 BOOST_ASSERT( caught);
200 }
201#endif
b32b8144
FG
202};
203
204template< typename Ctx, typename StackAlloc, typename Fn >
205class capture_record : public activation_record {
206private:
207 typename std::decay< StackAlloc >::type salloc_;
208 typename std::decay< Fn >::type fn_;
209
210 static void destroy( capture_record * p) noexcept {
211 typename std::decay< StackAlloc >::type salloc = std::move( p->salloc_);
212 stack_context sctx = p->sctx;
213 // deallocate activation record
214 p->~capture_record();
215 // destroy stack with stack allocator
216 salloc.deallocate( sctx);
217 }
218
219public:
220 capture_record( stack_context sctx, StackAlloc && salloc, Fn && fn) noexcept :
221 activation_record( sctx),
222 salloc_( std::forward< StackAlloc >( salloc)),
223 fn_( std::forward< Fn >( fn) ) {
224 }
225
226 void deallocate() noexcept override final {
227 BOOST_ASSERT( main_ctx || ( ! main_ctx && terminated) );
228 destroy( this);
229 }
230
231 void run() {
232 Ctx c{ from };
233 try {
234 // invoke context-function
235#if defined(BOOST_NO_CXX17_STD_INVOKE)
11fdf7f2 236 c = boost::context::detail::invoke( fn_, std::move( c) );
b32b8144
FG
237#else
238 c = std::invoke( fn_, std::move( c) );
239#endif
240 } catch ( forced_unwind const& ex) {
241 c = Ctx{ ex.from };
92f5a8d4
TL
242#ifndef BOOST_ASSERT_IS_VOID
243 const_cast< forced_unwind & >( ex).caught = true;
244#endif
b32b8144
FG
245 }
246 // this context has finished its task
247 from = nullptr;
248 ontop = nullptr;
249 terminated = true;
250 force_unwind = false;
251 c.resume();
252 BOOST_ASSERT_MSG( false, "continuation already terminated");
253 }
254};
255
256template< typename Ctx, typename StackAlloc, typename Fn >
257static activation_record * create_context1( StackAlloc && salloc, Fn && fn) {
258 typedef capture_record< Ctx, StackAlloc, Fn > capture_t;
259
260 auto sctx = salloc.allocate();
261 BOOST_ASSERT( ( sizeof( capture_t) ) < sctx.size);
262 // reserve space for control structure
263 void * storage = reinterpret_cast< void * >(
264 ( reinterpret_cast< uintptr_t >( sctx.sp) - static_cast< uintptr_t >( sizeof( capture_t) ) )
265 & ~ static_cast< uintptr_t >( 0xff) );
266 // placment new for control structure on context stack
267 capture_t * record = new ( storage) capture_t{
268 sctx, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) };
269 // create user-context
270 record->fiber = ::CreateFiber( sctx.size, & detail::entry_func< capture_t >, record);
271 return record;
272}
273
274template< typename Ctx, typename StackAlloc, typename Fn >
275static activation_record * create_context2( preallocated palloc, StackAlloc && salloc, Fn && fn) {
276 typedef capture_record< Ctx, StackAlloc, Fn > capture_t;
277
278 BOOST_ASSERT( ( sizeof( capture_t) ) < palloc.size);
279 // reserve space for control structure
280 void * storage = reinterpret_cast< void * >(
281 ( reinterpret_cast< uintptr_t >( palloc.sp) - static_cast< uintptr_t >( sizeof( capture_t) ) )
282 & ~ static_cast< uintptr_t >( 0xff) );
283 // placment new for control structure on context stack
284 capture_t * record = new ( storage) capture_t{
285 palloc.sctx, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) };
286 // create user-context
287 record->fiber = ::CreateFiber( palloc.sctx.size, & detail::entry_func< capture_t >, record);
288 return record;
289}
290
291}
292
293class BOOST_CONTEXT_DECL continuation {
294private:
295 friend struct detail::activation_record;
296
297 template< typename Ctx, typename StackAlloc, typename Fn >
298 friend class detail::capture_record;
299
300 template< typename Ctx, typename StackAlloc, typename Fn >
301 friend detail::activation_record * detail::create_context1( StackAlloc &&, Fn &&);
302
303 template< typename Ctx, typename StackAlloc, typename Fn >
304 friend detail::activation_record * detail::create_context2( preallocated, StackAlloc &&, Fn &&);
305
306 template< typename StackAlloc, typename Fn >
307 friend continuation
308 callcc( std::allocator_arg_t, StackAlloc &&, Fn &&);
309
310 template< typename StackAlloc, typename Fn >
311 friend continuation
312 callcc( std::allocator_arg_t, preallocated, StackAlloc &&, Fn &&);
313
314 detail::activation_record * ptr_{ nullptr };
315
316 continuation( detail::activation_record * ptr) noexcept :
317 ptr_{ ptr } {
318 }
319
320public:
321 continuation() = default;
322
323 ~continuation() {
324 if ( BOOST_UNLIKELY( nullptr != ptr_) && ! ptr_->main_ctx) {
325 if ( BOOST_LIKELY( ! ptr_->terminated) ) {
326 ptr_->force_unwind = true;
327 ptr_->resume();
328 BOOST_ASSERT( ptr_->terminated);
329 }
330 ptr_->deallocate();
331 }
332 }
333
334 continuation( continuation const&) = delete;
335 continuation & operator=( continuation const&) = delete;
336
337 continuation( continuation && other) noexcept {
338 swap( other);
339 }
340
341 continuation & operator=( continuation && other) noexcept {
342 if ( BOOST_LIKELY( this != & other) ) {
343 continuation tmp = std::move( other);
344 swap( tmp);
345 }
346 return * this;
347 }
348
11fdf7f2
TL
349 continuation resume() & {
350 return std::move( * this).resume();
351 }
352
353 continuation resume() && {
b32b8144
FG
354#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
355 detail::activation_record * ptr = detail::exchange( ptr_, nullptr)->resume();
356#else
357 detail::activation_record * ptr = std::exchange( ptr_, nullptr)->resume();
358#endif
359 if ( BOOST_UNLIKELY( detail::activation_record::current()->force_unwind) ) {
360 throw detail::forced_unwind{ ptr};
361 } else if ( BOOST_UNLIKELY( nullptr != detail::activation_record::current()->ontop) ) {
362 ptr = detail::activation_record::current()->ontop( ptr);
363 detail::activation_record::current()->ontop = nullptr;
364 }
11fdf7f2
TL
365 return { ptr };
366 }
367
368 template< typename Fn >
369 continuation resume_with( Fn && fn) & {
370 return std::move( * this).resume_with( std::forward< Fn >( fn) );
b32b8144
FG
371 }
372
373 template< typename Fn >
11fdf7f2 374 continuation resume_with( Fn && fn) && {
b32b8144
FG
375#if defined(BOOST_NO_CXX14_STD_EXCHANGE)
376 detail::activation_record * ptr =
377 detail::exchange( ptr_, nullptr)->resume_with< continuation >( std::forward< Fn >( fn) );
378#else
379 detail::activation_record * ptr =
380 std::exchange( ptr_, nullptr)->resume_with< continuation >( std::forward< Fn >( fn) );
381#endif
382 if ( BOOST_UNLIKELY( detail::activation_record::current()->force_unwind) ) {
383 throw detail::forced_unwind{ ptr};
384 } else if ( BOOST_UNLIKELY( nullptr != detail::activation_record::current()->ontop) ) {
385 ptr = detail::activation_record::current()->ontop( ptr);
386 detail::activation_record::current()->ontop = nullptr;
387 }
11fdf7f2 388 return { ptr };
b32b8144
FG
389 }
390
391 explicit operator bool() const noexcept {
392 return nullptr != ptr_ && ! ptr_->terminated;
393 }
394
395 bool operator!() const noexcept {
396 return nullptr == ptr_ || ptr_->terminated;
397 }
398
b32b8144
FG
399 bool operator<( continuation const& other) const noexcept {
400 return ptr_ < other.ptr_;
401 }
402
b32b8144
FG
403 template< typename charT, class traitsT >
404 friend std::basic_ostream< charT, traitsT > &
405 operator<<( std::basic_ostream< charT, traitsT > & os, continuation const& other) {
406 if ( nullptr != other.ptr_) {
407 return os << other.ptr_;
408 } else {
409 return os << "{not-a-context}";
410 }
411 }
412
413 void swap( continuation & other) noexcept {
414 std::swap( ptr_, other.ptr_);
415 }
416};
417
418template<
419 typename Fn,
420 typename = detail::disable_overload< continuation, Fn >
421>
422continuation
423callcc( Fn && fn) {
424 return callcc(
425 std::allocator_arg,
426 fixedsize_stack(),
427 std::forward< Fn >( fn) );
428}
429
430template< typename StackAlloc, typename Fn >
431continuation
432callcc( std::allocator_arg_t, StackAlloc && salloc, Fn && fn) {
433 return continuation{
434 detail::create_context1< continuation >(
435 std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) ) }.resume();
436}
437
438template< typename StackAlloc, typename Fn >
439continuation
440callcc( std::allocator_arg_t, preallocated palloc, StackAlloc && salloc, Fn && fn) {
441 return continuation{
442 detail::create_context2< continuation >(
443 palloc, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) ) }.resume();
444}
445
446inline
447void swap( continuation & l, continuation & r) noexcept {
448 l.swap( r);
449}
450
451}}
452
453#if defined(BOOST_MSVC)
454# pragma warning(pop)
455#endif
456
457#ifdef BOOST_HAS_ABI_HEADERS
458# include BOOST_ABI_SUFFIX
459#endif
460
461#endif // BOOST_CONTEXT_CONTINUATION_H