{"id":104987,"date":"2021-03-23T07:00:00","date_gmt":"2021-03-23T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=104987"},"modified":"2021-03-23T09:19:16","modified_gmt":"2021-03-23T16:19:16","slug":"20210323-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20210323-00\/?p=104987","title":{"rendered":"Creating a task completion source for a C++ coroutine: Producing a result"},"content":{"rendered":"

We’ve been looking at creating different types of awaitable synchronization objects<\/a>. This time, we’ll create something analogous to what C# calls a Task\u00adCompletion\u00adSource<\/code> and what PPL calls a task_completion_event<\/code>. For lack of a better name, I’m going to call it a result_holder<\/code>.<\/p>\n

A result_holder<\/code> is an object that you can put a result into, and you can co_await<\/code> it to wait for the result to appear. Once a result has been set, it can be retrieved multiple times. You can use this sort of object for one-time initialization, or if you want to cache the results of earlier calculations.<\/p>\n

First, we need to teach our library about coroutines that return values. Up until now, the result of a co_await<\/code> had always been void<\/code>.<\/p>\n

    template<typename State>\r\n    class awaitable_state\r\n    {\r\n        ...\r\n\r\n        void get_result() const noexcept { }\r\n\r\n        auto<\/span> await_resume(\r\n            impl::node<extra_await_data>& node) noexcept\r\n        {\r\n            node.handle = nullptr;\r\n            return parent().get_result();<\/span>\r\n        }\r\n        ...\r\n    };\r\n\r\n    template<typename State>\r\n    class awaitable_sync_object\r\n    {\r\n        ...\r\n\r\n        struct awaiter\r\n        {\r\n            ...\r\n\r\n            auto<\/span> await_resume()\r\n            { return<\/span> s.await_resume(node); }\r\n\r\n            ...\r\n        }\r\n    };\r\n<\/pre>\n
We allow the CRTP client to implement a method get_result<\/code>, and whatever that method returns is the result of the co_await<\/code>. By default, it’s just void<\/code>, but we’re going to override it in our result_holder<\/code>.<\/p>\n
template<typename T>\r\nstruct result_holder_state :\r\n    async_helpers::awaitable_state<result_holder_state<T>>\r\n{\r\n    std::atomic<bool> ready{ false };\r\n\r\n    union optional\r\n    {\r\n        optional() {}\r\n        ~optional() {}\r\n\r\n        T value;\r\n    } result;\r\n\r\n    result_holder_state() {}\r\n    result_holder_state(result_holder_state const&) = delete;\r\n    void operator=(result_holder_state const&) = delete;\r\n\r\n    ~result_holder_state()\r\n    {\r\n        if (ready.load(std::memory_order_relaxed)) {\r\n            result.value.~T();\r\n        }\r\n    }\r\n<\/pre>\n
We build our own equivalent of std::optional<T><\/code> that supports querying atomically whether a value has been set. The atomic boolean ready<\/code> becomes true<\/code> when a value is set, and the union result<\/code> holds the value if so. We use a union because unions do not construct or destruct their members by default. But it means that we must remember to do the construction and destruction ourselves.<\/p>\n
This is not a general-purpose atomic optional<\/code> because it supports only one-way transitions: You can go from unset to set, but once set, it’s stuck forever. This limitation allows the discriminant (ready<\/code>) to be atomic.<\/p>\n
    using typename result_holder_state::extra_await_data;\r\n    using typename result_holder_state::node_list;\r\n<\/pre>\n
Since our state type is now a template type, we have to tell the compiler which identifiers are dependent names. We may as well just import them to save ourselves some typing.<\/p>\n
    bool fast_claim(extra_await_data const&) noexcept\r\n    {\r\n        return ready.load(std::memory_order_acquire);\r\n    }\r\n\r\n    bool claim(extra_await_data const&) noexcept\r\n    {\r\n        return ready.load(std::memory_order_relaxed);\r\n    }\r\n<\/pre>\n
If someone tries to co_await<\/code>, we let the await complete immediately if the value is already ready.<\/p>\n
    void set_result(node_list& list, T v)\r\n    {\r\n        if (!ready.load(std::memory_order_relaxed)) {\r\n            new (std::addressof(result.value))\r\n                T{ std::move<T>(v) };\r\n            ready.store(true, std::memory_order_release);\r\n            this->resume_all(list);\r\n        }\r\n    }\r\n<\/pre>\n
To set the result, we first check that we don’t have a result. If so, then we do nothing. You can set the result only once. Otherwise, we would have a race condition if one coroutine fetches the value while another is changing it.<\/p>\n
If this is the first time anyone is setting the result, then we move the value into our private storage, using the placement new constructor. We provide the storage address via std::addressof<\/code> to protect against the possibility that T<\/code> has an overloaded operator&<\/code>.<\/p>\n
Only after the value is definitely set into our private storage do we mark the value as ready<\/code>, and we do it with release semantics so that the effects of the constructor are fully visible before telling everybody that it’s ready to be read.<\/p>\n
It’s also important to be aware that the constructor of T<\/code> may throw an exception. In that case, the storage is destructed back to its uninitialized state, and the exception escapes. Another reason it’s important not to set ready<\/code> or to add coroutines to the list<\/code> before the value is definitely constructed.<\/p>\n
    T get_result()\r\n    {\r\n        return result.value;\r\n    }\r\n};\r\n<\/pre>\n
And here’s where we override get_result<\/code> so that the result of a co_await<\/code> is the captured value.<\/p>\n
We technically need an acquire fence here to ensure that all the changes to value<\/code> made by the set_result<\/code> are visible to the current. We get away without one because we put an acquire fence in await_ready<\/code>!<\/p>\n
template<typename T>\r\nstruct result_holder\r\n    : async_helpers::awaitable_sync_object<\r\n        result_holder_state<T>>\r\n{\r\n    using typename result_holder::state;\r\n\r\n    void set_result(T result) const noexcept\r\n    {\r\n        this->action_impl(&state::set_result,\r\n            std::move(result));\r\n    }\r\n};\r\n<\/pre>\n
The object itself is not particularly exciting. Setting the result on the main object moves the value into the state.<\/p>\n
Now you have an object that you can put results into, and co_await<\/code>ing it will wait until results appear.<\/p>\n
result_holder<int> universe;\r\n\r\n\/\/ coroutine 1:\r\nauto answer = co_await universe;\r\n\r\n\/\/ coroutine 2:\r\nuniverse.set_result(42);\r\n<\/pre>\n
But this code is still broken.<\/p>\n
We’ll look more closely next time.<\/p>\n","protected":false},"excerpt":{"rendered":"
Let’s call it a result holder.<\/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-104987","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Let’s call it a result holder.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104987","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=104987"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104987\/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=104987"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=104987"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=104987"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}