two-phase-commit topic
List
two-phase-commit repositories
ByteJTA
211
Stars
113
Forks
Watchers
ByteJTA is a distributed transaction manager based on the XA/2PC mechanism. It’s compatible with the JTA specification. User guide: https://github.com/liuyangming/ByteJTA/wiki
disel
93
Stars
8
Forks
Watchers
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
committer
28
Stars
5
Forks
Watchers
Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang