題名 | 並列処理によるブラウン動力学シミュレーションの高速化 |
著者 | *長尾 栄作, 松原 翼 (岡山理科大学 大学院 工学研究科 情報工学専攻), 上嶋 明, 尾崎 亮, 小畑 正貴 (岡山理科大学 工学部 情報工学科) |
ページ | pp. 372 - 373 |
キーワード | GPGPU, マルチコア, メニーコア, 並列処理, ブラウン動力学 |
アブストラクト | CPUと比べてピーク性能が高く,価格性能比でも優れたGPUや,多数のCPUコアを搭載するMIC(Many Integrated Core)アーキテクチャーのコプロセッサ等を用いた汎用計算に注目が集まっている。本研究では,膨大な計算量が必要なブラウン動力学シミュレーションを対象として実験を行った。CPUとMICでは粒子数を各コアへ均等に,GPUでは各粒子の計算を1スレッドずつにそれぞれ割り当てて並列実行し,高速化を図った。その結果,GPU(Tesla K20)の場合,CPU(Xeon E5-1650)の1コアに対して約118倍,6コアに対しても約20倍の高速化を実現することができた。また,コプロセッサ(Xeon Phi)では,CPU 1コアに対して約12倍,6コアに対しては約2倍の高速化を実現できた。 |
題名 | Reliability Evaluation of Virtualized System with Probabilistic Model Checking |
著者 | *Min Gong, Hiroyuki Okamura, Tadashi Dohi (Department of Information Engineering, Graduate School of Engineering, Hiroshima University) |
ページ | p. 374 |
キーワード | Reliability Evaluation, Virtualized System, Probabilistic Model Checking, Fault Tree |
アブストラクト | Virtualization creates Virtual Machines (VMs) that enumerate the computer hardware with software. By using virtulization technique, a single physical machine acts as there are many machines. The virtualization makes us easy to implement the redundancy from the viewpoint of system reliability. In the reliability engineering, the reliability of virtualized system has been evaluated by fault tree and Continuous-time Markov chains (CTMCs) [1]. Probabilistic Model Checking (PMC) is to check whether a formal property holds on a state model of the system. It enables a range of quantitative analysis of probabilistic models against specifications. In this work, we propose an approach to analyze fault tree with PMC. |