{"id":111950,"date":"2025-12-31T07:00:00","date_gmt":"2025-12-31T15:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=111950"},"modified":"2025-12-31T07:14:45","modified_gmt":"2025-12-31T15:14:45","slug":"20251231-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20251231-00\/?p=111950","title":{"rendered":"Understanding and mitigating a stack overflow in our task sequencer"},"content":{"rendered":"

A customer was using the v2 task_sequencer<\/code> class<\/a> we developed some time ago. (Here’s the v1 task sequencer<\/a>.) They found that they occasionally suffered from stack overflow crashes.<\/p>\n

QueueTaskAsync::<lambda_2>::operator()+0x714\r\nstd::coroutine_handle<void>::resume+0x6c\r\ntask_sequencer::chained_task::complete+0x88\r\ntask_sequencer::completer::~completer+0x58\r\nQueueTaskAsync::<lambda_2>::operator()+0xaf8\r\nstd::coroutine_handle<void>::resume+0x6c\r\ntask_sequencer::chained_task::complete+0x88\r\ntask_sequencer::completer::~completer+0x58\r\nQueueTaskAsync::<lambda_2>::operator()+0xaf8\r\nstd::coroutine_handle<void>::resume+0x6c\r\ntask_sequencer::chained_task::complete+0x88\r\ntask_sequencer::completer::~completer+0x58\r\nQueueTaskAsync::<lambda_2>::operator()+0xaf8\r\nstd::coroutine_handle<void>::resume+0x6c\r\ntask_sequencer::chained_task::complete+0x88\r\ntask_sequencer::completer::~completer+0x58\r\nQueueTaskAsync::<lambda_2>::operator()+0xaf8\r\nstd::coroutine_handle<void>::resume+0x6c\r\ntask_sequencer::chained_task::complete+0x88\r\ntask_sequencer::completer::~completer+0x58\r\n...\r\n<\/pre>\n
Reading from the bottom up (to see the sequence chronologically), a coroutine completed, so we resumed the lambda coroutine inside Queue\u00adTask\u00adAsync<\/code>:<\/p>\n
        auto task = [](auto&& current, auto&& makerParam,\r\n                       auto&& contextParam, auto& suspend)\r\n                    -> Async\r\n        {\r\n            completer completer{ std::move(current) };\r\n            auto maker = std::move(makerParam);\r\n            auto context = std::move(contextParam);\r\n\r\n            co_await suspend;\r\n            co_await context;\r\n            co_return co_await maker();\r\n        }(current, std::forward<Maker>(maker),\r\n          winrt::apartment_context(), suspend);\r\n<\/pre>\n
When one completer destructs, it resumes the co_await suspend<\/code> in this lambda. The lambda then switches to the correct thread (which we don’t see in the stack because we are already on the correct thread), asks the maker to start the next coroutine (which we don’t see on the stack because it returned), and then awaits that coroutine. We don’t see that coroutine on the stack, which means that it completed synchronously. And then that’s the end of the lambda, so we start the next one.<\/p>\n
Therefore, we run into this problem if there is a sequence of queued tasks, where all those tasks complete synchronously.<\/p>\n
So what can we do about it?<\/p>\n
We could force the stack to unwind by throwing a co_await winrt::resume_background()<\/code> into the lambda after the co_await suspend<\/code>, so that the coroutine resumes on a background thread’s fresh stack, releasing the thread it was resumed on so it can unwind.<\/p>\n
This does soak up a threadpool thread in the case that the apartment_context()<\/code> is a single-threaded apartment, because the IContext\u00adCallback<\/code> blocks the calling thread while the callback is running. Most people don’t worry about this problem, but I do because I’ve had to debug deadlocks that trace back to threadpool exhaustion because all the threads are just waiting for another thread to be ready or finish doing something.<\/p>\n
The customer noted that the task_sequencer<\/code> is always used from the same thread, which happens to be a UI thread. So we can give the task sequencer a Dispatcher\u00adQueue<\/code> that it can use to get back to the UI thread asynchronously via Try\u00adEnqueue()<\/code>.<\/p>\n
struct task_sequencer\r\n{\r\n    task_sequencer(winrt::Dispatcher\u00adQueue const& queue = nullptr)<\/span>\r\n        : m_queue(queue) {}                                      <\/span>\r\n    task_sequencer(const task_sequencer&) = delete;\r\n    void operator=(const task_sequencer&) = delete;\r\n\r\nprivate:\r\n    using coro_handle = std::experimental::coroutine_handle<>;\r\n\r\n    struct suspender\r\n    {\r\n        bool await_ready() const noexcept { return false; }\r\n        void await_suspend(coro_handle h)\r\n            noexcept { handle = h; }\r\n        void await_resume() const noexcept { }\r\n\r\n        coro_handle handle;\r\n    };\r\n\r\n    static void* completed()\r\n    { return reinterpret_cast<void*>(1); }\r\n\r\n    struct chained_task\r\n    {\r\n        chained_task(void* state = nullptr) : next(state) {}\r\n\r\n        void continue_with(coro_handle h) {\r\n            if (next.exchange(h.address(),\r\n                        std::memory_order_acquire) != nullptr) {\r\n                h();\r\n            }\r\n        }\r\n\r\n        void complete() {\r\n            auto resume = next.exchange(completed());\r\n            if (resume) {\r\n                coro_handle::from_address(resume).resume();\r\n            }\r\n        }\r\n\r\n        std::atomic<void*> next;\r\n    };\r\n\r\n    struct completer\r\n    {\r\n        ~completer()\r\n        {\r\n            chain->complete();\r\n        }\r\n        std::shared_ptr<chained_task> chain;\r\n    };\r\n\r\n    winrt::slim_mutex m_mutex;\r\n    std::shared_ptr<chained_task> m_latest =\r\n        std::make_shared<chained_task>(completed());\r\n\r\npublic:\r\n    template<typename Maker>\r\n    auto QueueTaskAsync(Maker&& maker) ->decltype(maker())\r\n    {\r\n        auto node = std::make_shared<chained_task>();\r\n\r\n        suspender suspend;\r\n\r\n        using Async = decltype(maker());\r\n        auto task = [&]() -> Async\r\n        {\r\n            completer completer{ current };\r\n            auto local_maker = std::forward<Maker>(maker);\r\n            auto local_queue = m_queue;<\/span>\r\n\r\n            co_await suspend;\r\n            if (m_queue == nullptr) {                          <\/span>\r\n                co_await winrt::resume_background();           <\/span>\r\n            } else {                                           <\/span>\r\n                co_await winrt::resume_foreground(local_queue);<\/span>\r\n            }                                                  <\/span>\r\n            co_return co_await local_maker();\r\n        }();\r\n\r\n        {\r\n            winrt::slim_lock_guard guard(m_mutex);\r\n            m_latest.swap(node);\r\n        }\r\n\r\n        node->continue_with(suspend.handle);\r\n\r\n        return task;\r\n    }\r\n};\r\n<\/pre>\n
You provide a Dispatcher\u00adQueue<\/code> when you create the task_sequencer<\/code>, so that the task sequencer knows which thread the tasks should be started on. if you pass nullptr<\/code> (or don’t bother to provide a parameter at all), then they start on a background thread. Otherwise, they start on the thread corresponding to the dispatcher queue.<\/p>\n","protected":false},"excerpt":{"rendered":"
The recurring problem of synchronous resumption.<\/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-111950","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
The recurring problem of synchronous resumption.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111950","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=111950"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111950\/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=111950"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=111950"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=111950"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}