生産者-消費者問題 とは？

回転寿司をイメージしてみて。板前さん（生産者）がお寿司を作ってレーンに流す。お客さん（消費者）がレーンからお寿司を取る。でもレーンには限りがあるよね。レーンが満杯なら板前さんは待つし、レーンが空ならお客さんは待つ。この調整をどうするかという問題だよ

すごく多いよ！Webサーバーがリクエストをキューに入れてワーカースレッドが処理するのも、ログを生成してバッチで書き込むのも、動画のエンコードとアップロードを別スレッドでやるのも、全部生産者-消費者パターンなんだ

古典的にはセマフォを3つ使うんだ。1つ目はバッファの空きスロット数を管理するセマフォ、2つ目はデータが入っているスロット数を管理するセマフォ、3つ目はバッファへの排他アクセス用のミューテックス。生産者は「空きがある→ロック→データ追加→ロック解放→データありを通知」という流れだよ

モニタを使えばもっとシンプルに書けるよ。Javaならwait()とnotify()、Pythonならqueue.Queueを使えば排他制御と条件同期を内部でやってくれるんだ。実務では言語が提供するスレッドセーフなキューを使うのが一般的だよ

これが意外と難しい問題なんだ。大きすぎるとメモリを浪費するし、小さすぎると生産者がすぐブロックされて性能が落ちる。一般的にはCPUコア数の数倍程度が目安だけど、実際にはプロファイリングして調整するよ

むしろ現代のほうが重要になっているよ。Apache KafkaやRabbitMQなどのメッセージキューはまさに大規模な生産者-消費者パターンだし、Goのchannelもこのパターンを言語レベルでサポートしているんだ

1965年にダイクストラが提唱してから60年以上経つけど、非同期処理やマイクロサービスの普及でむしろ重要性が増しているよ。並行プログラミングの基本パターンだから、しっかり理解しておくとシステム設計の引き出しが増えるね