ジム・グレイ：データベースの ACID と並行制御を作った行方不明の天才

1. 身近な「ATM / 銀行送金の安全性」を逆算する

ATM で送金中に停電しても、お金が消えない・二重引落しされない。この「絶対の信頼性」を支えるのが データベースのトランザクション理論 (ACID)。ジム・グレイ が 1970-80 年代に確立した。

2. 100 文字でわかる

3. 500 文字でわかる

1944 年米国生まれ、UC Berkeley 博士 (CS 分野初の博士の 1 人)。IBM の System R (EP.65 コッド参照) で トランザクション理論 を確立、ACID 特性 (Atomicity / Consistency / Isolation / Durability) を体系化。「同時実行制御 (concurrency control)」「ロック」「2 相コミット」 などの概念を作り、現代 DB の核心。Tandem Computers (NonStop)・DEC・Microsoft Research を渡り歩き、1998 年チューリング賞。「The transaction concept」(1981) や著書「Transaction Processing: Concepts and Techniques」(1993) は DB の聖典。2007 年 1 月 28 日、自身のヨット「Tenacious」でサンフランシスコからファラロン諸島へ向かい、それ以降消息を絶った。Google・Microsoft が衛星画像で大規模捜索、業界の至宝を捜す異例の事態に。しかし発見されず、2012 年に法的に死亡認定。「最も愛された CS 学者」として今も追悼される。

4. もっと詳しく

ACID トランザクション

Atomicity (全か無か)、Consistency (整合性)、Isolation (独立)、Durability (永続性) の 4 性質を提唱。「銀行送金がどんな障害があっても確実に成立する」を保証する数学的フレームワーク。彼の論文「The transaction concept: virtues and limitations」(1981) は古典中の古典。

並行制御とロック

「多人数が同時にデータベースを使う時、どうやって整合性を保つか」 を体系化。2 相ロック (2PL)、Snapshot Isolation 等の方式を確立、現代の全 DB で実装されている。

「Computing in 2020」

1996 年、Microsoft Research での講演「Computing in 2020」 で、「データは爆発的に増え、検索・分析の問題が中心になる」と予言。ビッグデータ・データサイエンスの予言として、後に振り返られる。

失踪 (2007)

2007 年 1 月 28 日、12 メートルのヨット「Tenacious」でサンフランシスコ湾を出てファラロン諸島へ。翌日帰る予定が音信不通に。Google・Microsoft が衛星画像 (DigitalGlobe) を提供、何千人ものボランティアが手分けして画像確認、しかし発見されず。2012 年法的に死亡認定。原因不明、CS 業界最大の喪失の 1 つ。

5. 現代への影響

• 全 RDB のトランザクション: PostgreSQL / MySQL / Oracle / SQL Server
• 金融システム: 銀行・証券・決済の信頼性
• E コマース: 在庫・注文・決済の整合性
• ビッグデータ予言: 1996 年講演が現実に
• チューリング賞 (1998)

6. もっと知りたい人へ

• Wikipedia (日本語): ジム・グレイ (計算機科学者))
• 書籍「Transaction Processing: Concepts and Techniques」: DB の聖典
• 「Computing in 2020」(1996): ビッグデータの予言

7. 次の話

EP.67 では ジョン・バッカス を扱います。FORTRAN を作り、プログラミング言語の歴史を変えた IBM 研究員。