『Go言語で学ぶ並行プログラミング』は必読書である（夏の読書感想文2）

夏の読書感想文。 『にぎやかな未来』に続いて今回は『Go言語で学ぶ並行プログラミング』の感想文。

今年の1月から始まったオンライン読書会は第7回で無事に終了。 この記事ではあまり深堀りせず「訳者あとがき」やオンライン読書会の話などを中心にさらっと書いてみる。 なお『Go言語で学ぶ並行プログラミング』は版元で PDF 版が買える。 もしデジタル版をご所望であれば PDF 版を購入することを強くお勧めする。

オンライン読書会は翻訳者の柴田芳樹さんが主催者なのだが，柴田芳樹さんといえば Java の技術参考書の翻訳本でも有名な方で，今回の読書会でも Java との対比で解説されることも多々あり，非常に勉強になった。 サンプルコードなどは，タイトル通り Go 言語が前提になっているが，内容としては特定のプログラミング言語に限ることなく普遍的な内容になっている。

『Go言語で学ぶ並行プログラミング』は大きく三部構成になっている。

• 第1部 並行プログラミングの基礎
• 第2部 メッセージパッシング
• 第3部 並行処理のさらなるトピック

大雑把な内容はこんな感じ。

「第1部 並行プログラミングの基礎」では、Go 言語に限定せず、並行プログラミングについての多くの基礎的な事柄が説明されています。したがって、他のプログラミング言語での開発においても役立つ知識となるでしょう。実際、私自身も Go 言語を学ぶまでは、この第1部で紹介される技法だけで長年プログラミングを行ってきました。

「第2部 メッセージパッシング」では、Go 言語が提供するチャネルを中心に解説しています。そのため、内容の多くは Go 言語に特化しており、 Go でプログラミングを行う開発者にとって必須の知識となります。

「第3部 並行処理のさらなるトピック」は高度なトピックを扱っていますが、開発者として知っておくべき重要な領域です。

基本的に最初から順に読んでいくのがオススメだが，特に第1部と第3部は全てのプログラマが読むべき内容だと思う。 第2部は CSP (communicating sequential processes) と呼ばれる並行処理モデルについて詳しく解説している。 具体的には Go のチャネルを使ったデザインパターンを紹介している。

並行プログラミングを Go で書く強みは，カーネルレベルスレッドとユーザーレベルスレッドを組み合わせた極軽量¹ な M:N スレッディングモデルと第一級オブジェクト（first-class object）として実装されているチャネルにある。 例えば，大量の軽量スレッドとチャネルを組み合わせたパイプライン・パターンを使った素数探索コードを紹介している。 “Go Playground” でもサンプルコードとして “Concurrent Prime Sieve” が例示されているので見比べてみると面白いかもしれない²。

『Go言語で学ぶ並行プログラミング』には Go では今や一般的になった context パッケージについての言及がない³。 その代わりもう少し簡単な quit チャネルを使ったパターンを紹介している。 Go 以外の言語で考える場合や context パッケージがとっつきにくいと感じる人は9章で登場する quit チャネルを使ったパターンで考えるほうが分かりやすいかもしれない。

「訳者あとがき」に書かれているが『Go言語で学ぶ並行プログラミング』にはメモリモデルについての言及がない。 Go の場合は公式ドキュメントとして “The Go Memory Model” が公開されているので，一度は目を通しておくとよいだろう。 でもドキュメントの冒頭に

If you must read the rest of this document to understand the behavior of your program, you are being too clever.

とか書いてあったりするので，沼らない程度にさらっと見るくらいでいいだろう⁴（笑）

他にも「訳者あとがき」には本編にはない有用な情報が書かれているので最後まで余さず読んでみてほしい。

以前は『Go 言語による並行処理』をお勧めしていたが，今なら断然『Go言語で学ぶ並行プログラミング』のほうをお勧めする（併せて読むとなおよし）。 まぁ，あとから出た本のほうがよく出来てるのは当然なんだろうけど。 斬新というわけではないが，並行プログラミングを書く際の基本を押さえた堅実な内容だと思う。

以下は余談：

とあるオンライン読書会の雑談で出てきた話題なのだが「食事する哲学者の問題（dining philosophers problem）」というのがあるそうな。

簡単に言うとこんな感じに円卓に複数の哲学者がいて食事をするのだが

食事にはひとりあたり2つのフォークが必要なのに人数分しか用意されていない。 そのままだとフォークの取り合いによるデッドロックが発生してしまうわけだ。 デッドロックによる飢餓（starvation）が発生しないようにするにはどうするか，という問題である（他にもいくつか条件があるが割愛する。詳しくは上述のリンク先の記事をどうぞ）。

並行プログラミングの練習問題として丁度いいよね。 これを Go で解くことを「夏休みの自由研究」にしようかと思っていたのだが，もたもたしてるうちに夏が終わりそうである。

ブックマーク

• goroutine はグリーンスレッドではない（『Go言語で学ぶ並行プログラミング』読書会1回目）
• 条件変数とセマフォ（『Go言語で学ぶ並行プログラミング』読書会3回目）
• 『Go言語で学ぶ並行プログラミング』の練習問題より

参考図書