Rigorous Design of Lazy Replication System Using Event-B

Suryavanshi, Raghuraj; Yadav, Divakar

doi:10.1007/978-3-642-32129-0_41

Cited by 3 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Replica controlling is a big challenge to achieve data consistency in distributed system. Replication strategies [3][4] [5][6] can be categorized as: optimistic and pessimistic. Optimistic replication protocol is also known as lazy replication [3] [5] in which replica may be inconsistent for some time but at the end it will be verified while Pessimistic replication is more conservative because an update cannot be written if a lock is not available.…”

Section: Introductionmentioning

confidence: 99%

“…We are considering full replication, where copy of same database will be available at all sites. In order to ensure consistency there are several replica control schemes [4] [5] [6]. Distributed 2PL[4] [5] is one of them.…”

Section: Introductionmentioning

confidence: 99%

“…In order to ensure consistency there are several replica control schemes [4] [5] [6]. Distributed 2PL[4] [5] is one of them. It is also a pessimistic approach in which data availability is sacrificed due to locking.…”

Section: Introductionmentioning

confidence: 99%

“…In distributed environment it is very difficult to ensure the availability of all sites. To overcome this problem, we are considering majority based replica control protocol [4] [5]. Majority based replica control protocol handles the faulty situations where group of sites are not available due to any failure reason.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B

2019

IJITEE

View full text Add to dashboard Cite

In distributed environment, data availability and concurrency control both are challenging issues. Data availability can be maintained by replicating data at several locations or sites that will improve the availability but at the same time it is very challenging task to maintain the consistency of it. In order to improve the performance of the system, it is required to execute multiple transactions concurrently on several sites. Therefore, we need to control these concurrent transactions for maintaining consistency of replica. Replica control become more complex for the environment where messages are delayed due to communication failure. In this paper, we develop formal model of fault-tolerant replica control protocol Using Event-B. Formal methods are mathematical techniques through which we can verify the correctness of model. Event-B is a formal method which is used to develop the model in distributed environment.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B

2019

IJITEE

View full text Add to dashboard Cite

show abstract

“…In remote replica update event it updates a site having a maximum value because site with a maximum replica number shows the current value of replica. According to this model the description of variables are given below[6]:…”

mentioning

confidence: 99%

Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B

Sharma¹,

Suryavanshi²

2016

IJCA

View full text Add to dashboard Cite

Distributed database is a technique in which copy of a database is replicated over the network. A distributed database appears to a client as a single database however in all actuality it is an arrangement of databases distributed on numerous computers or servers. Replication of data in a distributed database system is for enhancing data availability and making data more fault tolerant. Formal methods are used for insight knowledge and refinement of technique to be used and formal methods also helps in understanding how to accomplish those objectives. In our model a coordinator site finds a site with a largest replica number and then broadcast its updated replica to all other sites in a distributed environment.

show abstract

Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B

Yadav

Suryavanshi

Yadav

2021

Proceedings of Second Doctoral Symposium on Computational Intelligence

View full text Add to dashboard Cite

Rigorous Design of Lazy Replication System Using Event-B

Cited by 3 publications

References 13 publications

Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B

Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B

Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B

Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B

Contact Info

Product

Resources

About