# Jim Gray ## 概要 Jim Gray(1944–2007、2012 年に法的に死亡宣告)は、トランザクション処理、データベースシステム、耐障害コンピューティング、並列データベースの分野で先駆的な業績を残した計算機科学者である。[[Tandem Computers]]、IBM、DEC（Digital Equipment Corporation）、[[Microsoft]] などに在籍した。1998 年にトランザクション処理の独創的研究とシステム実装におけるリーダーシップで ACM チューリング賞を受賞した。 本 wiki では以下の 2 論文の著者として登場する。 **[[@1985__Tandem__Why Do Computers Stop and What Can Be Done About It]]** では、商用耐障害システムの障害統計を初めて体系的に分析し、ソフトウェアと運用が障害の主因であることを定量的に示した。Bohrbug/Heisenbug の概念を広め、永続プロセスペアとトランザクション機構の組合せによるソフトウェア耐障害性の設計論を確立した。トランザクションの ACID 特性の定式化にも貢献した。 **[[@1992__CACM__Parallel Database Systems The Future of High Performance Database Systems]]**（[[David DeWitt]] との共著）では、シェアードナッシング並列データベースの基礎概念——スピードアップ・スケールアップ・3 脅威（startup/interference/skew）・3 種パーティショニング——を体系化した。1992 年時点で DEC San Francisco Systems Center に在籍（住所: 455 Market Street, 7th Floor, San Francisco CA 94105-2403、メール: [email protected]）。研究支援は IBM・NCR・Tandem・Intel Scientific から受けた。 **Gray [1990]**(*A Census of Tandem System Availability Between 1985 and 1990*)は、1985 年の [[@1985__Tandem__Why Do Computers Stop and What Can Be Done About It]] の障害統計分析を 1989 年まで延長した続報として [[@2019__MorganKaufmann__Computer Architecture - A Quantitative Approach - Appendix D Storage Systems]] §D.3 に引用されている。1985〜1989 年でハードウェア障害の比率が 29% から 7% へ低下する一方、ソフトウェア障害の比率が 34% から 62% へ増大したことを示し、1985 年時点の「ソフトウェアと運用が障害の主因である」という結論をより長期のデータで裏づけた。同時に、環境障害・運用者障害は顧客からの自己申告に依存するため過小報告されやすいと Gray 自身が指摘している。(Source: [[@2019__MorganKaufmann__Computer Architecture - A Quantitative Approach - Appendix D Storage Systems]] §D.3, 図D.7) **[[@2009__MITOCW__Principles of Computer System Design - Chapter 9 Atomicity - All-or-Nothing and Before-or-After]]** は、「2将軍のジレンマ(the dilemma of the two generals)」という分散合意の不可能性を示す思考実験の出典として、Gray の "Notes on Database Operating Systems"(1978年、*Operating Systems*, Lecture Notes in Computer Science 60, Springer Verlag に再録)を印刷物としてこの分析が初めて登場した文献として脚注で挙げる。同章はさらに、2相ロックの正当性の形式的論証について、Gray と Andreas Reuter による著書 *Transaction Processing*(トランザクション処理の標準的テキスト)を参照文献として挙げる。(Source: [[@2009__MITOCW__Principles of Computer System Design - Chapter 9 Atomicity - All-or-Nothing and Before-or-After]] §9.5.3, §9.6.4)