search

tarantool / tarantool

Get your data in RAM. Get compute close to data. Enjoy the performance.
https://www.tarantool.io
Other
3.39k stars 379 forks source link

TLA+ description of the RAFT implementation #5206

Open cyrillos opened 4 years ago

cyrillos commented 4 years ago

It would be great if we have TLA+ description for our RAFT implementation.

Gerold103 commented 2 years ago

https://github.com/ongardie/raft.tla/blob/master/raft.tla