123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473 |
- // Copyright Oliver Kowalke 2017.
- // Distributed under the Boost Software License, Version 1.0.
- // (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #ifndef BOOST_CONTEXT_CONTINUATION_H
- #define BOOST_CONTEXT_CONTINUATION_H
- #include <windows.h>
- #include <boost/context/detail/config.hpp>
- #include <algorithm>
- #include <cstddef>
- #include <cstdint>
- #include <cstdlib>
- #include <cstring>
- #include <functional>
- #include <memory>
- #include <ostream>
- #include <system_error>
- #include <tuple>
- #include <utility>
- #include <boost/assert.hpp>
- #include <boost/config.hpp>
- #include <boost/context/detail/disable_overload.hpp>
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- #include <boost/context/detail/exchange.hpp>
- #endif
- #if defined(BOOST_NO_CXX17_STD_INVOKE)
- #include <boost/context/detail/invoke.hpp>
- #endif
- #include <boost/context/fixedsize_stack.hpp>
- #include <boost/context/flags.hpp>
- #include <boost/context/preallocated.hpp>
- #include <boost/context/stack_context.hpp>
- #ifdef BOOST_HAS_ABI_HEADERS
- # include BOOST_ABI_PREFIX
- #endif
- #if defined(BOOST_MSVC)
- # pragma warning(push)
- # pragma warning(disable: 4702)
- #endif
- namespace boost {
- namespace context {
- namespace detail {
- // tampoline function
- // entered if the execution context
- // is resumed for the first time
- template< typename Record >
- static VOID WINAPI entry_func( LPVOID data) noexcept {
- Record * record = static_cast< Record * >( data);
- BOOST_ASSERT( nullptr != record);
- // start execution of toplevel context-function
- record->run();
- }
- struct BOOST_CONTEXT_DECL activation_record {
- LPVOID fiber{ nullptr };
- stack_context sctx{};
- bool main_ctx{ true };
- activation_record * from{ nullptr };
- std::function< activation_record*(activation_record*&) > ontop{};
- bool terminated{ false };
- bool force_unwind{ false };
- static activation_record *& current() noexcept;
- // used for toplevel-context
- // (e.g. main context, thread-entry context)
- activation_record() noexcept {
- #if ( _WIN32_WINNT > 0x0600)
- if ( ::IsThreadAFiber() ) {
- fiber = ::GetCurrentFiber();
- } else {
- fiber = ::ConvertThreadToFiber( nullptr);
- }
- #else
- fiber = ::ConvertThreadToFiber( nullptr);
- if ( BOOST_UNLIKELY( nullptr == fiber) ) {
- DWORD err = ::GetLastError();
- BOOST_ASSERT( ERROR_ALREADY_FIBER == err);
- fiber = ::GetCurrentFiber();
- BOOST_ASSERT( nullptr != fiber);
- BOOST_ASSERT( reinterpret_cast< LPVOID >( 0x1E00) != fiber);
- }
- #endif
- }
- activation_record( stack_context sctx_) noexcept :
- sctx{ sctx_ },
- main_ctx{ false } {
- }
- virtual ~activation_record() {
- if ( BOOST_UNLIKELY( main_ctx) ) {
- ::ConvertFiberToThread();
- } else {
- ::DeleteFiber( fiber);
- }
- }
- activation_record( activation_record const&) = delete;
- activation_record & operator=( activation_record const&) = delete;
- bool is_main_context() const noexcept {
- return main_ctx;
- }
- activation_record * resume() {
- from = current();
- // store `this` in static, thread local pointer
- // `this` will become the active (running) context
- current() = this;
- // context switch from parent context to `this`-context
- // context switch
- ::SwitchToFiber( fiber);
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- return detail::exchange( current()->from, nullptr);
- #else
- return std::exchange( current()->from, nullptr);
- #endif
- }
- template< typename Ctx, typename Fn >
- activation_record * resume_with( Fn && fn) {
- from = current();
- // store `this` in static, thread local pointer
- // `this` will become the active (running) context
- // returned by continuation::current()
- current() = this;
- #if defined(BOOST_NO_CXX14_GENERIC_LAMBDAS)
- current()->ontop = std::bind(
- [](typename std::decay< Fn >::type & fn, activation_record *& ptr){
- Ctx c{ ptr };
- c = fn( std::move( c) );
- if ( ! c) {
- ptr = nullptr;
- }
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- return exchange( c.ptr_, nullptr);
- #else
- return std::exchange( c.ptr_, nullptr);
- #endif
- },
- std::forward< Fn >( fn),
- std::placeholders::_1);
- #else
- current()->ontop = [fn=std::forward<Fn>(fn)](activation_record *& ptr){
- Ctx c{ ptr };
- c = fn( std::move( c) );
- if ( ! c) {
- ptr = nullptr;
- }
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- return exchange( c.ptr_, nullptr);
- #else
- return std::exchange( c.ptr_, nullptr);
- #endif
- };
- #endif
- // context switch
- ::SwitchToFiber( fiber);
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- return detail::exchange( current()->from, nullptr);
- #else
- return std::exchange( current()->from, nullptr);
- #endif
- }
- virtual void deallocate() noexcept {
- }
- };
- struct BOOST_CONTEXT_DECL activation_record_initializer {
- activation_record_initializer() noexcept;
- ~activation_record_initializer();
- };
- struct forced_unwind {
- activation_record * from{ nullptr };
- explicit forced_unwind( activation_record * from_) :
- from{ from_ } {
- }
- };
- template< typename Ctx, typename StackAlloc, typename Fn >
- class capture_record : public activation_record {
- private:
- typename std::decay< StackAlloc >::type salloc_;
- typename std::decay< Fn >::type fn_;
- static void destroy( capture_record * p) noexcept {
- typename std::decay< StackAlloc >::type salloc = std::move( p->salloc_);
- stack_context sctx = p->sctx;
- // deallocate activation record
- p->~capture_record();
- // destroy stack with stack allocator
- salloc.deallocate( sctx);
- }
- public:
- capture_record( stack_context sctx, StackAlloc && salloc, Fn && fn) noexcept :
- activation_record( sctx),
- salloc_( std::forward< StackAlloc >( salloc)),
- fn_( std::forward< Fn >( fn) ) {
- }
- void deallocate() noexcept override final {
- BOOST_ASSERT( main_ctx || ( ! main_ctx && terminated) );
- destroy( this);
- }
- void run() {
- Ctx c{ from };
- try {
- // invoke context-function
- #if defined(BOOST_NO_CXX17_STD_INVOKE)
- c = boost::context::detail::invoke( fn_, std::move( c) );
- #else
- c = std::invoke( fn_, std::move( c) );
- #endif
- } catch ( forced_unwind const& ex) {
- c = Ctx{ ex.from };
- }
- // this context has finished its task
- from = nullptr;
- ontop = nullptr;
- terminated = true;
- force_unwind = false;
- c.resume();
- BOOST_ASSERT_MSG( false, "continuation already terminated");
- }
- };
- template< typename Ctx, typename StackAlloc, typename Fn >
- static activation_record * create_context1( StackAlloc && salloc, Fn && fn) {
- typedef capture_record< Ctx, StackAlloc, Fn > capture_t;
- auto sctx = salloc.allocate();
- BOOST_ASSERT( ( sizeof( capture_t) ) < sctx.size);
- // reserve space for control structure
- void * storage = reinterpret_cast< void * >(
- ( reinterpret_cast< uintptr_t >( sctx.sp) - static_cast< uintptr_t >( sizeof( capture_t) ) )
- & ~ static_cast< uintptr_t >( 0xff) );
- // placment new for control structure on context stack
- capture_t * record = new ( storage) capture_t{
- sctx, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) };
- // create user-context
- record->fiber = ::CreateFiber( sctx.size, & detail::entry_func< capture_t >, record);
- return record;
- }
- template< typename Ctx, typename StackAlloc, typename Fn >
- static activation_record * create_context2( preallocated palloc, StackAlloc && salloc, Fn && fn) {
- typedef capture_record< Ctx, StackAlloc, Fn > capture_t;
- BOOST_ASSERT( ( sizeof( capture_t) ) < palloc.size);
- // reserve space for control structure
- void * storage = reinterpret_cast< void * >(
- ( reinterpret_cast< uintptr_t >( palloc.sp) - static_cast< uintptr_t >( sizeof( capture_t) ) )
- & ~ static_cast< uintptr_t >( 0xff) );
- // placment new for control structure on context stack
- capture_t * record = new ( storage) capture_t{
- palloc.sctx, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) };
- // create user-context
- record->fiber = ::CreateFiber( palloc.sctx.size, & detail::entry_func< capture_t >, record);
- return record;
- }
- }
- class BOOST_CONTEXT_DECL continuation {
- private:
- friend struct detail::activation_record;
- template< typename Ctx, typename StackAlloc, typename Fn >
- friend class detail::capture_record;
- template< typename Ctx, typename StackAlloc, typename Fn >
- friend detail::activation_record * detail::create_context1( StackAlloc &&, Fn &&);
- template< typename Ctx, typename StackAlloc, typename Fn >
- friend detail::activation_record * detail::create_context2( preallocated, StackAlloc &&, Fn &&);
- template< typename StackAlloc, typename Fn >
- friend continuation
- callcc( std::allocator_arg_t, StackAlloc &&, Fn &&);
- template< typename StackAlloc, typename Fn >
- friend continuation
- callcc( std::allocator_arg_t, preallocated, StackAlloc &&, Fn &&);
- detail::activation_record * ptr_{ nullptr };
- continuation( detail::activation_record * ptr) noexcept :
- ptr_{ ptr } {
- }
- public:
- continuation() = default;
- ~continuation() {
- if ( BOOST_UNLIKELY( nullptr != ptr_) && ! ptr_->main_ctx) {
- if ( BOOST_LIKELY( ! ptr_->terminated) ) {
- ptr_->force_unwind = true;
- ptr_->resume();
- BOOST_ASSERT( ptr_->terminated);
- }
- ptr_->deallocate();
- }
- }
- continuation( continuation const&) = delete;
- continuation & operator=( continuation const&) = delete;
- continuation( continuation && other) noexcept {
- swap( other);
- }
- continuation & operator=( continuation && other) noexcept {
- if ( BOOST_LIKELY( this != & other) ) {
- continuation tmp = std::move( other);
- swap( tmp);
- }
- return * this;
- }
- continuation resume() & {
- return std::move( * this).resume();
- }
- continuation resume() && {
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- detail::activation_record * ptr = detail::exchange( ptr_, nullptr)->resume();
- #else
- detail::activation_record * ptr = std::exchange( ptr_, nullptr)->resume();
- #endif
- if ( BOOST_UNLIKELY( detail::activation_record::current()->force_unwind) ) {
- throw detail::forced_unwind{ ptr};
- } else if ( BOOST_UNLIKELY( nullptr != detail::activation_record::current()->ontop) ) {
- ptr = detail::activation_record::current()->ontop( ptr);
- detail::activation_record::current()->ontop = nullptr;
- }
- return { ptr };
- }
- template< typename Fn >
- continuation resume_with( Fn && fn) & {
- return std::move( * this).resume_with( std::forward< Fn >( fn) );
- }
- template< typename Fn >
- continuation resume_with( Fn && fn) && {
- #if defined(BOOST_NO_CXX14_STD_EXCHANGE)
- detail::activation_record * ptr =
- detail::exchange( ptr_, nullptr)->resume_with< continuation >( std::forward< Fn >( fn) );
- #else
- detail::activation_record * ptr =
- std::exchange( ptr_, nullptr)->resume_with< continuation >( std::forward< Fn >( fn) );
- #endif
- if ( BOOST_UNLIKELY( detail::activation_record::current()->force_unwind) ) {
- throw detail::forced_unwind{ ptr};
- } else if ( BOOST_UNLIKELY( nullptr != detail::activation_record::current()->ontop) ) {
- ptr = detail::activation_record::current()->ontop( ptr);
- detail::activation_record::current()->ontop = nullptr;
- }
- return { ptr };
- }
- explicit operator bool() const noexcept {
- return nullptr != ptr_ && ! ptr_->terminated;
- }
- bool operator!() const noexcept {
- return nullptr == ptr_ || ptr_->terminated;
- }
- bool operator<( continuation const& other) const noexcept {
- return ptr_ < other.ptr_;
- }
-
- #if !defined(BOOST_EMBTC)
-
- template< typename charT, class traitsT >
- friend std::basic_ostream< charT, traitsT > &
- operator<<( std::basic_ostream< charT, traitsT > & os, continuation const& other) {
- if ( nullptr != other.ptr_) {
- return os << other.ptr_;
- } else {
- return os << "{not-a-context}";
- }
- }
- #else
-
- template< typename charT, class traitsT >
- friend std::basic_ostream< charT, traitsT > &
- operator<<( std::basic_ostream< charT, traitsT > & os, continuation const& other);
- #endif
- void swap( continuation & other) noexcept {
- std::swap( ptr_, other.ptr_);
- }
- };
- #if defined(BOOST_EMBTC)
- template< typename charT, class traitsT >
- inline std::basic_ostream< charT, traitsT > &
- operator<<( std::basic_ostream< charT, traitsT > & os, continuation const& other) {
- if ( nullptr != other.ptr_) {
- return os << other.ptr_;
- } else {
- return os << "{not-a-context}";
- }
- }
- #endif
-
- template<
- typename Fn,
- typename = detail::disable_overload< continuation, Fn >
- >
- continuation
- callcc( Fn && fn) {
- return callcc(
- std::allocator_arg,
- fixedsize_stack(),
- std::forward< Fn >( fn) );
- }
- template< typename StackAlloc, typename Fn >
- continuation
- callcc( std::allocator_arg_t, StackAlloc && salloc, Fn && fn) {
- return continuation{
- detail::create_context1< continuation >(
- std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) ) }.resume();
- }
- template< typename StackAlloc, typename Fn >
- continuation
- callcc( std::allocator_arg_t, preallocated palloc, StackAlloc && salloc, Fn && fn) {
- return continuation{
- detail::create_context2< continuation >(
- palloc, std::forward< StackAlloc >( salloc), std::forward< Fn >( fn) ) }.resume();
- }
- inline
- void swap( continuation & l, continuation & r) noexcept {
- l.swap( r);
- }
- }}
- #if defined(BOOST_MSVC)
- # pragma warning(pop)
- #endif
- #ifdef BOOST_HAS_ABI_HEADERS
- # include BOOST_ABI_SUFFIX
- #endif
- #endif // BOOST_CONTEXT_CONTINUATION_H
|