HPC Ruby:静的解析に基づくRubyの高度最適化コンパイラ | CiNii Research

高性能計算分野では他の分野では使われる事の少なくなってきた Fortran・C 言語が使われ続けている．これらの言語はその生産性の低さと並列計算機向けの最適化の困難さが問題であり，高級なプログラミング言語を使用可能とする事は今後の重要な研究課題である．その様な目的の研究では並列構文を備えた専用の言語の研究・静的型付けの関数型言語の研究が主流であるが，これらが計算科学者にとって使い易いものであるとは言い難い．我々は Ruby を用いて高性能計算を行う試みを行っている．Ruby はその記述の容易さ・高機能さから広く使われており，本言語に高性能計算に使用可能な性能を与える事の恩恵は大きい．本稿では我々の試みの第一歩として，Ruby の為の型解析手法の提案を行う．動的言語である Ruby は静的言語に比べ解析が困難であると考えられているが，部分評価手法と抽象解釈手法を組み合わせることにより十分な精