Parallel Simulation of Queueing Petri Nets
Journal Title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems - Year 2016, Vol 3, Issue 8
Abstract
Queueing Petri Nets (QPNs) are a powerful formalism to model the performance of software systems. Such models can be solved using analytical or simulation techniques. Analytical techniques suffer from scalability issues, whereas simulation techniques often require very long simulation runs. Existing simulation techniques for QPNs are strictly sequential and cannot exploit the parallelism provided by modern multi-core processors. In this paper, we present an approach to parallel discrete-event simulation of QPNs using a conservative synchronization algorithm. We consider the spatial decomposition of QPNs as well as the lookahead calculation for different scheduling strategies. Additionally, we propose techniques to reduce the synchronization overhead when simulating performance models describing systems with open workloads. The approach is evaluated in three case studies using performance models of real-world software systems. We observe speedups between 1.9 and 2.5 for these case studies. We also assessed the maximum speedup that can be achieved with our approach using synthetic models.
Authors and Affiliations
Jürgen Walter, Simon Spinner, Samuel Kounev
Keywords
Related Articles
- EP ID EP46050
- DOI http://dx.doi.org/10.4108/eai.24-8-2015.2261102
- Views 272
- Downloads 0
Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks
Concurrent transmissions, a novel communication paradigm, has been shown to e ectively accomplish a reliable and energy-eÿcient flooding in low-power wireless networks. With multiple nodes exploiting a receive-and-forwar...
An Application of SMC to continuous validation of heterogeneous systems.
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they...
Implementing Energy Saving Techniques for Sensor Nodes in IoT Applications
The technique is designed to optimize the energy consumption for sensor processing layer in Internet Of Things (IoT). Sleep time calculation algorithm is built on the gateway to predict the sleep time of sensor nodes acc...
Constructing a Knowledge Base for Entertainment by Interlinking Multiple Data Sources
This paper describes a knowledge base for entertainment domains, including movies, music, and celebrities. We present an ontology model for representing graph-based knowledge, and describe knowledge processing techniques...
Controlling Sensitivity of Gaussian Bayes Predictions based on Eigenvalue Thresholding
Gaussian Bayes classifiers are widely used in machine learning for various purposes. Its special characteristic has provided a great capacity for estimating the likelihood and reliability of individual classification dec...