Open stonewhitener opened 1 year ago
This results in an optimal decision, that is hardly achievable with leaderless methods.
本当か?
Recalling the example in Fig. 3, after the sequencer has collected three transactions, Starry only aborts T3 to break the dependency cycle, and reorders T1 and T2 to be able to commit T1 and re-commit T2.
Linearizability 違反がないか.
References
Summary
インタラクティブモデルの分散トランザクションプロトコル STARRY を提案.OCC の検証フェーズで競合時にシーケンサーと呼ばれるレプリカで集中的にトランザクションのリーオーダリングしてアボート&リトライを回避.TAPIR よりも競合時の性能が優れる.