{"id":105054,"date":"2021-04-05T07:00:00","date_gmt":"2021-04-05T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=105054"},"modified":"2021-04-06T21:52:51","modified_gmt":"2021-04-07T04:52:51","slug":"20210405-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20210405-00\/?p=105054","title":{"rendered":"C++ coroutines: Making the promise itself be the shared state, the outline"},"content":{"rendered":"

Last time, we got the idea of putting the result holder state directly inside the coroutine state<\/a>. This time, we’ll set to work on the implementation.<\/p>\n

A restriction we are placing on our simple_task<\/code> is that it can be co_await<\/code>ed only once. This enables the return of a move-only object, and avoid potentially-expensive copy operations. It also discourages some inefficient usage patterns, which we’ll discuss later.<\/p>\n

I’ll present the code without some of the annoying bits, and then we’ll spend the next few days filling it in. The code is conceptually simple, but there’s a lot of paperwork. Placeholders are marked with \u27e6brackets\u27e7.<\/p>\n

namespace async_helpers\r\n{\r\n    template<typename T> struct simple_task;\r\n}\r\nnamespace async_helpers::details\r\n{\r\n    template<typename T> struct simple_promise;\r\n\r\n    \u27e6simple_promise_result_holder definition\u27e7 \r\n   \r\n    template<typename T>\r\n    struct simple_promise_base\r\n    {\r\n        std::atomic<uint32_t> m_refcount{ 2 };\r\n        std::mutex m_mutex;\r\n        std::experimental::coroutine_handle<> m_waiting{ nullptr };\r\n        simple_promise_result_holder<T> m_holder;\r\n\r\n        using Promise = simple_promise<T>;\r\n        auto as_promise() noexcept\r\n        {\r\n            return static_cast<Promise*>(this);\r\n        }\r\n\r\n        \u27e6simple_promise_base reference count methods\u27e7\r\n\r\n        auto get_return_object() noexcept\r\n        {\r\n            return simple_task<T>(as_promise());\r\n        }\r\n\r\n        std::experimental::suspend_never initial_suspend() noexcept\r\n        {\r\n            return {};\r\n        }\r\n\r\n        template<typename...Args>\r\n        void set_value(Args&&... args)\r\n        {\r\n            m_holder.set_value(std::forward<Args>(args)...);\r\n        }\r\n\r\n        void unhandled_exception() noexcept\r\n        {\r\n            m_holder.unhandled_exception();\r\n        }\r\n\r\n        auto final_suspend() noexcept\r\n        {\r\n            \u27e6return an awaiter that decrements the reference count\r\n             and resumes any awaiting coroutine\u27e7\r\n        }\r\n\r\n        \u27e6awaiter support methods\u27e7\r\n\r\n        auto get_awaiter() noexcept\r\n        {\r\n            \u27e6return an awaiter that waits for the coroutine\r\n             to complete\u27e7\r\n        }\r\n    };\r\n\r\n    template<typename T>\r\n    struct simple_promise : simple_promise_base<T>\r\n    {\r\n        \u27e6implement return_value\u27e7\r\n    };\r\n\r\n    template<>\r\n    struct simple_promise<void> : simple_promise_base<void>\r\n    {\r\n        \u27e6implement return_void\u27e7\r\n    };\r\n\r\n    \/\/ promise_ptr<T> is a reference-counted\r\n    \/\/ pointer to a simple_promise<T>\r\n    \u27e6implement promise_ptr\u27e7\r\n}\r\n\r\nnamespace async_helpers\r\n{\r\n    template<typename T>\r\n    struct simple_task\r\n    {\r\n        details::promise_ptr<T> promise;\r\n        simple_task(details::simple_promise<T>*\r\n            initial = nullptr) : promise(initial) {}\r\n\r\n        void swap(simple_task& other)\r\n        {\r\n            std::swap(promise, other.promise);\r\n        }\r\n\r\n        auto operator co_await() const\r\n        {\r\n            return promise->get_awaiter();\r\n        }\r\n    };\r\n\r\n    template<typename T>\r\n    void swap(simple_task<T>& left, simple_task<T>& right)\r\n    {\r\n        left.swap(right);\r\n    }\r\n}\r\n\r\ntemplate <typename T, typename... Args>\r\nstruct std::experimental::coroutine_traits<\r\n    async_helpers::simple_task<T>, Args...>\r\n{\r\n    using promise_type =\r\n        async_helpers::details::simple_promise<T>;\r\n};\r\n<\/pre>\n
I put it all out there at one go just to highlight the overall shape. But let’s go through it more slowly.<\/p>\n
    template<typename T>\r\n    struct simple_promise_base\r\n    {\r\n        std::atomic<uint32_t> m_refcount{ 2 };\r\n<\/pre>\n
The initial reference count of the promise is two: One reference is held by the coroutine itself because the coroutine keeps its promise alive until it completes. The other reference is held by the simple_task<\/code> that is the return value of the coroutine function.<\/p>\n
        std::mutex m_mutex;\r\n        std::experimental::coroutine_handle<> m_waiting{ nullptr };\r\n        simple_promise_result_holder<T> m_holder;\r\n<\/pre>\n
We need a mutex to protect the m_waiting<\/code> variable so it can be updated atomically with respect to state changes. And of course we have the object that holds the result of the coroutine (successful completion result or an exception).<\/p>\n
        using Promise = simple_promise<T>;\r\n        auto as_promise() noexcept\r\n        {\r\n            return static_cast<Promise*>(this);\r\n        }\r\n<\/pre>\n
The simple_promise_base<\/code> is a CRTP-like type whose derived type is always a simple_promise<T><\/code>. We create a type alias Promise<\/code> to refer to that full simple_promise<\/code> type and a helper function to produce a pointer to that type.<\/p>\n
        \u27e6simple_promise_base reference count methods\u27e7\r\n<\/pre>\n
Managing the reference counts is a major hassle, so I’ll defer that discussion as well. Neither the result holder nor the reference count is particularly complicated, but they’re rather wordy, and there are some subtle parts that deserve closer discussion.<\/p>\n
        auto get_return_object() noexcept\r\n        {\r\n            return simple_task<T>(as_promise());\r\n        }\r\n<\/pre>\n
This produces the simple_task<\/code> that is the formal return value of the coroutine function. The caller is expected to co_await<\/code> this simple_task<\/code> to get the result of the coroutine function.<\/p>\n
        std::experimental::suspend_never initial_suspend() noexcept\r\n        {\r\n            return {};\r\n        }\r\n<\/pre>\n
As I noted, this is a hot-start coroutine, so there is nothing to do at the initial suspension.<\/p>\n
        template<typename...Args>\r\n        void set_value(Args&&... args)\r\n        {\r\n            m_holder.set_value(std::forward<Args>(args)...);\r\n        }\r\n\r\n        void unhandled_exception() noexcept\r\n        {\r\n            m_holder.unhandled_exception();\r\n        }\r\n<\/pre>\n
These are the methods which store the coroutine result in the result holder. Don’t be scared by the variadic template parameter list for set_value<\/code>. The actual parameter list to set_value<\/code> will be either empty (for void<\/code>) or a single parameter (for non-void<\/code>). We forward the results into the holder, or if the coroutine function throws an exception, then we capture it as an exception. We’ll look at these more closely when we study the result holder.<\/p>\n
        auto final_suspend() noexcept\r\n        {\r\n            \u27e6return an awaiter that decrements the reference count\r\n             and resumes any awaiting coroutine\u27e7\r\n        }\r\n<\/pre>\n
One of our earlier improvements was to delay resuming any awaiting coroutines until we reach the final_suspend<\/code>. The additional wrinkle here is that when the coroutine reaches its final suspension point, we decrement the reference count on the promise, which might or might not trigger destruction of the coroutine state. We’ll discuss this some more later.<\/p>\n
        \u27e6awaiter support methods\u27e7\r\n\r\n        auto get_awaiter() noexcept\r\n        {\r\n            \u27e6return an awaiter that waits for the coroutine\r\n             to complete\u27e7\r\n        }\r\n    };\r\n<\/pre>\n
The get_awaiter<\/code> method produces an awaiter that waits for the coroutine to complete and returns the result (either in the form of a value or an exception). We’ve basically seen this before in our result_holder<\/code>, but the wrinkles are slightly different due to our ability to process move-only types. We’ll see more about this later.<\/p>\n
    template<typename T>\r\n    struct simple_promise : simple_promise_base<T>\r\n    {\r\n        \u27e6implement return_value\u27e7\r\n    };\r\n\r\n    template<>\r\n    struct simple_promise<void> : simple_promise_base<void>\r\n    {\r\n        \u27e6implement return_void\u27e7\r\n    };\r\n<\/pre>\n
As I noted earlier, it is not legal for a promise to have both return_value<\/code> and return_void<\/code>, so we have to split them into separate classes. We’ll look at the implementation later, because there are some annoyances here.<\/p>\n
    \/\/ promise_ptr<T> is a reference-counted\r\n    \/\/ pointer to a simple_promise<T>\r\n    \u27e6implement promise_ptr\u27e7\r\n}\r\n<\/pre>\n
The promise_ptr<\/code> is a reference-counted pointer to our simple_promise<\/code>. This class is basically all-annoying with nothing of interest inside it. I’ll defer its implementation to later.<\/p>\n
namespace async_helpers\r\n{\r\n    template<typename T>\r\n    struct simple_task\r\n    {\r\n        simple_task(details::simple_promise<T>*\r\n            initial = nullptr) : promise(initial) {}\r\n\r\n        void swap(simple_task& other)\r\n        {\r\n            std::swap(promise, other.promise);\r\n        }\r\n\r\n        auto operator co_await() const\r\n        {\r\n            return promise->get_awaiter();\r\n        }\r\n    private:\r\n        details::promise_ptr<T> promise;\r\n    };\r\n\r\n    template<typename T>\r\n    void swap(simple_task<T>& left, simple_task<T>& right)\r\n    {\r\n        left.swap(right);\r\n    }\r\n}\r\n<\/pre>\n
The simple_task<\/code> itself is very simple. It wraps a reference-counted pointer to the simple_promise<\/code> and forwards its co_await<\/code> operator to the promise’s awaiter. When the simple_task<\/code> destructs, the reference in the promise_ptr<\/code> is released, and that takes us one step closer to the end of the coroutine state. (Of course, if you copy the simple_task<\/code>, then the reference count goes up, and you end up extending the lifetime further.)<\/p>\n
Half of the code is just there to support ADL swap!<\/p>\n
template <typename T, typename... Args>\r\nstruct std::experimental::coroutine_traits<\r\n    async_helpers::simple_task<T>, Args...>\r\n{\r\n    using promise_type =\r\n        async_helpers::details::simple_promise<T>;\r\n};\r\n<\/pre>\n
Finally, we tell the coroutine infrastructure that if somebody writes<\/p>\n
async_helpers::simple_task<T> MyCoroutine()\r\n{\r\n    ...\r\n    co_return ...;\r\n}\r\n<\/pre>\n
then it should use the simple_promise<\/code> to assist with the implementation of the coroutine.<\/p>\n
Okay, so that’s it! There’s a lot of paperwork, but the basic idea is that the promise is where all the action is. The coroutine and the task each have a reference to the promise, and that’s how the coroutine and the task communicate with each other.<\/p>\n
Oh wait, I have a lot of code to fill in. We’ll start that next time.<\/p>\n","protected":false},"excerpt":{"rendered":"
Now we do it.<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-105054","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Now we do it.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/105054","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=105054"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/105054\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=105054"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=105054"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=105054"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}