search

tikv / sig-transaction

Resources for the transaction SIG
62 stars 13 forks source link

Update TLA+ Spec for async commit #97

Closed andylokandy closed 3 years ago

andylokandy commented 3 years ago

The TiKV has recently been launching a new feature in the transaction model named Async commit. It's an optimization that reduces the commit latency from 2PC to 1PC. However, this feature has not been reflected in the TLA+ Specs.

This issue tracks updating the spec and also running TLC model checker on the new model to gain more confidence on the async commit design.

zhuo1angT commented 3 years ago

Hi @andylokandy, I'm interested in this project, and I'd like to take part in the GSoC 2021. What I can do to start?

WT-Liu commented 3 years ago

Hi @andylokandy, I'm interested in this project, and I'd like to take part in the GSoC 2021. What I can do to start?

Hi @zhuo1angT Thanks for your interest! The students application of GSoC 2021 will be open on Mar 30. Stay tuned please!

andylokandy commented 3 years ago

This issue is now tracked by https://github.com/tikv/tikv/issues/10319