Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets

The computational grid is a new technology aimed to facilitate resource sharing and wide area collaborations. Task scheduling is an important aspect in the grid environment to obtain a desired quality of service (QoS). In grid environments, the resource management system (RMS) is responsible for the scheduling and execution of tasks. The RMS divides the incoming tasks into several subtasks and distributes them among grid resources for parallel execution. Then, the RMS integrates the received results into the entire task output, which is requested by the user. A grid service is desired to execute a certain task under the control of the RMS. In this paper, the task scheduling by RMS and the task execution within grid resources are modeled using coloured Petri nets (CPNs). The proposed CPN-based modelling pattern formally describes the process of task distribution and execution within the grid environment. We have also proposed a method for evaluation the grid service reliability based on the analysis of the model. In addition, an instance of the proposed model for a sample grid environment is constructed and analysed using CPN Tools. The CPN model and the results of the reliability evaluation of the sample grid environment are also presented in this paper.

[1]  Xiaolong Wang,et al.  Optimal task partition and distribution in grid service system with common cause failures , 2007, Future Gener. Comput. Syst..

[2]  Yuan-Shun Dai,et al.  Reliability of grid service systems , 2006, Comput. Ind. Eng..

[3]  R. Kavaliunas,et al.  The Measurement of Grid QoS Parameters , 2007, 2007 29th International Conference on Information Technology Interfaces.

[4]  Gregory Levitin,et al.  Service reliability and performance in grid system with star topology , 2007, Reliab. Eng. Syst. Saf..

[5]  Hanifa Boucheneb,et al.  Model checking of time Petri nets , 2007 .

[6]  Changjun Jiang,et al.  Resource scheduling model for grid computing based on sharing synthesis of Petri net , 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

[7]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  Wolfgang Hoschek,et al.  Peer-to-Peer Grid Databases for Web Service Discovery , 2003 .

[10]  WangXiaolong,et al.  Optimal task partition and distribution in grid service system with common cause failures , 2007 .

[11]  Francine Berman,et al.  Grid Computing: Making the Global Infrastructure a Reality , 2003 .

[12]  Leila Jemni BenAyed,et al.  Toward an UML-based composition of grid services workflows , 2008, AUPC '08.

[13]  Huajun Chen,et al.  Distributed Petri Net for Knowledge Base Grid reasoning , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[14]  Binheng Song,et al.  Normalized workflow net (NWF-net): Its definition and properties , 2005, Future Gener. Comput. Syst..

[15]  Joachim Geiler,et al.  Workflow-based Grid applications , 2006, Future Gener. Comput. Syst..

[16]  Li Li,et al.  Modeling and Performance Analysis of a Priority-based Scheduling Scheme in Service Grid , 2006, GCC.

[17]  Zvisinei Sandi.  DEFINITION , 1961, A Philosopher Looks at Sport.

[18]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[19]  Ming Wu,et al.  Quality of Service of Grid Computing: Resource Sharing , 2007, Sixth International Conference on Grid and Cooperative Computing (GCC 2007).

[20]  Maozhen Li,et al.  The grid - core technologies , 2005 .

[21]  Gregory Levitin,et al.  Optimal Resource Allocation for Maximizing Performance and Reliability in Tree-Structured Grid Services , 2007, IEEE Transactions on Reliability.

[22]  Olivier Roux,et al.  From Time Petri Nets to Timed Automata , 2008 .

[23]  Chuang Lin,et al.  Modeling and Performance Analysis of a Multiserver Multiqueue System on the Grid , 2003, FTDCS.

[24]  Angelo Furfaro,et al.  Distributed simulation of timed coloured Petri nets , 2002, Proceedings. Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications.

[25]  Gregory Levitin,et al.  Reliability and Performance of Star Topology Grid Service With Precedence Constraints on Subtask Execution , 2006, IEEE Transactions on Reliability.

[26]  Gregory Levitin,et al.  Reliability and performance of tree-structured grid services , 2006, IEEE Transactions on Reliability.

[27]  Vedran Kordic,et al.  Petri Net, Theory and Applications , 2008 .

[28]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[29]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[30]  Junzhou Luo,et al.  Architecture of Grid Resource Allocation Management Based on QoS , 2003, GCC.

[31]  Kishor S. Trivedi,et al.  Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation , 2007, IEEE Transactions on Computers.

[32]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[33]  Eddy Caron,et al.  Definition, modelling and simulation of a grid computing scheduling system for high throughput computing , 2007, Future Gener. Comput. Syst..

[34]  Ian J. Taylor,et al.  Workflows and e-Science: An overview of workflow system features and capabilities , 2009, Future Gener. Comput. Syst..