ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
スポンサーリンク
概要
- 論文の詳細を見る
現在,繰越し依存を持つ多重ループはループ傾斜,ループ交換等を用いてループ変換を施し並列展開できることは広く知られている(wavefront method).しかしながら,それらの方式を使ってループ変換するためにはまず連立不等式を解き,ループインデックス変数のずらし等の操作を人手で行わなければならず,必ずしも簡単な方法とはいえない.我々は非同期ハンドシェイク式のストリームプログラミングを応用することで繰越し依存型多重ループの並列展開を容易になしとげることに成功した.本発表ではこの方法の詳細を述べる.また,共有メモリ型マルチプロセッサ上での並列化済み多重ループプログラムの性能を測定し,我々の方式を用いて並列化を施すことで十分な性能を引き出せることを示す.
- 2010-09-22
著者
-
長谷川 隆三
九州大学大学院システム情報科学研究院
-
雨宮 真人
大阪工業大学情報科学部
-
雨宮 真人
Ntt電気通信研究所
-
雨宮 真人
日本電信電話株式会社武蔵野電気通信研究所
-
雨宮 聡史
九州大学大学院システム情報科学研究院
-
雨宮 聡史
九州大学大学院システム情報科学府知能システム学専攻
-
長谷川 隆三
九州大学大学院システム情報科学研究院情報学部門
-
雨宮 真人
大阪工業大学情報科学部ネットワーク学科
-
雨宮 聡史
九州大学大学院システム情報科学研究院情報学部門
-
長谷川 隆三
九州大学大学院システム情報科学研究科知能システム学専攻
関連論文
- モデル列挙とモデル計数(最近のSAT技術の発展)
- エージェントコミュニティを利用したP2P型情報検索とその評価(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 並列分散オペレーティングシステムCEFOSにおける一括システムコール機構の実装と評価
- 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
- 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
- F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
- モデル生成型定理証明と要素技術(論理と推論技術の展開)
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)
- 6S-9 ユーザーのスケジュールを用いたWebページ推薦(ユーザ指向・推薦,学生セッション,データベースとメディア)
- D-008 相関ルールに基づく文書検索システム(D分野:データベース)
- スケジュールに基づくWebページ推薦に用いる検索単語の選定(WEBサービス,特集「Web情報処理」及び一般)
- スケジュールに基づく Web ページ推薦に用いる検索単語の選定
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- マルチエージェントシステムのための基盤ネットワーク構成手法(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- ユビキタス時代の情報基盤技術論文特集の発行にあたって
- 継続概念による割り込みなし並列I/O処理モデル(継続点)
- スレッドの実動作情報に基づく細粒度マルチスレッド制御法(並行処理(2))
- ユビキタスネットワーク社会を支えるマルチエージェント技術(セッション5 : 招待講演(1))
- ブラウジング支援のためのアクティブブラウジングシステムの提案(意図解析,特集「Web情報処理」及び一般)
- ブラウジング支援のためのアクティブブラウジングシステムの提案 (テーマ:「Web情報処理」および一般発表)
- Zero-Wait方式による多数のI/O要求に対する処理のFuce上での実現と評価(OS-2 : 資源管理,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
- クラスタリングと内部ネットワーク処理を利用した経路制御アルゴリズムに基づくデータ収集の仕組み(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- D-6-4 Fuceプロセッサに搭載するInter-thread Bridge Registerの検討(D-6.コンピュータシステムA(アーキテクチャ),一般講演)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構の評価(リソース制御)
- 継続モデルにデータ要求概念を適用したスレッド駆動制御の提案(最適化技術と並列処理モデル, SHINING 2006 「アーキテクチャとコンパイラの協調および一般」)
- 柔軟なサービス利用とプライベートな情報の保護実現を目指した資源管理空間モデル(プラットフォーム/ツール, ソフトウェアエージェントとその応用論文)
- D-041 エージェントコミュニティを利用したP2P型情報検索の検索精度評価(D分野:データベース)
- C-012 排他的マルチスレッド実行モデルにおける多段なループ処理へのスレッド間パイプライン並列実行方式の適用とその評価(C分野:アーキテクチャ・ハードウェア)
- C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
- 継続モデルに基づくスレッドプログラミング手法の提案(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくFuceプロセッサの評価(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくオンチップ・マルチプロセッサの設計(アーキテクチャ一般及びチップマルチプロセッサ)(デザインガイア2003 : VLSI設計の新しい大地を考える研究会)
- FUCEプロセッサにおけるメモリシステムの提案と評価
- マルチスレッドプロセッサにおけるメモリアクセスレイテンシ隠蔽の一手法
- 高バンド幅内部バス構造のオンチップメモリを持つFUCEプロセッサ
- 動的補題生成を用いたモデル生成木の枝刈り手法とその実装
- 継続概念を用いたZero-Wait方式によるOS構成法の提案(OS (1))
- 性能モニタリングカウンタによる一括システムコール機構の評価(OS-2:モニタリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- マルチスレッド実行機構を考慮したプログラム実行制御法(スレッド・プロセス)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構(スレッド・プロセス)
- OSの処理を多く含む並列処理の効率化を指向した一括システムコール機能(システムソフトウェア)
- B-41 並列分散オペレーティングシステムCEFOSにおけるジョブ実行方式と分散共有メモリ機構(リアルタイムと分散共有メモリ,B.ソフトウェア)
- 共有メモリシステム上での細粒度 non-strict データフロー構造データの生産者・消費者間パイプライン実行
- WEB検索におけるキーワード関連語提案システム
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- モデル生成型定理証明手続きによるCTLのモデル検査(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 導出法に基づく定理証明系のJavaによる実現手法について(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- ブール制約解消系によるモデル生成木の刈込み(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 国際会議の論文募集ファイルからのトピックの抽出とクラスタリング
- マルチエージェント連携基盤 : Field Reactor Model
- ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
- 有限区間制約を付加したモデル生成型定理証明系とその応用(次世代移動通信ネットワークとその応用)
- ダイアグラムに基づく法的論争支援システム
- 極小モデル導出法に基づく解集合計算の効率化
- モデル生成型定理証明システムによる制約充足問題の解決とその並列化
- FUCE上のストリーム処理とその記述言語
- FUCE言語とその処理系について
- GA-MGTPによる Condensed Detachment問題の解法
- 抽象モデル生成による不要節の削除(人工知能,認知科学)
- Twitterにおける流行語先取り発言者の検出システムの開発
- Twitterにおける流行語先取り発言者の検出システムの開発
- ソーシャルブックマークにおける有用なユーザの発見
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 5S-4 Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発(情報推薦(2),学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- Twitter における流行語先取り発言者の検出システムの開発
- Wikipedia のリンク共起とカテゴリに基づくリランキング手法
- 数独パズルにおける補題の解析 : 補題の一般化に向けて
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決
- F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
- F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
- D-033 データ解析における並列分散処理基盤Hadoopの利用(D分野:データベース,一般論文)
- 1W-9 モデル生成によるSATソルバの並列化(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5R-2 ODPを利用した個人化検索システムの比較と効率化(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3C-2 動詞の提示による動的な検索支援システム(Web検索支援,一般セッション,データベースとメディア,情報処理学会創立50周年記念)
- ノンホーン・マジックセット変換節数の削減手法とその評価
- 抽象モデルを利用したSAT問題の前処理(「自動化:推論,発見,学習,データマイニング」及び一般)
- FPGA上のSATソルバPCMGTPの改良について
- Solving Open Job-Shop Scheduling Problems by SAT Encoding
- ノンホーンマジックセット法と関連性テストとの等価性
- 上昇型定理証明の探索効率を高めるノンホーン・マジックセット
- 帰納論理プログラミングを用いた棋譜からのルール抽出
- Twitterのリスト機能を用いたユーザの特徴抽出
- Twitter発言の時系列解析に基づくハッシュタグの内容説明
- Wikipediaの時系列アクセス数に着目した関連度算出
- 帰納論理プログラミングを用いたTwitterからのルール抽出(「コンテキストを意識した知識の利用」及び一般)
- 帰納論理プログラミングを用いた Twitter からのルール抽出
- Feature and Sentiment Based Opinion Mining and Summarizing on Twitter
- Feature and Sentiment Based Opinion Mining and Summarizing on Twitter