• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2021 年度 実施状況報告書

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

研究課題

研究課題/領域番号 19K11893
研究機関新潟大学

研究代表者

上野 雄大  新潟大学, 自然科学系, 准教授 (60551554)

研究期間 (年度) 2019-04-01 – 2023-03-31
キーワードSML# / 並列計算 / コンパイラ / 関数型言語 / ガベージコレクション
研究実績の概要

本研究の一般的な目的は,C言語やFORTRANに匹敵する並列計算性能を安定して発揮できる関数型言語処理系を実現することである.この実現に向けて,本研究では,主に関数型言語のコードが行うメモリの使い方に着目し,暗黙的なメモリ操作や大域的同期を含まないコードを生成するコンパイル方式の開発,および関数型言語の高いメモリ要求に耐える性能を発揮する並行・並列メモリ管理方式の構築を目指した研究を実施している.本年度は,主にソフトウェア開発およびコンパイル方式の理論的基礎の検討を行い,以下の成果を得た.
(1) 本研究で開発している並行並列ガベージコレクション(GC)アルゴリズムのSML#コンパイラにおける実装に含まれていた潜在的なパフォーマンス上の問題点を発見し,パラメタの細やかなチューニングを含めた修正を行い,方式および実装の完成度を更に高めた.また,このGCの利用を前提としたSML#のスレッドバインディングのバグを修正した.
(2) 駆動するCPUコアの数を増やすことで実行時間が短縮されることが期待できる,自明でないタスク並列ベンチマークプログラムを複数の言語で作成し,多言語との比較を含む性能評価を行い,本研究で開発したGC方式の優れた効果を改めて確認した.
(3) 本研究が目指す,暗黙的なメモリ操作を含まないコードを生成するコンパイル方式を綿密に検討する過程において,メモリの使い方が明らかな操作的意味論の必要性とその構成に関する着想を得た.この着想は,宣言的で抽象度が高い記述をしながら,マルチコアCPUやメモリなどの具象的な計算資源を緻密に制御することを可能とする,新しい関数型言語の実現に繋がる可能性がある.

現在までの達成度 (区分)
現在までの達成度 (区分)

3: やや遅れている

理由

本研究で開発した並行並列ガベージコレクション(GC)アルゴリズムに関する成果については,昨年に引き続き改良を加えた論文を複数の国際会議に投稿しているものの,いまだ採択に至っておらず,口惜しい限りである.論文のブラッシュアップはもとより,得られた成果を適用したSML#の開発や普及の努力を継続することが,世界のプログラミング言語研究に貢献する成果と認められることに繋がると期待したい.もう一つの研究項目である,暗黙的なメモリ操作を含まないコード生成方式についても,その実現に向けての努力が種々の着想に繋がってはいるものの,いまだ道半ばであり,論文としてまとめられる成果には至っていない.以上から,やや遅れていると判断する.

今後の研究の推進方策

並行並列ガベージコレクションアルゴリズムに関しては,さらなる改良や性能評価を行うとともに,トップカンファレンス等への採択を目指す.並行して,この機能を活用した種々の応用研究の可能性を模索する.暗黙的なメモリ操作や大域的同期を含まないコード生成方式に関しては,ソース言語および中間言語の適切な設計,生成が期待されるコードの定性的評価などを通じた基礎固めを継続し,方式の完成を目指す.さらに,プログラム最適化技術や言語設計の研究に取り組み,本研究成果を提供したSML#コンパイラの実用性を高め,本研究成果の幅広い分野への普及を目指す.

次年度使用額が生じた理由

投稿論文が採択されず,また新型コロナウイルス感染症対策で学会の多くがオンライン開催となり,旅費がかからなかったため,次年度使用額が生じた.次年度使用額は,コロナ禍が終息した場合に旅費として使用する予定である.

  • 研究成果

    (4件)

すべて 2021 その他

すべて 学会発表 (2件) (うち国際学会 1件) 図書 (1件) 備考 (1件)

  • [学会発表] アトム変数を用いた名目単一化の実装2021

    • 著者名/発表者名
      山上隼司, 菊池健太郎, 上野雄大, 大堀淳
    • 学会等名
      日本ソフトウェア科学会第38回大会
  • [学会発表] A compilation method for dynamic typing in ML2021

    • 著者名/発表者名
      Atsushi Ohori, Katsuhiro Ueno
    • 学会等名
      The 19th Asian Symposium on Programming Languages and Systems
    • 国際学会
  • [図書] SML#で始める実践MLプログラミング2021

    • 著者名/発表者名
      大堀淳,上野雄大
    • 総ページ数
      242
    • 出版者
      共立出版
    • ISBN
      9784320124714
  • [備考] SML#プロジェクト

    • URL

      https://smlsharp.github.io

URL: 

公開日: 2022-12-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi