並列コレクション向けモジュール化技術の研究開発

并行集合模块化技术研究与开发

• 批准号: 26870165
• 负责人: 佐藤 芳樹
• 金额: $ 2.5万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26870165/
• 关键词: 並列分散処理; 並列ストリーム; バリア同期

本研究の目的は，HPCアプリケーションの高度なモジュール分割を実現するために，オブジェクト指向言語のメソッド分割を発展させ，開発者が処理に差異のある反復処理やその順序関係を柔軟に記述できる強力な並列コレクション機構を開発する事である。そのために，次の研究課題に取り組む。（１）メソッドやモジュール分割するための言語機構の研究開発，（２）分割したメソッド間の順序関係を与えられる言語機構の研究開発，（３）分割したメソッドとその順序を扱えるコンパイラ及び並列コレクションの研究開発，（４）従来のHPCアプリケーション開発言語に対する記述性や実行性能の実験評価，（５）その他のモジュール化技術や専用言語との比較評価。並列コレクション向けの述語ディスパッチ機構及び条件付きバリア同期機構の設計と開発を行った。前者では，HPCアプリケーションのような細粒度の反復処理を並列コレクションで記述した際に，チューニングに伴う計算順序変更や，袖領域による通信オーバーラップのような部分的な処理の差異を述語付きメソッドとして定義できるようにした。本機構は，科学技術計算シミューレションのコア計算としてよく用いられるステンシル計算を抽象化し，カーネル計算とその差分・順序を簡潔に切り離す事でプログラムのモジュラリティを向上させた。本研究の成果は，情報処理学会HPC研究会にて報告した。次に後者では，反復処理間のバリア同期を細粒度に行う際に生じる処理の差異に特化して，同期条件を述語として記述できるようにした。本機構は，マルチエージェントによる社会シミューレションシステムに適用し，従来の素朴なバリア同期と同等の記述を与えるだけで，細粒度の同期条件を設定できる新しいバリア同期に匹敵する性能を達成する事ができた。また，本研究の成果は，情報処理学会PRO研究会で発表し，研究会論文誌へ採録されている。

は の purpose, this study HPC ア プ リ ケ ー シ ョ ン の highly な モ ジ ュ ー ル segmentation を be presently す る た め に, オ ブ ジ ェ ク ト to speech の メ ソ ッ ド segmentation を 発 exhibition さ せ, who open 発 が 処 Richard に differences の あ る repeatedly 処 Richard や そ masato is の order を soft に account で き る strongly tied for コ な レ ク シ ョ ン institutions を open 発 す る matter で あ る. Youdaoplaceholder0 ために ために, the next <s:1> research topic に takes the む group. (1) メ ソ ッ ド や モ ジ ュ ー ル segmentation す る た め の words institutions open 発 の research, (2) segmentation し た メ ソ ッ ド を masato の order department and between え ら れ る words institutions open 発 の research, (3) segmentation し た メ ソ ッ ド と そ の order を Cha え る コ ン パ イ along ラ and び コ レ ク シ ョ ン の open 発 research, (4) 従 の HPC ア プ リ ケ ー シ ョ ン open 発 words に す seaborne る descriptive や be line performance の be 験 review 価, (5) そ の he の モ ジ ュ ー ル technology や 専 words と の 価 comparative assessment. Parallel コ レ ク シ ョ ン to け の adnex デ ィ ス パ ッ チ agencies and pay き び conditions バ リ ア と open at the same time institutions の design 発 を line っ た. The former で は, HPC ア プ リ ケ ー シ ョ ン の よ う な fine-grained の repeatedly 処 Richard を parallel コ レ ク シ ョ ン で account し た interstate に, チ ュ ー ニ ン グ に う calculation orders - more や, sleeve field に よ る communication オ ー バ ー ラ ッ プ の よ う な part of な 処 Richard の differences を adnex pay き メ ソ ッ ド と し て definition で き る よ う に し た. This institution は, science and technology calculation シ ミ ュ ー レ シ ョ ン の コ ア computing と し て よ く with い ら れ る ス テ ン シ ル を abstraction し calculation, カ ー ネ ル computing と そ の を concise cut に り difference, order from で す things プ ロ グ ラ ム の モ ジ ュ ラ リ テ ィ を upward さ せ た. The research results of this study are, and the HPC research society of the Information Processing Association reports にて た. Between time に latter で は, repeated 処 の バ リ ア period を fine-grained に line う interstate に raw じ る 処 Richard の differences に specialized し て, at the same time conditions を adnex と し て account で き る よ う に し た. This institution は, マ ル チ エ ー ジ ェ ン ト に よ る social シ ミ ュ ー レ シ ョ ン シ ス テ ム に applicable し, 従 to の naive な バ リ ア period と account equal の を and え る だ け で, fine-grained の を period conditions set で き る new し い バ リ ア period に match す る performance を reach す る matter が で き た. Youdaoplaceholder0, the research results of this study また, published by the PRO Research Society of the Institute of Information Processing で で, accepted in the journal of the Research society へ されて る る る.

项目成果

依存関係をもった並列タスクのための動的グループバリア同期とその効率的な実装

动态组屏障同步及其对具有依赖关系的并行任务的高效实现

• 发表时间: 2014
• 作者: 夏澄彦;佐藤芳樹;千葉滋
• 通讯作者: 千葉滋

軽量で抽象度の高い条件付きバリア同期とその実装方法

轻量级且高度抽象的条件屏障同步以及如何实现

• 发表时间: 2015
• 期刊: 情報処理学会プログラミング
• 作者: 夏 澄彦 ;佐藤 芳樹 ;千葉 滋
• 通讯作者: 千葉 滋

並列分散処理向けプログラミング言語X10向けの対話的にフィルタリング可能な挙動可視化ツールの開発

并行分布式处理编程语言X10的交互式可过滤行为可视化工具的开发

• 发表时间: 2015
• 期刊: 情報処理学会プログラミング
• 作者: 板橋 晟星 ;佐藤 芳樹 ;千葉 滋
• 通讯作者: 千葉 滋

Calculation coverage testing in scientific applications

• DOI: 10.1145/2771783.2771807
• 发表时间: 2015-07
• 期刊: Proceedings of the 2015 International Symposium on Software Testing and Analysis
• 作者: Yoshiki Sato;Shumpei Hozumi;S. Chiba