![15
関数とコルーチン
本体部にコルーチン構文が登場したらコルーチン
関数シグネチャからは区別しない/できない
future<int> c1() {
co_yield 42;
}
future<int> f1() {
return make_future(42);
}
task<void> c2() {
co_await read();
co_await write();
}
task<void> f2() {
return []{
read(); write(); };
}
※上記コード片は説明用のイメージです。
coroutine function](https://cdn.statically.io/img/image.slidesharecdn.com/cppmix5coro20190904-190903140458/85/20-C-20-15-320.jpg)
![28
C++20コルーチン対応状況
コンパイラサポート状況
Clang, MSVC ：部分的にサポート
GCC, etc. ：未対応
対応ライブラリ
CppCoro - A coroutine library for C++
https://github.com/lewissbaker/cppcoro
Boost.ASIO [Experimental]
https://github.com/boostorg/asio
Facebook Folly [Experimental]
https://github.com/facebook/folly](https://cdn.statically.io/img/image.slidesharecdn.com/cppmix5coro20190904-190903140458/85/20-C-20-28-320.jpg)
![30
[おまけ] More information
Working Draft, Standard for Programming Language C++
http://eel.is/c++draft/
Halo: coroutine Heap Allocation eLision Optimization
https://wg21.link/p0981r0
Impact of coroutines on current and upcoming library facilities
https://wg21.link/p0975r0
Coroutine Theory
https://lewissbaker.github.io/2017/09/25/coroutine-theory
How C++ coroutines work
https://kirit.com/How%20C%2B%2B%20coroutines%20work
luncliff/coroutine
https://luncliff.github.io/coroutine/Home/
C++コルーチン拡張メモ
https://qiita.com/yohhoy/items/aeb3c01d02d0f640c067](https://cdn.statically.io/img/image.slidesharecdn.com/cppmix5coro20190904-190903140458/85/20-C-20-30-320.jpg)
![31
[おまけ] Stackless vs. Stackful
Stackful Coroutines(Fiber)
fiber_context - fibers without scheduler [Oliver K., Nat G.]
https://wg21.link/p0876r8
Fibers under the magnifying glass [Gor N.]
https://wg21.link/p1364r0
Response to “Fibers under the magnifying glass” [Nat G., Oliver K.]
https://wg21.link/p0866r0
Response to response to “Fibers under the magnifying glass” [Gor N.]
https://wg21.link/p1520r0
Gorさん = C++20に統合されたCoroutines TS提案者
Oliverさん = Boost.Coroutine, Coroutine2, Fiber, Contextライブラリ作者](https://cdn.statically.io/img/image.slidesharecdn.com/cppmix5coro20190904-190903140458/85/20-C-20-31-320.jpg)
20分くらいでわかった気分になれるC++20コルーチン
- 1. 1 20分くらいで わかった気分になれる† C++20コルーチン 2019/9/4 C++MIX #5 †効果には個人差があります。C++20コルーチン 完全理解™️を保証するものではありません。
- 2. 2 はじめに 誰？ twitter @yohhoy / hatena id:yohhoy 何を？ C++20導入予定の コルーチン 概要を紹介 どうして？ 勉強会駆動 C++20コルーチン調査 本日のディスカッション ネタ提供 Coroutines
- 3. 3 Question: コルーチン？ 並行タスク(Concurrency task) 非同期I/O(Asynchronous I/O) ジェネレータ(Generator) エラー伝搬(Error propagation)
- 4. 4 並行タスク(Concurrency task) 非同期I/O(Asynchronous I/O) ジェネレータ(Generator) エラー伝搬(Error propagation) Answer: C++20コルーチン
- 5. 5 Answer: C++20コルーチン 並行タスク(Concurrency task) 非同期I/O(Asynchronous I/O) ジェネレータ(Generator) エラー伝搬(Error propagation) ハイレベル機能の 実装に利用する 低レベル言語仕様 と 新しい構文 を定義
- 7. 7 C++23, C++26, or someday 並行タスク ライブラリ ジェネレータ, etc. 非同期I/O ライブラリ アプリケーション プログラマ Parallel Algorithm Ranges Library std::expected Executors TS Networking TS
- 8. 8 C++20コルーチン 新キーワード co_await co_yield co_return 標準ヘッダ<coroutine> coroutine_traits<R,Args...> coroutine_handle<Promise> suspend_never suspend_always noop_coroutine() カスタマイズポイント Promise type Awaitable type operator co_await
- 9. 9 C++20コルーチン
- 10. 10 C++20コルーチン
- 11. 11 If you are
- 13. 13 関数(サブルーチン) コルーチン 関数とコルーチン call return call return suspend suspend resume resume caller function caller coroutine
- 15. 15 関数とコルーチン 本体部にコルーチン構文が登場したらコルーチン 関数シグネチャからは区別しない/できない future<int> c1() { co_yield 42; } future<int> f1() { return make_future(42); } task<void> c2() { co_await read(); co_await write(); } task<void> f2() { return []{ read(); write(); }; } ※上記コード片は説明用のイメージです。 coroutine function
- 16. 16 Asymmetric vs. Symmetric 非対称(Asymmetric)／対称(Symmetric)コルーチンの 両方をサポートする 非対称コルーチン 現コルーチンを中断＝再開元(resumer)に戻る 大抵のケースでは非対称コルーチンが使われる 対称コルーチン 任意のコルーチンへと制御を移す(control transfer) 相手コルーチンを”知っている”ケースでのみ利用
- 18. 18 Stackless vs. Stackful C++コルーチンはスタックレス(Stackless) コルーチンでのみ co_await/co_yield を利用可能 ネストしたラムダ式や呼出先の関数では利用不可 中断/再開用のコールスタック保持不要のため軽量 【参考：スタックフル(Stackful)コルーチン】 任意のタイミングでコルーチン中断/再開が可能 Go言語のgoroutineや協調的ファイバ(Fiber)など 中断/再開用のコールスタックを保持するため高コスト
- 19. 19 Stackless vs. Stackful void f() { // suspend } task<void> g() // suspend f(); } コルーチン g フレーム void f() { // suspend } task<void> g() // suspend f(); } 関数 f フレーム コルーチン g フレーム Stackless (C++コルーチン) Stackful
- 20. 20 C++20コルーチン (再掲) 新キーワード co_await co_yield co_return 標準ヘッダ<coroutine> coroutine_traits<R,Args...> coroutine_handle<Promise> suspend_never suspend_always noop_coroutine() カスタマイズポイント Promise type Awaitable type operator co_await
- 21. 21 C++コルーチンの実例 〜 アプリケーションプログラマ視点 〜 generator iota(int end) { for (int n = 0; n < end; ++n) co_yield n; } int main() { auto g = iota(10); for (auto e : g) std::cout << e << " "; } $ clang++ src.cpp -std=c++2a $ ./a.out 0 1 2 3 4 5 6 7 8 9
- 22. 22 C++コルーチンの実例 〜 ライブラリプログラマ視点 〜 https://wandbox.org/permlink/IpSC8my6j0A1gT0I struct generator { struct promise_type { int value_; auto get_return_object() { return generator{*this}; } auto initial_suspend() { return std::suspend_always{}; } auto final_suspend() { return std::suspend_always{}; } auto yield_value(int v) { value_ = v; return std::suspend_always{}; } void return_void() {} void unhandled_exception() { throw; } }; using coro_handle = std::coroutine_handle<promise_type>; struct iterator { coro_handle coro_; bool done_; iterator& operator++() { coro_.resume(); done_ = coro_.done(); return *this; } bool operator!=(const iterator& rhs) const { return done_ != rhs.done_; } int operator*() const { return coro_.promise().value_; } }; // (cont.) // (cont.) ~generator() { if (coro_) coro_.destroy(); } generator(generator const&) = delete; generator(generator&& rhs) : coro_{std::exchange(rhs.coro_, nullptr)} {} iterator begin() { coro_.resume(); return {coro_, coro_.done()}; } iterator end() { return {{}, true}; } private: explicit generator(promise_type& p) : coro_{coro_handle::from_promise(p)} {} coro_handle coro_; };
- 23. 23 C++コルーチン At-a-Glance generator iota(int end) { for(int n=0; n<end; ++n) co_yield n; } coroutine_handle 引数, ローカル変数 再開位置情報 Promise object Promise type Return object Return type 取得 コルーチン開始時に オブジェクト生成 Coroutine state 中断時の 動作記述 Awaiter object Awaitable type コルーチン 中断処理 コルーチン開始時に 動的メモリ確保 型を導出 コルーチン 再開要求
- 25. 25 Promise コルーチン動作仕様を記述するユーザ定義クラス Promise typeはコルーチン戻り値型から導出 Promise objectはコルーチン実行と1:1対応 動作のカスタマイズポイントを規定 (constructor) get_return_object yield_value await_transform unhandled_exception operator new/delete get_return_object_on_allocation_failure initial_suspend final_suspend return_value return_void
- 28. 28 C++20コルーチン対応状況 コンパイラサポート状況 Clang, MSVC ：部分的にサポート GCC, etc. ：未対応 対応ライブラリ CppCoro - A coroutine library for C++ https://github.com/lewissbaker/cppcoro Boost.ASIO [Experimental] https://github.com/boostorg/asio Facebook Folly [Experimental] https://github.com/facebook/folly
- 30. 30 [おまけ] More information Working Draft, Standard for Programming Language C++ http://eel.is/c++draft/ Halo: coroutine Heap Allocation eLision Optimization https://wg21.link/p0981r0 Impact of coroutines on current and upcoming library facilities https://wg21.link/p0975r0 Coroutine Theory https://lewissbaker.github.io/2017/09/25/coroutine-theory How C++ coroutines work https://kirit.com/How%20C%2B%2B%20coroutines%20work luncliff/coroutine https://luncliff.github.io/coroutine/Home/ C++コルーチン拡張メモ https://qiita.com/yohhoy/items/aeb3c01d02d0f640c067
- 31. 31 [おまけ] Stackless vs. Stackful Stackful Coroutines(Fiber) fiber_context - fibers without scheduler [Oliver K., Nat G.] https://wg21.link/p0876r8 Fibers under the magnifying glass [Gor N.] https://wg21.link/p1364r0 Response to “Fibers under the magnifying glass” [Nat G., Oliver K.] https://wg21.link/p0866r0 Response to response to “Fibers under the magnifying glass” [Gor N.] https://wg21.link/p1520r0 Gorさん = C++20に統合されたCoroutines TS提案者 Oliverさん = Boost.Coroutine, Coroutine2, Fiber, Contextライブラリ作者