Decentralized coordination of transactional processes in peer-to-peer environments

ABSTRACT

Business processes executing in peer-to-peer environments usually invoke Web services on different, independent peers. Although peer-to-peer environments inherently lack global control, some business processes nevertheless require global transactional guarantees, i.e., atomicity and isolation applied at the level of processes. This paper introduces a new decentralized serialization graph testing protocol to ensure concurrency control and recovery in peer-to-peer environments. The uniqueness of the proposed protocol is that it ensures global correctness without relying on a global serialization graph. Essentially, each transactional process is equipped with partial knowledge that allows the transactional processes to coordinate. Globally correct execution is achieved by communication among dependent transactional processes and the peers they have accessed. In case of failures, a combination of partial backward and forward recovery is applied. Experimental results exhibit a significant performance gain over traditional distributed locking-based protocols with respect to the execution of transactions encompassing Web service requests.

REFERENCES

• 1: Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 2: Yuri Breitbart , Hector Garcia-Molina , Avi Silberschatz, Overview of multidatabase transaction management, The VLDB Journal — The International Journal on Very Large Data Bases, v.1 n.2, p.181-240, October 1992 [doi>10.1007/BF01231700]
• 3: Dimitrios Georgakopoulos , Mark F. Hornick , Frank Manola, Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation, IEEE Transactions on Knowledge and Data Engineering, v.8 n.4, p.630-649, August 1996 [doi>10.1109/69.536255]
• 4: Jim Gray , Pat Helland , Patrick O'Neil , Dennis Shasha, The dangers of replication and a solution, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, p.173-182, June 04-06, 1996, Montreal, Quebec, Canada
• 5: K. Haller, H. Schuldt, and C. Türker. A Fully Decentralized Approach to Coordinating Transactional Processes in Peer-to-Peer Environments. Technical Report 463, ETH Zurich, Switzerland, October 2004. ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/4xx/463.pdf.
• 6: IBM. WebSphere Application Process Choreographer. http://www-106.ibm.com/developerworks/websphere/zones/was/wpc.html.
• 7: Natalija Krivokapić , Alfons Kemper , Ehud Gudes, Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis, The VLDB Journal — The International Journal on Very Large Data Bases, v.8 n.2, p.79-100, October 1999 [doi>10.1007/s007780050075]
• 8: H. T. Kung , John T. Robinson, On optimistic methods for concurrency control, ACM Transactions on Database Systems (TODS), v.6 n.2, p.213-226, June 1981 [doi>10.1145/319566.319567]
• 9: Eliezer Levy , Henry F. Korth , Abraham Silberschatz, An optimistic commit protocol for distributed transaction management, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.88-97, May 29-31, 1991, Denver, Colorado, United States
• 10: Ron Obermarck, Distributed deadlock detection algorithm, ACM Transactions on Database Systems (TODS), v.7 n.2, p.187-208, June 1982 [doi>10.1145/319702.319717]
• 11: M. Tamer Özsu , Patrick Valduriez, Principles of distributed database systems (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1999
• 12: M. Roesler , W. A. Burkhard, Resolution of Deadlocks in Object-Oriented Distributed Systems, IEEE Transactions on Computers, v.38 n.8, p.1212-1224, August 1989 [doi>10.1109/12.30874]
• 13: Heiko Schuldt , Gustavo Alonso , Catriel Beeri , Hans-Jörg Schek, Atomicity and isolation for transactional processes, ACM Transactions on Database Systems (TODS), v.27 n.1, p.63-116, March 2002 [doi>10.1145/507234.507236]
• 14: C. Türker, K. Haller, C. Schuler, and H.-J. Schek. How can we support Grid Transactions? Towards Peer-to-Peer Transaction Processing. In Proceedings of the Second Conference on Innovative Data Systems Research, CIDR 2005, pages 174--185, 2005.
• 15: R. Vingralek , H. Hasse-Ye , Y. Breitbart , H.-J. Schek, Unifying concurrency control and recovery of transactions with semantically rich operations, Theoretical Computer Science, v.190 n.2, p.363-396, Jan. 20, 1998 [doi>10.1016/S0304-3975(97)00095-9]
• 16: Gerhard Weikum , Gottfried Vossen, Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2001

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Concurrency

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing

General Terms:
Measurement, Performance, Reliability

Keywords:
DSGT, decentralized coordination, global correctness, partial rollback, peer-to-peer communication, transactional processes