Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines

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]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[2]  Marco Ajmone Marsan,et al.  On the product-form solution of a class of multiple-bus multiprocessor system models , 1986, J. Syst. Softw..

[3]  Graham Horton,et al.  State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[4]  David M. Nicol,et al.  Distributed State Space Generation of Discrete-State Stochastic Models , 1995, INFORMS J. Comput..

[5]  Graham Horton,et al.  Parallel Shared-Memory State-Space Exploration in Stochastic Modeling , 1997, IRREGULAR.

[6]  Gianni Conte,et al.  Analysis of large GSPN models: a distributed solution tool , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[7]  Douglas Comer,et al.  Ubiquitous B-Tree , 1979, CSUR.

[8]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[9]  Gianfranco Balbo,et al.  On the success of stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[10]  Giovanni Chiola,et al.  On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets , 1987, PNPM.