task.hpp 9.4 KB

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