scholarly journals Postgres-R(SI): Combining Replica Control with Concurrency Control Based on Snapshot Isolation

2005 ◽  
Author(s):  
Shuqing Wu ◽  
B. Kemme
Keyword(s):  
Concurrency Control ◽  
Snapshot Isolation ◽  
Replica Control

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

2019 ◽  
Vol 8 (9S) ◽  
pp. 260-267
Keyword(s):  
Concurrency Control ◽  
Formal Method ◽  
Formal Model ◽  
Fault Tolerant ◽  
Data Availability ◽  
Distributed Environment ◽  
Communication Failure ◽  
Control Protocol ◽  
Mathematical Techniques ◽  
Replica Control

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.

A Study on Concurrency Control Scheme for Scalability of Blockchain

2020 ◽  
Vol 20 (3) ◽  
pp. 71-78
Author(s):  
Yong-Hyeog Kang ◽  
◽  
Wonhyung Park
Keyword(s):  
Concurrency Control ◽  
Control Scheme
Sign in / Sign up

Export Citation Format

Share Document