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

兼容多核并行计算的函数式语言处理系统的实现

• 批准号: 19K11893
• 负责人: 上野 雄大
• 金额: $ 2.75万
• 依托单位: Niigata University (2021-2022)Tohoku University (2019-2020)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K11893/
• 关键词: SML#; 並列計算; コンパイラ; 関数型言語; ガベージコレクション; プログラミング言語

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

The general purpose of this study is to stabilize the parallel computational performance of C speech and FORTRAN, and to develop related digital speech processing systems. In this paper, we mainly focus on the development of digital speech management methods, such as: (1) the development of digital speech management methods, including the development of digital speech synchronization methods, and (2) the development of digital speech performance management methods, such as parallel management methods. This year, the research representative's affiliated organization changes, and the research project is promoted. For one thing, the initial research period was different from the final year. In this year, the results of this research were presented in a group. This research was developed in parallel with the international conferences (ISMM). In addition, the results of this research were presented in the reception lectures at international conferences (MoreVMs). The results of this study reveal that the goal of this study is to complete the work of this study and to complete the work of this study. The research organization of this study is scheduled to be extended for one year, and the contents of this year's plan are scheduled for the next year.

项目成果

SML#: Toward the ideal interoperability between languages and systems

小型ML

• 发表时间: 2023
• 作者: Shibayama Yuki;Ohnishi Yuki;Katagiri Tetsuya;Yamamoto Yuhei;Nakashima Yasuhiko;Kimura Mutsumi;Katsuhiro Ueno
• 通讯作者: Katsuhiro Ueno

関係代数を基礎とするプログラムに現れる名前解析システム

出现在基于关系代数的程序中的名称解析系统。

• 发表时间: 2020
• 作者: Takishita Yuta;Kobayashi Masaki;Hattori Kazuki;Matsuda Tokiyoshi;Sugisaki Sumio;Nakashima Yasuhiko;Kimura Mutsumi;上野雄大，大堀淳;大堀淳，上野雄大
• 通讯作者: 大堀淳，上野雄大

外部データの解釈を文脈ごとに与える動的型付け機構

动态类型机制，提供外部数据的上下文特定解释

• 发表时间: 2020
• 作者: 松田 時宜;梅田 鉄馬;加藤 雄太;西本 大貴;杉崎 澄生;古田 守;木村 睦;大堀淳，上野雄大，高城光平
• 通讯作者: 大堀淳，上野雄大，高城光平

SML# Project

小型ML

アトム変数を用いた名目単一化の実装

使用原子变量实现名义统一

• 发表时间: 2021
• 作者: 山上隼司;菊池健太郎;上野雄大;大堀淳
• 通讯作者: 大堀淳