task.hpp 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412
  1. //
  2. // Copyright (c) 2022 Klemens Morgenstern (klemens.morgenstern@gmx.net)
  3. //
  4. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. #ifndef BOOST_COBALT_DETAIL_TASK_HPP
  8. #define BOOST_COBALT_DETAIL_TASK_HPP
  9. #include <boost/cobalt/detail/exception.hpp>
  10. #include <boost/cobalt/detail/forward_cancellation.hpp>
  11. #include <boost/cobalt/detail/wrapper.hpp>
  12. #include <boost/cobalt/detail/this_thread.hpp>
  13. #include <boost/cobalt/noop.hpp>
  14. #include <boost/cobalt/op.hpp>
  15. #include <boost/asio/bind_allocator.hpp>
  16. #include <boost/asio/cancellation_signal.hpp>
  17. #include <coroutine>
  18. #include <optional>
  19. #include <utility>
  20. namespace boost::cobalt
  21. {
  22. struct as_tuple_tag;
  23. struct as_result_tag;
  24. template<typename Return>
  25. struct task;
  26. namespace detail
  27. {
  28. template<typename T>
  29. struct task_receiver;
  30. template<typename T>
  31. struct task_value_holder
  32. {
  33. std::optional<T> result;
  34. bool result_taken = false;
  35. system::result<T, std::exception_ptr> get_result_value()
  36. {
  37. result_taken = true;
  38. BOOST_ASSERT(result);
  39. return {system::in_place_value, std::move(*result)};
  40. }
  41. void return_value(T && ret)
  42. {
  43. result.emplace(std::move(ret));
  44. static_cast<task_receiver<T>*>(this)->set_done();
  45. }
  46. void return_value(const T & ret)
  47. {
  48. result.emplace(ret);
  49. static_cast<task_receiver<T>*>(this)->set_done();
  50. }
  51. constexpr task_value_holder() noexcept = default;
  52. constexpr task_value_holder(noop<T> n) noexcept(std::is_nothrow_move_constructible_v<T>) : result(std::move(n.value)) {}
  53. };
  54. template<>
  55. struct task_value_holder<void>
  56. {
  57. bool result_taken = false;
  58. system::result<void, std::exception_ptr> get_result_value()
  59. {
  60. result_taken = true;
  61. return {system::in_place_value};
  62. }
  63. inline void return_void();
  64. constexpr task_value_holder() noexcept = default;
  65. constexpr task_value_holder(noop<void> n) noexcept {}
  66. };
  67. template<typename T>
  68. struct task_promise;
  69. template<typename T>
  70. struct task_receiver : task_value_holder<T>
  71. {
  72. std::exception_ptr exception;
  73. system::result<T, std::exception_ptr> get_result()
  74. {
  75. if (exception && !done) // detached error
  76. return {system::in_place_error, std::exchange(exception, nullptr)};
  77. else if (exception)
  78. {
  79. this->result_taken = true;
  80. return {system::in_place_error, exception};
  81. }
  82. return this->get_result_value();
  83. }
  84. void unhandled_exception()
  85. {
  86. exception = std::current_exception();
  87. set_done();
  88. }
  89. bool done = false;
  90. unique_handle<void> awaited_from{nullptr};
  91. void set_done()
  92. {
  93. done = true;
  94. }
  95. void cancel(asio::cancellation_type ct) const
  96. {
  97. if (!done)
  98. promise->signal.emit(ct);
  99. }
  100. task_receiver(noop<T> n) : task_value_holder<T>(std::move(n)), done(true) {}
  101. task_receiver() = default;
  102. task_receiver(task_receiver && lhs)
  103. : task_value_holder<T>(std::move(lhs)),
  104. exception(std::move(lhs.exception)), done(lhs.done), awaited_from(std::move(lhs.awaited_from)),
  105. promise(lhs.promise)
  106. {
  107. if (!done && !exception)
  108. {
  109. promise->receiver = this;
  110. lhs.exception = moved_from_exception();
  111. }
  112. lhs.done = true;
  113. }
  114. ~task_receiver()
  115. {
  116. if (!done && promise && promise->receiver == this)
  117. {
  118. promise->receiver = nullptr;
  119. if (!promise->started)
  120. std::coroutine_handle<task_promise<T>>::from_promise(*promise).destroy();
  121. }
  122. }
  123. task_receiver(task_promise<T> * promise)
  124. : promise(promise)
  125. {
  126. promise->receiver = this;
  127. }
  128. struct awaitable
  129. {
  130. task_receiver * self;
  131. asio::cancellation_slot cl;
  132. awaitable(task_receiver * self) : self(self)
  133. {
  134. }
  135. awaitable(awaitable && aw) : self(aw.self)
  136. {
  137. }
  138. ~awaitable ()
  139. {
  140. }
  141. bool await_ready() const { return self->done; }
  142. template<typename Promise>
  143. BOOST_NOINLINE std::coroutine_handle<void> await_suspend(std::coroutine_handle<Promise> h)
  144. {
  145. if (self->done) // ok, so we're actually done already, so noop
  146. return std::coroutine_handle<void>::from_address(h.address());
  147. if constexpr (requires (Promise p) {p.get_cancellation_slot();})
  148. if ((cl = h.promise().get_cancellation_slot()).is_connected())
  149. cl.emplace<forward_cancellation>(self->promise->signal);
  150. if constexpr (requires (Promise p) {p.get_executor();})
  151. self->promise->exec.emplace(h.promise().get_executor());
  152. else
  153. self->promise->exec.emplace(this_thread::get_executor());
  154. self->promise->exec_ = self->promise->exec->get_executor();
  155. self->awaited_from.reset(h.address());
  156. return std::coroutine_handle<task_promise<T>>::from_promise(*self->promise);
  157. }
  158. T await_resume(const boost::source_location & loc = BOOST_CURRENT_LOCATION)
  159. {
  160. if (cl.is_connected())
  161. cl.clear();
  162. return self->get_result().value(loc);
  163. }
  164. system::result<T, std::exception_ptr> await_resume(const as_result_tag &)
  165. {
  166. if (cl.is_connected())
  167. cl.clear();
  168. return self->get_result();
  169. }
  170. auto await_resume(const as_tuple_tag &)
  171. {
  172. if (cl.is_connected())
  173. cl.clear();
  174. auto res = self->get_result();
  175. if constexpr (std::is_void_v<T>)
  176. return res.error();
  177. else
  178. {
  179. if (res.has_error())
  180. return std::make_tuple(res.error(), T{});
  181. else
  182. return std::make_tuple(std::exception_ptr(), std::move(*res));
  183. }
  184. }
  185. void interrupt_await() &
  186. {
  187. if (!self)
  188. return ;
  189. self->exception = detached_exception();
  190. if (self->awaited_from)
  191. self->awaited_from.release().resume();
  192. }
  193. };
  194. task_promise<T> * promise;
  195. awaitable get_awaitable() {return awaitable{this};}
  196. void interrupt_await() &
  197. {
  198. exception = detached_exception();
  199. awaited_from.release().resume();
  200. }
  201. };
  202. inline void task_value_holder<void>::return_void()
  203. {
  204. static_cast<task_receiver<void>*>(this)->set_done();
  205. }
  206. template<typename Return>
  207. struct task_promise_result
  208. {
  209. task_receiver<Return>* receiver{nullptr};
  210. void return_value(Return && ret)
  211. {
  212. if(receiver)
  213. receiver->return_value(std::move(ret));
  214. }
  215. void return_value(const Return & ret)
  216. {
  217. if(receiver)
  218. receiver->return_value(ret);
  219. }
  220. };
  221. template<>
  222. struct task_promise_result<void>
  223. {
  224. task_receiver<void>* receiver{nullptr};
  225. void return_void()
  226. {
  227. if(receiver)
  228. receiver->return_void();
  229. }
  230. };
  231. struct async_initiate_spawn;
  232. template<typename Return>
  233. struct task_promise
  234. : promise_memory_resource_base,
  235. promise_cancellation_base<asio::cancellation_slot, asio::enable_total_cancellation>,
  236. promise_throw_if_cancelled_base,
  237. enable_awaitables<task_promise<Return>>,
  238. enable_await_allocator<task_promise<Return>>,
  239. enable_await_executor<task_promise<Return>>,
  240. enable_await_deferred,
  241. task_promise_result<Return>
  242. {
  243. using promise_cancellation_base<asio::cancellation_slot, asio::enable_total_cancellation>::await_transform;
  244. using promise_throw_if_cancelled_base::await_transform;
  245. using enable_awaitables<task_promise<Return>>::await_transform;
  246. using enable_await_allocator<task_promise<Return>>::await_transform;
  247. using enable_await_executor<task_promise<Return>>::await_transform;
  248. using enable_await_deferred::await_transform;
  249. [[nodiscard]] task<Return> get_return_object()
  250. {
  251. return task<Return>{this};
  252. }
  253. mutable asio::cancellation_signal signal;
  254. using executor_type = executor;
  255. std::optional<asio::executor_work_guard<executor_type>> exec;
  256. std::optional<executor_type> exec_;
  257. const executor_type & get_executor() const
  258. {
  259. if (!exec)
  260. throw_exception(asio::bad_executor());
  261. BOOST_ASSERT(exec_);
  262. return *exec_;
  263. }
  264. template<typename ... Args>
  265. task_promise(Args & ...args)
  266. #if !defined(BOOST_COBALT_NO_PMR)
  267. : promise_memory_resource_base(detail::get_memory_resource_from_args_global(args...))
  268. #endif
  269. {
  270. this->reset_cancellation_source(signal.slot());
  271. }
  272. struct initial_awaitable
  273. {
  274. task_promise * promise;
  275. bool await_ready() const noexcept {return false;}
  276. void await_suspend(std::coroutine_handle<>) {}
  277. void await_resume()
  278. {
  279. promise->started = true;
  280. }
  281. };
  282. auto initial_suspend() noexcept
  283. {
  284. return initial_awaitable{this};
  285. }
  286. struct final_awaitable
  287. {
  288. task_promise * promise;
  289. bool await_ready() const noexcept
  290. {
  291. return promise->receiver && promise->receiver->awaited_from.get() == nullptr;
  292. }
  293. BOOST_NOINLINE
  294. auto await_suspend(std::coroutine_handle<task_promise> h) noexcept
  295. {
  296. std::coroutine_handle<void> res = std::noop_coroutine();
  297. if (promise->receiver && promise->receiver->awaited_from.get() != nullptr)
  298. res = promise->receiver->awaited_from.release();
  299. if (auto & rec = h.promise().receiver; rec != nullptr)
  300. {
  301. if (!rec->done && !rec->exception)
  302. rec->exception = completed_unexpected();
  303. rec->set_done();
  304. rec->awaited_from.reset(nullptr);
  305. rec = nullptr;
  306. }
  307. detail::self_destroy(h);
  308. return res;
  309. }
  310. void await_resume() noexcept
  311. {
  312. }
  313. };
  314. auto final_suspend() noexcept
  315. {
  316. return final_awaitable{this};
  317. }
  318. void unhandled_exception()
  319. {
  320. if (this->receiver)
  321. this->receiver->unhandled_exception();
  322. else
  323. throw ;
  324. }
  325. ~task_promise()
  326. {
  327. if (this->receiver)
  328. {
  329. if (!this->receiver->done && !this->receiver->exception)
  330. this->receiver->exception = completed_unexpected();
  331. this->receiver->set_done();
  332. this->receiver->awaited_from.reset(nullptr);
  333. }
  334. }
  335. bool started = false;
  336. friend struct async_initiate;
  337. };
  338. }
  339. }
  340. #endif //BOOST_COBALT_DETAIL_TASK_HPP