単一参照プロセスの検出による関数プログラムの並列実行性能の改善

通过检测单参考进程来提高功能程序的并行执行性能

基本信息

  • 批准号:
    09780240
  • 负责人:
  • 金额:
    $ 1.47万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1997
  • 资助国家:
    日本
  • 起止时间:
    1997 至 1998
  • 项目状态:
    已结题

项目摘要

関数プログラミング言語では,プログラムは決定的であり,制御を陽に指定する必要がない.また割り付けや割り当てはシステム側が指定でき,プログラムの可搬性が保たれる.申請者は,単一参照プロセス(一度しか参照されないプロセス)は,実際には,計算結果をブロードキャストする必要がないため,これを予め検出しておけば,関数プログラムの並列実行性能を改善できることに着目し,抽象解釈によって単一参照プロセスを検出するための算法を提案している.本研究では,まず,既存の計算機や記憶装置を使用して,関数プログラムの分散並列実行に利用できる解析技法である,単一参照プロセス検出のための算法を実現した.さらに,新たに調達したワークステーション上に,広く使用されている関数プログラミング言語 Haskellの処理系を実現し,これに従来からある必須性解析や共有解析といった手法に,単一参照プロセスの情報を組合わせて利用できるシステムを開発した.また,並列実行を実現するための相互結合網としてハイパキューブを選び,その通信性能の改善を試みた.以上の内容を各種学会の全国大会,研究会および国際会議で発表した.現在は,今後も引続き発表するべく準備を行っている.また,ベンチマーク用のプログラムを利用して,実現した処理系の性能を評価し,各パラメータを調整中である.
Count the number of words, make the decision, and make sure that you specify the necessary information. Please pay for it when you specify that it is removable and removable. Please make a reference to the list of applicants, and calculate the results of the calculation. The results show that it is necessary to improve the performance of the system. In the abstract solution, the algorithm is proposed by referring to the algorithm. In this study, the existing computing machine recording devices are used, and the data are distributed and listed. By using the analytical techniques of data analysis, a reference is made to find out the algorithm of data acquisition. In this paper, the new information is available, and the information is displayed in the Haskell system. In this way, there is a common analysis method, and a reference to the information system is used to open the system. Please check that the communication performance will be improved and the communication performance will be improved. The above contents are related to the national conferences of various societies, and the international conference tables will be reviewed. Now, in the future, I would like to refer to the table and prepare for the bank meeting. In order to improve the performance of the system, we need to make use of the information to make full use of it.

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
金子敬一: "全到達可能性によるハイパキューブの経路選択算法" 電子情報通信学会技術研究報告. FIIS-97-34. (1997)
Keiichi Kaneko:“基于总可达性的超立方体路由选择算法”IEICE 技术研究报告(1997)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Keiichi Kaneko: "A Fault-Tolerant Routing Algorithm based on Full Reachability for Hypercube Systems" Proc.CNDS'99. 99-103 (1999)
Keiichi Kaneko:“基于超立方体系统完全可达性的容错路由算法”Proc.CNDS99。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
金子敬一: "ハイパキューブの耐故障経路選択算法の耐リンク故障への拡張" 電子情報通信学会論文誌(掲載予定). J82-D-I・3. (1999)
Keiichi Kaneko:“超立方体容错路由选择算法的扩展”IEICE Transactions(待出版)(1999 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
金子敬一: "ハイパキューブ結合網の耐故障経路選択算法" 電子情報通信学会技術研究報告. FTS-98-57. 53-60 (1998)
Keiichi Kaneko:“超立方体连接网络的容错路由选择算法”IEICE 技术研究报告 FTS-98-57 (1998)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
金子敬一: "全到達可能性によるハイパキューブの耐故障経路選択算法" 電子情報通信学会論文誌. J81-D-I・8. 1024-1030 (1998)
Keiichi Kaneko:“基于总可达性的超立方体容错路由选择算法”,电子、信息和通信工程师学会汇刊 J81-D-I・8(1998 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

金子 敬一其他文献

多重ゼータ関数の負の整数点での値の表示について
关于显示多个zeta函数的负整数点处的值
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    毛利 考佑;島田 敬士;殷 成久;魚崎 典子;金子 敬一;松本耕二
  • 通讯作者:
    松本耕二
デジタル教科書における学習ログを利活用した教員支援システム
使用数字教科书中学习日志的教师支持系统
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    毛利 考佑;島田 敬士;殷 成久;魚崎 典子;金子 敬一
  • 通讯作者:
    金子 敬一
計算機アーキテクチャ教育用ビジュアルシミュレータの組込みメイル機能
用于计算机体系结构教育的视觉模拟器的内置电子邮件功能
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今井 慈郎;金子 敬一;中川 正樹;今井慈郎・金子敬一・中川正樹
  • 通讯作者:
    今井慈郎・金子敬一・中川正樹
計算機教育用可視化シミュレータの運用サーバ環境
计算机教育可视化模拟器运行服务器环境
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今井 慈郎;金子 敬一;中川 正樹;林雅也・今井慈郎・堀幸雄・林敏浩
  • 通讯作者:
    林雅也・今井慈郎・堀幸雄・林敏浩

金子 敬一的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('金子 敬一', 18)}}的其他基金

Meta-torus: Proposal and assessment of a new topology for massively parallel systems
Meta-torus:大规模并行系统新拓扑的提议和评估
  • 批准号:
    23K11029
  • 财政年份:
    2023
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
アミニルラジカル種を駆使する新規触媒系の開発と医薬リードの迅速構造最適化への応用
充分利用氨基自由基的新型催化剂体系的开发及其在药物先导物快速结构优化中的应用
  • 批准号:
    14J12238
  • 财政年份:
    2014
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
完全遅延部分評価のための処理系の開発
全延迟部分评估处理系统的开发
  • 批准号:
    07780235
  • 财政年份:
    1995
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
部分計算に適した関数プログラムの完全遅延評価環境の実現
为适合部分计算的函数程序实现完整的惰性求值环境
  • 批准号:
    06780239
  • 财政年份:
    1994
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
完全遅延評価による関数プログラムの部分計算
具有完全惰性求值的函数程序的部分计算
  • 批准号:
    05780231
  • 财政年份:
    1993
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
具有一般递归结构的函数程序的融合变换及其实际应用
  • 批准号:
    10139210
  • 财政年份:
    1998
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (A)
関数プログラムの再帰構造の抽象化とプログラム融合変換に関する研究
函数式程序递归结构抽象及程序融合变换研究
  • 批准号:
    09245207
  • 财政年份:
    1997
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
関数プログラム言語のコンパイラの研究
函数式编程语言编译器研究
  • 批准号:
    09780271
  • 财政年份:
    1997
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
部分計算に適した関数プログラムの完全遅延評価環境の実現
为适合部分计算的函数程序实现完整的惰性求值环境
  • 批准号:
    06780239
  • 财政年份:
    1994
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
完全遅延評価による関数プログラムの部分計算
具有完全惰性求值的函数程序的部分计算
  • 批准号:
    05780231
  • 财政年份:
    1993
  • 资助金额:
    $ 1.47万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了