| 講演名 | 2014-03-06 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般) 河村 喬, 佐藤 洋一郎, 横川 智教, 近藤 真史, 有本 和民, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 筆者等は,大規模デジタルシステムを確率時限ペトリネット(STPN)でモデル化し,ペトリネットシミュレーションを繰り返し実行することで性能評価を行う方法を提案したが,多大の時間を要することが問題となっている.本研究では,この性能評価を高速化するための3つの手法を提案している.STPNの構造の表現方法には接続行列およびリストがあり,それぞれに対して,列方向と行方向の圧縮を適宜施す行列圧縮手法およびSTPNの各ノードの入出力の双方向にリストを拡張する拡張隣接リスト手法を提案している.さらに,1回のペトリネットシミュレーションを単位としてGPGPUを利用した並列化手法を提案している.これらの手法を用いた評価結果によれば,行列圧縮手法および拡張リスト手法により,それぞれ,従来法に比して約99.8%および約99.4%の高速化を達成でき,行列圧縮手法と並列化手法を併用することでさらに短縮できる. |
| 抄録(英) | We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high-speed methods of executing petri net simulations. First, we propose two methods: matrix compression technique to give the compression of row direction and column direction appropriately and expansion adjacency list technique to bi-directionally expand the list of the input and output of each node of STPN. Furthermore, we propose a concurrency technique using GPGPU. According to the experimental results using these techniques, by the matrix compression technique and the expansion list technique, speedup of about 99.8% and about 99.4% can be achived in comparison with conventionally, respectively. And then it is shown that using both the matrix compression technique and the concurrency technique in combination is most effective. |
| キーワード(和) | GALSシステム / 性能評価 / ペトリネット / 接続行列 / リスト |
| キーワード(英) | GALS system / performance evaluation / petri net / incidence matrix / list |
| 資料番号 | CAS2013-106,SIP2013-152,CS2013-119 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CS |
|---|---|
| 開催期間 | 2014/2/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Communication Systems (CS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般) |
| サブタイトル（和） | |
| タイトル（英） | High-speed Petri Net Simulation Using Matrix Compression and GPGPU |
| サブタイトル（和） | |
| キーワード(1)（和/英） | GALSシステム / GALS system |
| キーワード(2)（和/英） | 性能評価 / performance evaluation |
| キーワード(3)（和/英） | ペトリネット / petri net |
| キーワード(4)（和/英） | 接続行列 / incidence matrix |
| キーワード(5)（和/英） | リスト / list |
| 第 1 著者 氏名（和/英） | 河村 喬 / Takashi KAWAMURA |
| 第 1 著者 所属（和/英） | 岡山県立大学大学院情報系工学研究科 Graduate School of Systems Engineering, Okayama Prefectural University |
| 第 2 著者 氏名（和/英） | 佐藤 洋一郎 / Yoichiro SATO |
| 第 2 著者 所属（和/英） | 岡山県立大学情報工学部情報システム工学科 Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 第 3 著者 氏名（和/英） | 横川 智教 / Tomoyuki YOKOGAWA |
| 第 3 著者 所属（和/英） | 岡山県立大学情報工学部情報システム工学科 Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 第 4 著者 氏名（和/英） | 近藤 真史 / Masafumi KONDO |
| 第 4 著者 所属（和/英） | 川崎医療福祉大学医療技術学部臨床工学科 Department of Medical Engineering, Faculty of Health Science and Technology, Kawasaki University of Medical Welfare |
| 第 5 著者 氏名（和/英） | 有本 和民 / Kazutami ARIMOTO |
| 第 5 著者 所属（和/英） | 岡山県立大学情報工学部情報システム工学科 Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 発表年月日 | 2014-03-06 |
| 資料番号 | CAS2013-106,SIP2013-152,CS2013-119 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 465 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |