Petri-Net-Based Coordination Algorithms for Grid Transactions

Transaction proceesing in Grid is to ensure reliable execution of inherently distributed Grid applications. This paper proposes coordination algorithms for handling short-lived and long-lived Grid transactions, models and analyzes these algorithms with the Petri net. The cohesion transaction can coordinate long-lived business Grid applications by automatically generating and executing compensation transactions to semantically undo committed sub-transactions. From analysis of the reachability tree, we show that the Petri net models of above algorithms are bounded and L1-live. This demonstrates that transactional Grid applications can be realized by the proposed algorithms effectively.

[1]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[2]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[3]  Hector Garcia-Molina,et al.  Overview of multidatabase transaction management , 2005, The VLDB Journal.

[4]  Minglu Li,et al.  GSPD: A Middleware That Supports Publication and Discovery of Grid Services , 2003, GCC.

[5]  Ernst W. Mayr.  An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[6]  Michel Hack,et al.  The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems , 1974, SWAT.

[7]  Minglu Li,et al.  A Transaction Model for Grid Computing , 2003, APPT.

[8]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[9]  Minglu Li,et al.  Real-time transaction processing for autonomic Grid applications , 2004, Eng. Appl. Artif. Intell..

[10]  Khalil Drira,et al.  On the application to OSI-TP of a structured analysis and modeling methodology based on Petri net models , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[11]  Pamela B. Thomas.  The Petri net as a modeling tool , 1976, ACM-SE 14.

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

[13]  N. Ranganathan,et al.  Petri net modeling of gate and interconnect delays for power estimation , 2002, DAC '02.

[14]  Chen-Ching Liu,et al.  A Petri net algorithm for scheduling of generic restoration actions , 1997 .

[15]  Vldb Endowment,et al.  The VLDB journal : the international journal on very large data bases. , 1992 .

[16]  Ian T. Foster,et al.  Grid Services for Distributed System Integration , 2002, Computer.