search

jepsen-io / jepsen

A framework for distributed systems verification, with fault injection
6.81k stars 719 forks source link

The relationship between linearizability with the QPS？ #263

Closed Leviathan1995 closed 6 years ago

Leviathan1995 commented 6 years ago

@aphyr I use the jepsen to test my system, but now I wonder what the relationship between linearizability with the QPS？ In my opinion, the higher QPS return more operations over a period of time, and this situation is easy to happen unlinearizability ?

and how to use jepsen to test the sequential consistency and eventually consistency?

aphyr commented 6 years ago

It depends more on concurrency, size of the state space, and failure-vs-indeterminate categorization. This is a real long discussion, but I've written about it at length in past linearizability analyses, and in the tutorial.

Leviathan1995 commented 6 years ago

@aphyr Thanks! And how to use jepsen to test the sequential consistency and eventually consistency?

aphyr commented 6 years ago

There aren't generalized tests for either of those, but you can read the analyses for descriptions of other tests.

Leviathan1995 commented 6 years ago

@aphyr I see what you mean. Thank you！