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

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

基本信息

批准号：
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
项目状态：
已结题

项目摘要

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

这项研究的一般目的是实现一个功能性语言处理系统，该系统可以稳定地证明与C语言和Fortran相当的平行计算性能。为了实现这一实现，本研究的重点是如何使用功能语言代码使用内存，以及（1）开发生成隐式内存操作的编译系统和不包括大范围同步的代码，以及（ 2）我们正在进行旨在构建平行且平行的内存管理方法的研究，该方法可以发挥可承受功能语言中高内存请求的性能。今年，由于研究代表的转移，这项研究的努力迅速增加，因此无法确保促进这项研究的时间，因此我们可以为所需的研究项目促进研究活动。不是。另一方面，在去年的研究期间，今年与最后一年相对应的是，我们将发表这项研究的结果，并采用了有关平行差距的论文，这是一项研究中的平行贝吉收集算法通过国际会议（ISMM）和国际会议（ISMM）。结果，可以说，这项研究列出的两个目的之一是在实施完成和结果宣布的过程中完成的。另一个研究项目是代码生成方法的设计，它不包括隐式内存操作和大型登记同步，以及SML＃Compila的R＆D，该研究的研究机构最初延长了一年在下一个财政年度计划今年计划的内容。

项目成果

期刊论文数量（13）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Takishita Yuta;Kobayashi Masaki;Hattori Kazuki;Matsuda Tokiyoshi;Sugisaki Sumio;Nakashima Yasuhiko;Kimura Mutsumi;上野雄大，大堀淳;大堀淳，上野雄大
通讯作者：
大堀淳，上野雄大

SML#: Toward the ideal interoperability between languages and systems

小型ML

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Shibayama Yuki;Ohnishi Yuki;Katagiri Tetsuya;Yamamoto Yuhei;Nakashima Yasuhiko;Kimura Mutsumi;Katsuhiro Ueno
通讯作者：
Katsuhiro Ueno

SML# Project

小型ML