文献

J-GLOBAL ID：202002212178373921   整理番号：20A1931370

有向ベースPGAS言語におけるループ反復のデータ独立性のためのタイプシステム【JST・京大機械翻訳】

A type system for data independence of loop iterations in a directive-based PGAS language

著者 (1件)： Abe Tatsuya (Chiba Institute of Technology, Japan)
資料名： ACM Proceedings  (ACM Proceedings)
号： MPLR 2019  ページ： 50-62  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 分割されたグローバルアドレス空間(PGAS)言語におけるループステートメントの反復のデータ独立性は,分散メモリ上のループ反復の並列処理を可能にする十分条件である。しかし,データ独立性をチェックすることは,一般的に困難である。本論文では,頂点中心性の概念を用いて,タイプシステムを有する指令ベースPGAS言語XcalableMPのサブ言語を,ステートメントの非干渉特性を提案し,設計する。データ独立性と非干渉は一般的に互いに直交しているが,サブ言語におけるステートメントの非干渉は,タイプシステム上で容易にチェックされ,データ独立性を意味する。また,著者らは,XcalableMPのためのOmniコンパイラに関するタイプ検査を実行して,ステンシルカーネルの指令ベースの並列化と一時的ブロッキング最適化の事例研究を用いて,著者らのアプローチの有効性を確認した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 干渉 ,  最適化 ,  *言語 ,  コンパイラ ,  ステンシル版 ,  ブロッキング ,  事例研究 ,  並列処理 ,  十分条件 ,  有効性 ,  分散メモリ
準シソーラス用語： アドレス空間 , 【Automatic Indexing@JST】

著者キーワード (11件)： XcalableMP ,  データ独立性 ,  指令 ,  言語 ,  ループ反復 ,  非干渉 ,  分割大域アドレス空間言語 ,  ステンシルカーネル ,  時間的ブロッキング ,  タイプシステム ,  頂点中心性

分類 (3件)： ディジタル計算機方式一般  (JC02010O) ,  汎用プログラミング言語  (JD03051H) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 言語 ,  ループ ,  反復 ,  タイプ