Performance Evaluation of Database Systems Using Colored Petri Nets

We propose Colored Petri Net (CPN) models for replicated and centralized database systems and conduct a comparative study of their performance. The designed CPN models capture the dynamics of the studied database systems and estimate their expected performance with an appropriate level of abstraction. A number of simulation experiments were performed under various load conditions of varying parameters such as server speed, network speed, and read/write ratio. The simulation results show that under similar operation conditions, replicated systems exhibit higher performance than centralized systems in terms of query response time and system saturation levels. However, centralized systems become more competitive when their network and server speeds are much higher than those of the replicated systems.

[1]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[2]  Catriel Beeri,et al.  A model for concurrency in nested transactions systems , 1989, JACM.

[3]  A. Ben Mnaouer,et al.  Impact of leaky bucket regulation on the performance of combined I/O buffering in atm switches , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[4]  Dennis Shasha,et al.  The dangers of replication and a solution , 1996, SIGMOD '96.

[5]  Rachid Guerraoui,et al.  Exploiting Atomic Broadcast in Replicated Databases , 1998, Euro-Par.

[6]  Pablo Hernandez Morera,et al.  A CPN model of the MAC layer , 1999 .

[7]  Gustavo Alonso,et al.  Database replication techniques: a three parameter classification , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[8]  Rachid Guerraoui,et al.  Software-Based Replication for Fault Tolerance , 1997, Computer.

[9]  Gustavo Alonso,et al.  A new approach to developing and implementing eager database replication protocols , 2000, TODS.

[10]  Robert M. Shapiro.  Validation of a VLSI chip using hierarchical colored Petri nets , 1991 .

[11]  Rachid Guerraoui,et al.  Transaction reordering in replicated databases , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

[12]  Peter Huber,et al.  Design/CPN?: A Reference Manual , 1992 .

[13]  Lars Michael Kristensen,et al.  Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries , 1997 .

[14]  Gustavo Alonso,et al.  A suite of database replication protocols based on group communication primitives , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[15]  André Schiper,et al.  A Systematic Classification of Replicated Database Protocols based on Atomic Broadcast , 1999 .

[16]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[17]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .