Quorum-based locking protocol for replicas in object-based systems
Quorum-based locking protocol for replicas in object-based systems
复制标题
基于群体的锁定协议，用于基于对象的系统中的副本
DOI：
10.1109/isads.2001.917414
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
M. Takizawa
中科院分区：
文献类型：
--
作者：
Katsuya Tanaka;M. Takizawa
我们讨论了如何通过扩展Quorum概念并在嵌套调用中对副本执行方法来锁定复制对象。每种方法都会发给法定人数。如果一对方法是兼容的，那么即使其中一种方法是更新类型，它们的法定人数也可能不会相交。如果在多个副本上调用方法t，并且t的每个实例都调用了另一个更新方法u，则在副本上多次执行u，然后副本变得不一致，即冗余调用。此外，由于每个实例向其自己的法定人数发出请求，因此锁定的复制品比法定人数（即法定人数爆炸）锁定。我们讨论如何解决冗余起诉和法定人数爆炸。
We discuss how to lock replicated objects by extending the quorum concept and perform methods on replicas in a nested invocation. Each method is issued to a quorum. If a pair of methods are compatible, their quorums may not intersect in our protocol even if one of the methods is an update type. If a method t is invoked on multiple replicas and each instance of t invokes another update method u, u is performed multiple times on replicas and then the replicas get inconsistent, i.e. redundant invocation. In addition, since each instance issues a request to its own quorum, more replicas are locked than the quorum number, i.e. quorum explosion. We discuss how to resolve the redundant invocations and quorum explosion.