Garbage Collection Handbook: 自動メモリ管理の技術 (第2版)

モダンな自動メモリ管理への包括的ガイド

The Garbage Collection Handbook: The Art of Automatic Memory Management (2nd Ed) は、自動メモリ管理における60年間の研究開発を統合した権威あるリファレンスです。1996年版および2012年版の基礎知識を更新し、現代のハードウェアおよびソフトウェア環境によってもたらされる複雑さに対処しています。

第2版における主な更新内容と新コンテンツ

2023年の第2版は、進化し続けるハイパフォーマンス・コンピューティングとメモリ管理の展望をカバーするために、以前のバージョンを拡張しています。

拡張された範囲と新しい章

• ボリュームの増加: 第2版には90ページ以上の追加コンテンツが含まれています。
• 新しい専門トピック: データ耐久性と電力効率における現代の優先事項を反映し、永続性（persistence）とエネルギー意識型ガベージコレクション（energy-aware garbage collection）に焦点を当てた新しい章が導入されています。
• モダンなコレクター分析: 現代の高性能な商用ガベージコレクターに関する詳細な議論が行われています。

高度なアルゴリズムの網羅

伝統的かつ単純なアルゴリズムを超えて、本書は以下を徹底的に網羅しています：

• Parallel Garbage Collection: 複数のプロセッサを利用して停止時間を短縮します。
• Concurrent Garbage Collection: アプリケーションの実行を継続しながら、コレクションタスクを実行します。
• Incremental Garbage Collection: コレクションプロセスを小さなチャンクに分割して、長い停止時間を回避します。
• Real-time Garbage Collection: 時間制約のあるシステムに対して、決定論的な停止時間を保証します。

技術的特徴と学習リソース

本書は、ガベージコレクターの実装者と、最適なパフォーマンスのためにそれらを構成する必要があるプログラマーの両方を対象に設計されています。

教育的ツール

• 擬似コードと図解: 複雑なアルゴリズムや概念は、アクセシビリティ向上のために視覚的な補助ツールと擬似コードを通じて説明されます。
• Runtime Interface: 本文では、ガベージコレクションの「トリッキーな側面」、具体的にはコレクターとランタイムシステムの間のインターフェースについて説明しています。

デジタル拡張機能と研究データベース

• ハイパーリンク付き電子書籍: 電子版には、章、セクション、アルゴリズム、用語集のエントリを元の研究論文へと結びつける37,000以上のハイパーリンクが含まれています。
• 書誌データベース: 著者は、ガベージコレクションに関連する約3,400件の出版物を収録したオンラインデータベースを維持しており、学術的および専門的な研究のために、抄録とDOIを提供しています。

コミュニティの視点と用語の議論

本書は最高の資源として広く認識されていますが、コミュニティの議論では、このシリーズで使用されている用語に関する特定の緊張関係が浮き彫りになっています。

「Garbage Collection」対「Automatic Memory Management」の議論

一部の実務家は、tracing GCとreference countingの両方を包含する総称として「garbage collection」を使用することは誤解を招くと主張しています。あるコミュニティメンバーが指摘したように：

What I didn’t like about this series of books was choosing “garbage collection” as umbrella term for both tracing GC and reference counting... By that definition, C++ code has garbage collection if it uses std::shared_ptr, going against widespread common usage of the term “garbage collected programming language” which specifically contrasts manual languages like C++ or Rust against garbage collected ones.

この批判は、「Automatic Memory Management」の方がこの分野をより正確に記述していることを示唆しています。なぜなら、それは tracing garbage collector という特定のメカニズムを暗示することなく、メモリ解放を自動化するすべての方法を包含するからです。