AntidoteDB / AntidoteDB/antidote
Double stabilisation for remote updates check, remove one ?
- 主要言語
- Erlang
- スター
- 892
- フォーク
- 92
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
When a remote updates arrives, the interDC protocol at the receiver checks that the update's dependencies have been applied. If the check passes, the update will be added to the materializer and the log.
Otherwise, it will be buffered until the check passes.
https://github.com/SyncFree/antidote/blob/master/src/inter_dc_dep_vnode.erl#L127-L146
My intuition is that this check is redundant, as the stabilisation protocol guarantees that a transaction only reads stable updates. Therefore, if we bypass this check and send the updates to the materialiser as they arrive, the materialiser might be in an inconsistent state, but the stabilisation algorithm will ensure this inconsistent state is not visible by transactions. I hope this is clear.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。