| No | 227338 |
|---|---|
| 標題（和） | 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化 |
| 標題（英） | High-speed Petri Net Simulation Using Matrix Compression and GPGPU |
| 研究会名（和） | 通信方式, 回路とシステム, 信号処理 |
| 研究会名（英） | Communication Systems, Circuits and Systems, Signal Processing |
| 開催年月日 | 2014-03-06 |
| 終了年月日 | 2014-03-07 |
| 会議種別コード | 5 |
| 共催団体名（和） | |
| 資料番号 | CAS2013-106, SIP2013-152, CS2013-119 |
| 抄録（和） | 筆者等は，大規模デジタルシステムを確率時限ペトリネット(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. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.113, No.463,464,465 |
| ページ開始 | 91 |
| ページ終了 | 96 |
| キーワード（和） | GALSシステム,性能評価,ペトリネット,接続行列,リスト |
| キーワード（英） | GALS system,performance evaluation,petri net,incidence matrix,list |
| 本文の言語 | JPN |
| 著者（和） | 河村喬 |
| 著者（ヨミ） | カワムラ タカシ |
| 著者（英） | Takashi Kawamura |
| 所属機関（和） | 岡山県立大学 |
| 所属機関（英） | Okayama Prefectural University |
| 著者（和） | 佐藤洋一郎 |
| 著者（ヨミ） | サトウ ヨウイチロウ |
| 著者（英） | Yoichiro Sato |
| 所属機関（和） | 岡山県立大学 |
| 所属機関（英） | Okayama Prefectural University |
| 著者（和） | 横川智教 |
| 著者（ヨミ） | ヨコガワ トモユキ |
| 著者（英） | Tomoyuki Yokogawa |
| 所属機関（和） | 岡山県立大学 |
| 所属機関（英） | Okayama Prefectural University |
| 著者（和） | 近藤真史 |
| 著者（ヨミ） | コンドウ マサフミ |
| 著者（英） | Masafumi Kondo |
| 所属機関（和） | 川崎医療福祉大学 |
| 所属機関（英） | Kawasaki University of Medical Welfare |
| 著者（和） | 有本和民 |
| 著者（ヨミ） | アリモト カズタミ |
| 著者（英） | Kazutami Arimoto |
| 所属機関（和） | 岡山県立大学 |
| 所属機関（英） | Okayama Prefectural University |