%0 Thesis %1 Walter2013-parallel-simulation %A Walter, Jürgen %C Am Fasanengarten 5, 76131 Karlsruhe, Germany %D 2013 %K Thesis_supervised_by_Simon_Spinner Thesis_supervised_by_SE_member QPME Performance se2_mastersthesis Simulation descartes QPME_Bibliography Tool QPN Analytical_and_simulation-based_analysis %T Parallel Simulation of Queueing Petri Net Models %X For years the CPU clock frequency was the key to improve processor performance. Nowadays, modern processors enable performance improvements by increasing the number of cores. However, existing software needs to be adapted to be able to utilize multiple cores. Such an adaptation poses many challenges in the field of discrete-event software simulation. Decades of intensive research have been spent to find a general solution for parallel discrete event simulation. In this context, QNs and PNs have been extensively studied. However, to the best of our knowledge, there is only one previous work that considers the concurrent simulation of QPN Juergens1997. This work focuses on comparing different synchronization algorithms and excludes a majority of lookahead calculation and net decomposition. In this thesis, we build upon and extend this work. For this purpose, we adapted and extended findings from QNs, PNs and parallel simulation in general. We apply our findings to SimQPN, which is a sequential simulation engine for QPN. Among other application areas, SimQPN is currently applied to online performance prediction for which a speedup due to parallelization is desirable. We present a parallel SimQPN implementation that employs application level and event level parallelism. A validation ensures the functional correctness of the new parallel implementations. The parallelization of multiple runs enables almost linear speedup. We parallelized the execution of a single run by the use of a conservative barrier-based synchronization algorithm. The speedup for a single run depends on the capability of the model. Hence, a number of experiments on different net characteristics were conducted showing that for certain models a superlinear speedup is possible.

@mastersthesis{Walter2013-parallel-simulation, abstract = {For years the CPU clock frequency was the key to improve processor performance. Nowadays, modern processors enable performance improvements by increasing the number of cores. However, existing software needs to be adapted to be able to utilize multiple cores. Such an adaptation poses many challenges in the field of discrete-event software simulation. Decades of intensive research have been spent to find a general solution for parallel discrete event simulation. In this context, QNs and PNs have been extensively studied. However, to the best of our knowledge, there is only one previous work that considers the concurrent simulation of QPN [Juergens1997]. This work focuses on comparing different synchronization algorithms and excludes a majority of lookahead calculation and net decomposition. In this thesis, we build upon and extend this work. For this purpose, we adapted and extended findings from QNs, PNs and parallel simulation in general. We apply our findings to SimQPN, which is a sequential simulation engine for QPN. Among other application areas, SimQPN is currently applied to online performance prediction for which a speedup due to parallelization is desirable. We present a parallel SimQPN implementation that employs application level and event level parallelism. A validation ensures the functional correctness of the new parallel implementations. The parallelization of multiple runs enables almost linear speedup. We parallelized the execution of a single run by the use of a conservative barrier-based synchronization algorithm. The speedup for a single run depends on the capability of the model. Hence, a number of experiments on different net characteristics were conducted showing that for certain models a superlinear speedup is possible.}, added-at = {2020-04-08T16:48:04.000+0200}, address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany}, author = {Walter, J{\"u}rgen}, biburl = {https://www.bibsonomy.org/bibtex/20e2a0f6451770e4b661022c9805eaadb/se-group}, interhash = {bf8ab52d1d424e8e03bbd80586f5d5d3}, intrahash = {0e2a0f6451770e4b661022c9805eaadb}, keywords = {Thesis_supervised_by_Simon_Spinner Thesis_supervised_by_SE_member QPME Performance se2_mastersthesis Simulation descartes QPME_Bibliography Tool QPN Analytical_and_simulation-based_analysis}, month = {October}, school = {Karlsruhe Institute of Technology (KIT)}, timestamp = {2020-05-13T11:57:08.000+0200}, title = {{Parallel Simulation of Queueing Petri Net Models}}, type = {Master Thesis}, year = 2013 }