LFX: Implement Jepsen test for TiKV

[andylokandy]

Description

TiDB has implemented tests with Jepsen, a test framework for distributed systems, to guarantee its correctness. But there are also many TiKV adoptions that are using TiKV without TiDB, which are not covered so well by the Jepsen test for TiDB. Therefore, this program is to build a test framework using Jepsen and Rust client that tests against TiKV transaction API.

Document Collection

• Jepsen
• Program progress document

LFX Program information

• Mentor of this issue: @ekexium @andylokandy
• Recommended skills: Rust / Golang / Clojure
• Estimated Workloads: 3 Man-Month

Milestones and action items

• setup and teardown of the TiKV cluster
• [x operations on TiKV
  • RawKV
    - [x] Read/Write
    - [x] CaS
  • TxnKV
• model and checker for TiKV
  • RawKV
    • Register (need CaS)
    • Sets
  • TxnKV
    • list-append
    • wr-register

[andylokandy]

/assign @ziyi-yan

[ti-chi-bot]

@andylokandy: GitHub didn't allow me to assign the following users: ziyi-yan.

Note that only tikv members, repo collaborators and people who have commented on this issue/PR can be assigned. Additionally, issues/PRs can only have 10 assignees at the same time.
For more information please see the contributor guide

In response to this:

/assign @ziyi-yan

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.