How can we support Grid Transactions? Towards Peer-to-Peer Transaction Processing

Today, we witness a merger between Web services and grid technology towards an open grid service infrastructure that especially satisfies the demands of complex computations on huge volumes of data. Such applications are specified as combinations of services and are executed as workflow processes. While transactional support was neglected for (business) workflows, in the grid domain we observe not only a more general usage of workflow technology but also a stronger awareness of transactional guarantees. The rigid database notions of atomicity and isolation are however not suited for composite services in grid applications because of their complexity and duration. Beyond, the level of abstraction in the grid is far above database pages such that two-phase commit combined with two-phase locking as the state-of-the-art for distributed transactions is not adequate. Rather, compensation of services, restarting services, and invoking alternative services are needed. In this context many questions are open. How does the infrastructure detect and handle conflicts? What happens if a service is unavailable? Can we locally decide whether a distributed execution of transactions is globally correct? In this paper, we tackle some of these questions and sketch an approach to ensuring globally correct executions of transactional processes without a global coordinator.

[1]  Heiko Schuldt,et al.  Transactional Peer-to-Peer Information Processing: The AMOR Approach , 2003, Mobile Data Management.

[2]  Ian Foster,et al.  The Globus toolkit , 1998 .

[3]  Shige Peng UDDI Technical White Paper , 2000 .

[4]  Gustavo Alonso,et al.  Correctness and parallelism in composite systems , 1997, PODS.

[5]  Gerhard Weikum,et al.  Principles and realization strategies of multilevel transaction management , 1991, TODS.

[6]  Gottfried Vossen,et al.  Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery , 2002 .

[7]  Robert B. Ross,et al.  Service Description Language , 2000 .

[8]  Gustavo Alonso,et al.  Concurrency control and recovery in transactional process management , 1999, PODS '99.

[9]  H. T. King,et al.  On Optimistic Methods For Concurrency Control , 1979, VLDB 1979.

[10]  Ron Obermarck,et al.  Distributed deadlock detection algorithm , 1982, TODS.

[11]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[12]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[13]  Mikko Laukkanen,et al.  Business Process Execution Language for Web Services , 2022 .

[14]  Gerhard Weikum,et al.  Multi-level transactions and open nested transactions , 1991 .

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

[16]  Marco A. Casanova,et al.  The Concurrency Control Problem for Database Systems , 1981, Lecture Notes in Computer Science.

[17]  William E. Weihl Commutativity-based concurrency control for abstract data types , 1988 .

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

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

[20]  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.

[21]  Hans-Jörg Schek,et al.  A Generalized Transaction Theory for Database and Non-database Tasks , 1999, Euro-Par.

[22]  Heiko Schuldt,et al.  Infrastructure for Information Spaces , 2002, ADBIS.

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

[24]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[25]  Frank Leymann,et al.  Web services and business process management , 2002, IBM Syst. J..

[26]  Heiko Schuldt,et al.  Peer-to-Peer Process Execution with Osiris , 2003, ICSOC.