2016 年度研究成果報告書

安全な多言語並列計算基盤のための型付中間言語

研究課題

研究課題/領域番号	26540030
研究種目	挑戦的萌芽研究
配分区分	基金
研究分野	ソフトウェア
研究機関	九州工業大学
研究代表者	八杉昌宏九州工業大学, 大学院情報工学研究院, 教授 (30273759)
研究期間 (年度)	2014-04-01 – 2017-03-31
キーワード	型付中間言語 / 低水準言語 / プログラミング言語処理系 / 型検査 / 並列計算 / データレース / 高水準言語 / 多次元配列
研究成果の概要	本研究は、様々な高水準言語の連携による安全で高性能な並列計算を可能とする汎用性を持つ型付中間言語の設計に挑んだ。既存の依存型、fractional permissionによる型検査技法をベースとし、逐次一貫性メモリモデルのためのデータレース回避の型検査技法、部分配列のpermissionを取り出せる空間的fractionの導入、複数の高水準言語からメタ呼出しを通して型付中間言語レベルで準備した共有データ構造を操作させる安全な方式、をそれぞれ検討できた。
自由記述の分野	計算機科学