A more committed quorum-based three phase commit protocol

Kempster, Tim; Stirling, Colin; Thanisch, Peter

doi:10.1007/bfb0056487

Cited by 2 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section we introduce a views based model [9] to understand the exchange of information which takes place during mobile transactions. The term protocol is often used to describe the interaction of the various parties involved in a transaction.…”

Section: The Views Modelmentioning

confidence: 99%

Modeling and Model Checking Mobile Phone Payment Systems

Kempster

Stirling

2003

Formal Techniques for Networked and Distributed Systems - FORTE 2003

Self Cite

View full text Add to dashboard Cite

Abstract. Recently a technique for transacting goods using GSM mobile phones has become very popular. We present a formal model of these novel transactions using a views based modeling technique. We show how to express two safety properties namely goods and money atomicity within this model using a sub-logic of CTL. By automatically generating a labelled transition system from our views model we can model check these properties. We show how to generalise this model to arbitrary numbers of processes. Goods atomicity fails under certain circumstances thus exposing some deficiencies that exist in existing implementations.

show abstract

Section: The Views Modelmentioning

confidence: 99%

Modeling and Model Checking Mobile Phone Payment Systems

Kempster

Stirling

2003

Formal Techniques for Networked and Distributed Systems - FORTE 2003

Self Cite

View full text Add to dashboard Cite

show abstract

“…The problem of atomic commitment of transactions has been studied in distributed systems and database systems and it requires that a set of nodes have to either commit or abort a transaction, even in the case of network failures or node failures. Some well-known algorithms for atomic commit are two-phase commit protocol (2PC) and three-phase commit protocol (3PC) and their variants [1,2,3,4,5]. Many of these traditional commit protocols make strong assumptions that are unrealistic for the wide-area large-scale applications.…”

Section: Introductionmentioning

confidence: 99%

Adapting Commit Protocols for Large-Scale and Dynamic Distributed Applications

Jurczyk

Xiong

2008

On the Move to Meaningful Internet Systems: OTM 2008

View full text Add to dashboard Cite

Abstract. The continued advances in distributed data intensive applications have formed an increasing demand for distributed commit protocols that are adaptive to large scale and dynamic nature of the applications to guarantee data consistency and integrity. Well known two-phase commit protocol and three-phase commit protocol and their variants do not provide scalability and flexibility desired for a wide range of applications with potentially different requirements on consistency and efficiency. In this paper, we present an adaptation of three-phase commit protocol for dynamic and scalable distributed systems. The protocol is not only resistant to dynamic network and node failures but also provides good scalability. Most importantly, it offers a set of adjustable parameters for a desired level of consistency at lowest cost depending on specific requirements of different applications.

show abstract

A more committed quorum-based three phase commit protocol

Cited by 2 publications

References 5 publications

Modeling and Model Checking Mobile Phone Payment Systems

Modeling and Model Checking Mobile Phone Payment Systems

Adapting Commit Protocols for Large-Scale and Dynamic Distributed Applications

Contact Info

Product

Resources

About