ヘテロジニアス環境下における並列プログラムのペトリネットモデリング

• Item type: SIG Technical Reports(1)
• 公開日: 2015-11-13
• タイトル: ヘテロジニアス環境下における並列プログラムのペトリネットモデリング
• タイトル / 言語: en
• タイトル: Petri net modeling for parallel programs in heterogeneous computing platforms
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 琉球大学工学部情報工学科
• 著者所属: 沖縄大学法経学科
• 著者所属: 琉球大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Dept. of Information Engineering, Univ. of the Ryukyus
• 著者所属(英): en
• 著者所属(英): Dept. of Law and Economics, Okinawa University
• 著者所属(英): en
• 著者所属(英): Dept. of Information Engineering, Univ. of the Ryukyus
• 著者名: 島袋, 梓; 金城, 秀樹; 名嘉村, 盛和
• 著者名(英): Azusa, Shimabukuro; Hideki, Kinjo; Morikazu, Nakamura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿ではヘテロジニアス環境における並列プログラムを時間カラーペトリネットを用いてモデル化する方法を提案する．これにより並列プログラムの正当性の検証，および性能評価を設計の段階で行うことが可能となる．また，ヘテロジニアス並列プログラムのフレームワークである OpenCL に基づいているため並列プログラムの実装も容易になる．本稿では，ワードカウント処理を例として，データ分割と並列リダクション処理に基づく並列プログラムの三つのパターンを紹介する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents a methodology for parallel programming in heterogeneous computing platforms based on Timed Coloured Petri net modelings. Our methodology allows us to verify the validity and to evaluate the performance of parallel programs. Moreover, since our modeling is based on OpenCL, a parallel programming framework in heterogeneous parallel computing environments, we can easily implement a parallel program from the model. This paper shows three patterns for the word count parallel programs which are based on the data decomposition and the reduction processing.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2015-AL-155, 号 8, p. 1-6, 発行日 2015-11-13
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会