マルチコア並列計算に対応した関数型言語処理系の実現

点击翻译按钮获取中文摘要

本研究の一般的な目的は，C言語やFORTRANに匹敵する並列計算性能を安定して発揮できる関数型言語処理系を実現することである．この実現に向けて，本研究では，主に関数型言語のコードが行うメモリの使い方に着目し，(1)暗黙的なメモリ操作や大域的同期を含まないコードを生成するコンパイル方式の開発，および(2)関数型言語の高いメモリ要求に耐える性能を発揮する並行・並列メモリ管理方式の構築を目指した研究を実施している．本年度は，研究代表者の所属機関異動に伴う本研究以外のエフォートの急激な増大に伴い，本研究を推進する時間を確保できなかったため，目的とする研究項目に対する研究活動を推進することができなかったことが悔やまれる．その一方で，当初の研究期間では最終年度に当たる本年度は，本研究の成果の公表に取り組み，本研究で開発した並行並列ガベージコレクションアルゴリズムに関する論文が国際会議（ISMM）に採択され，さらに国際会議（MoreVMs）における招待講演において本研究の成果を含む発表を行った．結果として，本研究が掲げた2つの目的のうちの1つが，実装の完成と成果の公表の両面において完了したと言える．もうひとつの研究項目である，暗黙的なメモリ操作や大域的同期を含まないコード生成方式の設計およびSML#コンパイラの研究開発については，本研究の研究機関を一年延長した上で，当初は本年度に計画していた内容を次年度に取り組む予定である．