1 Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines
|
Abstract:
In this paper we give an overview and a comparison of two parallel algorithms for the state space generation in stochastic modeling on common classes of multiprocessors. In this context state space generation simply means constructing a graph, which usually gets extremely large. On shared memory machines, the key problem for a parallelization is the implementation of a shared data structure which enables efficient concurrent access for retrieving the nodes of the graph. In our realization this search structure is a B-tree with special locking mechanisms assigned, leading to significant speedups. For distributed memory machines a dynamically adaptive partitioning strategy to distribute the state space onto different processors together with load balancing mechanisms is implemented. Thus sequentially not manageable problem sizes can be solved by combining the main memories of clustered workstations. 1.
Citations
| 472 | The Ubiquitous B-Tree – Comer - 1979 |
| 254 | Modelling with Generalized Stochastic Petri Nets – Marsan, Balbo, et al. - 1995 |
| 105 | G.: Performance Models of Multiprocessor Systems – Marsan, Balbo, et al. - 1986 |
| 92 | M.: Concurrency of operations on b-trees – Bayer, Schkolnick - 1977 |
| 24 | Distributed state-space generation of discrete-state stochastic models – Ciardo, Gluckman, et al. |
| 19 | State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor – Allmaier, Kowarschik, et al. - 1997 |
| 18 | Introduction to stochastic Petri nets – Balbo - 1995 |
| 12 | On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets – Balbo, Chiola, et al. - 1987 |
| 11 | Analysis of large GSPN models: a distributed solution tool – Marenzoni, Caselli, et al. - 1997 |
| 7 | Parallel shared-memory state-space exploration in stochastic modeling – Allmaier, Horton - 1253 |
