You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@kudu.apache.org by "David Alves (JIRA)" <ji...@apache.org> on 2018/03/08 23:38:00 UTC

[jira] [Created] (KUDU-2333) Add a RYW/RYR test to jepsen

David Alves created KUDU-2333:
---------------------------------

             Summary: Add a RYW/RYR test to jepsen
                 Key: KUDU-2333
                 URL: https://issues.apache.org/jira/browse/KUDU-2333
             Project: Kudu
          Issue Type: Test
          Components: jepsen
    Affects Versions: 1.6.0
            Reporter: David Alves
            Assignee: Hao Hao


From slack:

dralves @hahao we discussed offline. for the record we should start with making sure we have a test that is testing RYR and RWY, the register test might or might not test both. specifically RYR requires that a clients reads don’t go back in time, which might or might not be covered depending on what gets written to the register. then we’d need a way to split ledgers between clients, i.e. we don’t want to verify a global history as in the linearizable case, but instead we want to have analyze the history per-client (even though the checking is largely the same). finally we likely want to make sure that the test is good (that is tests something and fails when constraints are not met) and maybe make it a bit more adversarial to make sure the circumstances under which the constraints are broken occur often



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)