search

anishathalye / porcupine

A fast linearizability checker written in Go 🔎
https://anishathalye.com/testing-distributed-systems-for-linearizability/
MIT License
926 stars 52 forks source link

how to check strong consistency of database #7

Closed thinhdanggroup closed 5 years ago

thinhdanggroup commented 5 years ago

Hi @anishathalye,

Currently, I am using https://github.com/pingcap/chaos to check strong consistency of TiDB. But porcupine don't work with too many events so all my tests are out of memory before my chaos run.

Can you give me any solution to check strong consistency of database with chaos?

Besides, I propose that we can run continuously test ( about 200 events logs per test) and use porcupine to check them. If all tests passed, the database would be strong consistency. Is that true?

anishathalye commented 5 years ago

Regarding the verifier being slow, see #4.

Also, passing tests does not imply that the database is correct -- it just means that a particular run of the database was correct.

anishathalye commented 5 years ago

Going to close this for now. Feel free to re-open if you have any other questions.