3 ms·
Paging Jepsen. Paging Jepsen. Edit: some work's been done: https://pingcap.github.io/blog/2017/09/01/tidbmeetsjepsen/ https://pingcap.github.io/blog/2017/09/0
by api 9y ago
Paging Jepsen. Paging Jepsen.
Edit: some work's been done:
https://pingcap.github.io/blog/2017/09/01/tidbmeetsjepsen/ https://pingcap.github.io/blog/2017/09/01/tidbmeetsjepsen/
- anishathalye 9y agoThey're also working on using a custom-built system written in Golang to test TiDB (though this is in the early stages): https://medium.com/@siddontang/use-chaos-to-test-the-distributed-system-linearizability-4e0e778dfc7d https://medium.com/@siddontang/use-chaos-to-test-the-distrib...
- siddontang 9y agoHi @anishathalye, thanks for your https://github.com/anishathalye/porcupine https://github.com/anishathalye/porcupine. It’s a great project! Would you like to help me to check whether our model check is right or not with Porcupine? That would be highly appreciated!
- anishathalye 9y agoSure! Sent you an email.