返回
Dito: Distributed Transactional Objects
DOI:10.1145/3772290.3772311.png)
摘要
En 中文
本文提出了一种两阶段排序(2PO)算法,该算法是一种新的异步事务协调算法,不依赖于中心协调器。每个客户端构建全局执行图视图,并确定性地在全局范围内调度自己的事务。我们正式证明了2PO的正确性,并证明由此产生的调度是冲突可串行化的(CSR)。在我们的测量中,2PO在高并发情况下表现出高提交率(超过97%),并且随着节点数量的增加而线性扩展。
Keyword:
concurrency control
serializability
distributed transaction processing

