精度保証のある高精度数値計算のための並列処理による高速化

通过并行处理在保证精度的情况下加速高精度数值计算

基本信息

  • 批准号:
    22K11978
  • 负责人:
  • 金额:
    $ 2.58万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2022
  • 资助国家:
    日本
  • 起止时间:
    2022-04-01 至 2025-03-31
  • 项目状态:
    未结题

项目摘要

本研究では,多倍長演算ライブラリや任意精度保証計算ライブラリを用いた高精度数値計算の高速化を目的としている.特に,高並列マルチコアプロセッサ環境を活かした並列処理による高速化の可能性を追求する.本研究で得られた知見は我々が取り組んでいる任意精度保証演算ライブラリIFNの高性能化に活かすことを想定している.初年度である令和4年度には,区間演算ライブラリMPFIを用いて記述された数値計算プログラムに対し,データフローグラフ構築とそれに基づく並列性抽出の効果確認および性能向上のための検討を行った.データフローグラフを用いた並列処理は,明示的な並列処理記述と比較して高い並列性の抽出が期待できる一方で,データフローグラフ構築や並列処理制御のオーバヘッドの高さによっては並列処理効率を高く保つことは容易ではない.我々は,予備実験の結果,並列処理の単位を小さくし過ぎず,多倍長演算による区間演算とすることが効果的であるものの,データフローグラフ構築にかかるコストが無視できない点を確認している.これを踏まえ,初年度には,高い並列処理効率を目指し,プログラム中の一部の数値演算のみを展開してデータフローグラフを構成してそれをプログラム中の複数箇所の並列処理制御に利用する手法を検討した.システムのプロトタイプを開発し,複数の数列の並列計算を題材とした実験により,一定の効果を確認した.様々な数値計算アプリケーションのデータフローのパターンに本手法を対応させる方法の検討が次の課題である.本年度には,本研究の最終的な目的の一つであるIFNの高速化に関連して,区間演算方式の変更や任意精度保証のための再計算手法の改善による所要メモリ量削減と高速化に関する研究についても進展が得られた.
The purpose of this study is to speed up calculations using high-precision numerical values ​​using multi-length calculus calculations that guarantee arbitrary accuracy. Special, high-parallel processing environment, high-speed parallel processing, pursuit of the possibility of high-speed processing, and high-speed processing. This research is based on the high performance of IFN's high-performance calculation and arbitrary precision guaranteed calculation. The first year of the year and the 4th year of the year, the interval calculation of the MPFI is calculated using the いて description of the numerical value calculation プログラムに対し, データフローグラフ CONSTRUCTION とそれにbased づく parallel extraction の effect confirmation および performance improvement のための検椒行った. The データフローグラフを uses いたparallel processingは, the explicit なparallel processing descriptionとComparisonしてHigh parallelismのExtractionがexpectationできるOne sideで,データフローグラフConstructionやParallel processing controlのオーバヘッドの高さによってはParallel processing efficiencyをHighく宝つことはeasyではない. I'm going to prepare the results, and I'm going to do a parallel processing of the single bit, a small one, a multi-length calculation, an interval calculation, and a multi-length calculation.であるものの of が effect, データフローグラフconstructed にかかるコストがignore できないclick をconfirmしている.これをStep on the まえ, the first year には, the high いparallel processing efficiency を Eye refers to し, the プログラム中の一のnumerical value calculation のみをDevelopment してデータフローグラフを composed of してそれをプログラム中のplural 箇所のParallel processing control にutilization する technique を検 Discussion した.システムのプロトタイプを开発し, complex number sequence のparallel calculation を theme とした実験により, certain のeffectをconfirmationした.様々なnumerical value calculationアプリケーションのデータフローのパターンに本法を対応させる法の検研究が时の题である. This year, the final purpose of this study is to improve the speed of IFN and to change the interval calculation method to any precision. The improvement of the recalculation method for ensuring the degree of accuracy has led to the reduction of the amount of resources required and the speeding up of the research, and the progress has been made.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
区間演算ライブラリを用いるプログラムのための依存グラフの局所的構築と再利用による効率的なデータフロー並列処理
通过局部构建和重用使用区间算术库的程序的依赖图来实现高效的数据流并行性
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    佐原海哉,川端英之,谷川一哉,弘中哲夫
  • 通讯作者:
    佐原海哉,川端英之,谷川一哉,弘中哲夫
数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善
通过改进数值计算库IFN的数值表达并引入复合运算来提高内存效率
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    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 }}

川端 英之其他文献

末尾再帰でない再帰プログラムの高速 化のための最適化に関する一考察
非尾递归递归程序加速优化研究
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小林 周太郎;川端 英之;弘中 哲夫
  • 通讯作者:
    弘中 哲夫
Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決
基于满足 Haskell 中类型类约束的类型变量赋值的唯一性检查的类型歧义解决
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    河野 雄也;川端 英之;弘中 哲夫
  • 通讯作者:
    弘中 哲夫

川端 英之的其他文献

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

{{ truncateString('川端 英之', 18)}}的其他基金

行列言語インタプリタ用ランタイムルーチン生成系の開発
矩阵语言解释器运行时例程生成系统的开发
  • 批准号:
    17700037
  • 财政年份:
    2005
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了