平成18年度論文賞の受賞論文紹介 : 研究の世界に飛び込んで

全文

(1))0. " 3 *. E ST 0 A P E R ! W. AR. D. 研究の世界に飛び込んで白井達也（株）リコー遠藤敏夫東京工業大学学術国際情報センター田浦健次朗東京大学情報理工学系研究科近山隆東京大学新領域創成科学研究科〔受賞論文〕・高いヒープ使用率の下で高速なインクリメンタル GC ・白井達也，遠藤敏夫，田浦健次朗（東京大学情報理工学系研究科），近山隆（東京大学新領域創成科学研究科）・情報処理学会論文誌，Vol.47, No.SIG2 (PRO28), pp.74-83 (2006). このたび標記の論文で本会論文賞を受賞することとな. 平成年度論文賞の受賞論文紹介. 18. これを励みに今後も情報処理分野の発展に努める所存である．. IMS S-Hybrid D-Hybrid. コスト. った．このことは我々にとって大変名誉なことであり，. 本研究の高ヒープ利用率下のガーベジコレクション（GC）というテーマは，東京大学近山・田浦研における白井の卒業論文の研究課題として提案された．白井は当時より情報基盤技術に興味を持っており，言語処理系の. 1. 1.5. 2. 2.5. 3. ヒープサイズ／生存オブジェクト. 研究は刺激的なものであると感じた．我々は GC の性質のうち，ヒープサイズが限られても. 図 -1 ヒープサイズ変化への耐性の比較. スループット低下を抑えること（ヒープサイズ変化への耐性）に注目し，短い停止時間と両立させることを目指した．よく知られたインクリメンタルマークスイープ（IMS）アルゴリズムなどではヒープが小さいときにオー. ような苦労や経験・出会いを通して大きな成長を実感している．. バヘッドが大きく，耐性が低い．そこで 2 つの基本的な. GC は今や言語処理系にとって欠かすことのできない. GC アルゴリズムである IMS と参照カウント（RC）を組. 技術である．本研究がそのような分野の発展に少しでも. み合わせてこれらを満たす手法を提案した．両者を単純. 役に立てば，非常に喜ばしく思う．. に組み合わせるだけではヒープサイズ変化への耐性が向. （平成 19 年 4 月 30 日受付）. 上せず，双方の処理量を動的に調整することが肝要である．IMS，単純に組み合わせただけの S-Hybrid，我々の提案手法である D-Hybrid をモデル上で比較したところ，図 -1 のように D-Hybrid GC は小さいヒープでも低いコストで GC 処理を行うことができることが分かった．アルゴリズムの試験実装は IBM Jikes RVM の改造という形をとったが，VM のソースはメモリ管理の部分だけで 5 万行，VM 全体で 20 万行を超えるものである．モジュール化されているとはいえ，ソース構造を把握するだけで 1 カ月が過ぎてしまった．またデバッグに手間どり，ベンチマークプログラムが動作したのは卒業論文発表の 2 日前ということもあった．白井にとって初の学外発表もこの研究についてであり，多くの方にお世話になると同時に，GC 研究者の絆の強さに驚かされた．この. 760. 48 巻 7 号情報処理 2007 年 7 月. 白井達也（正会員） [email protected] 2007 年東京大学情報理工学系研究科修士課程修了．同年より（株）リコー勤務．情報処理の基盤技術に興味を持つ． ----------------------------------------------------------------------------------------------遠藤敏夫（正会員） [email protected] 2001 年東京大学大学院理学系研究科情報科学専攻博士課程修了．現在東京工業大学学術国際情報センター特任講師．分散／並列処理，言語処理系の研究に従事． ----------------------------------------------------------------------------------------------田浦健次朗（正会員） [email protected] 1997 年東京大学大学院理学博士（情報科学専攻）．現在同大学院情報理工学系研究科准教授． ----------------------------------------------------------------------------------------------近山隆（正会員） [email protected] 1982 年東京大学大学院情報工学専門課程博士課程修了．現在同大新領域創成科学研究科教授．.

(2)