C言語におけるコルーチン (2000)

Cにおけるコルーチン(Coroutines)

• コルーチンの導入: 大規模プログラムを構造化するのは常に難しい。データを生成するコードと消費するコードがあるとき、どちらを呼び出し側(caller)にし、どちらを被呼び出し側(callee)にするかを決める問題がしばしば生じる。
• 書き換え(Rewriting): 通信チャネルの片側を呼び出し可能な関数として書き換えるのが一般的な解決策である。これは元のコードよりも明快さに欠け、保守負担を増やす。
• クヌースのコルーチン(Knuth's coroutines): ドナルド・クヌースはスタックの概念を捨て、プロセスを対等な協力者として考える解決策を示した。ただしこれはアセンブリ言語でしか実現できず、Cのような高級言語ではサポートされていない。
• スタックベースのコルーチン(Stack-based coroutines): Cでクヌースのコルーチン呼び出しの原理を模倣しようとする。そのために goto 文と状態変数を使い、関数内部で制御を任意の地点へ移動させる方法を用いる。
• ダフの装置(Duff's device): switch 文の内部にある case 文を使い、ラベルの代わりに switch 文そのものへジャンプを行う。これによってコルーチンのトリックを実装する。
• 評価(Evaluation): コルーチンマクロを使うことで、生成者と消費者の間でデータを受け渡せるようになる。これはANSI Cで移植性を保って実装される。
• コーディング標準(Coding Standards): この技法はコーディング標準に違反するが、アルゴリズムの構造を明確に表すのに役立つ。コーディング標準は構文的な明快さよりもアルゴリズム的な明快さを追求すべきである。
• 改良とコード(Refinements and Code): 実際のアプリケーションでは、静的変数に依存せず、再入可能でマルチスレッド環境でも動作するコルーチン実装が必要になる。そのためにコンテキスト構造体を引数として使用する。

GN⁺の見解

• 重要性: この記事は、C言語でコルーチンを実装する創造的な方法を提示することで、プログラマがデータ生成者と消費者の相互作用をより効率的にコーディングできる方法を説明している。
• 興味深さ: クヌースのコルーチンの概念をC言語に適用しようとする試みは、プログラミング言語の限界を乗り越えようとする開発者の創造性を示している。
• 役立つ点: コルーチンを使えば、複雑な状態機械を明示的に書かなくても非同期処理を実装でき、コードの可読性と保守性が向上する。