[
https://issues.apache.org/jira/browse/RATIS-2542?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Ivan Andika updated RATIS-2542:
-------------------------------
Description:
This is a parent task for the effort to introduce distributed system testing to
test the correctness of Ratis implementation as well provide proofs for
Ratis-specific implementation (e.g. notifyInstallSnapshot, repliedIndex, etc).
This would help to catch distributed system regressions and formalize
implementation.
Distributed system testing tools:
* Jepsen, Ellen, Maelstorm
* Fray
* Hypothesis (Hegel)
* Antithesis (if we are willing to pay)
Distributed system proofs
* TLA+
* Lean4
* P frameworks
was:
This is a parent task for the effort to introduce distributed system testing to
test the correctness of Ratis implementation as well provide proofs for
Ratis-specific implementation (e.g. notifyInstallSnapshot, repliedIndex, etc).
This would help to catch distributed system regressions and formalize
implementation.
Distributed system testing tools:
* Jepsen, Ellen, Maelstorm
* Fray
* Hypothesis (Hegel)
Distributed system proofs
* TLA+
* Lean4
* P frameworks
> Distributed System Testing in Ratis
> -----------------------------------
>
> Key: RATIS-2542
> URL: https://issues.apache.org/jira/browse/RATIS-2542
> Project: Ratis
> Issue Type: Improvement
> Reporter: Ivan Andika
> Assignee: Ivan Andika
> Priority: Major
>
> This is a parent task for the effort to introduce distributed system testing
> to test the correctness of Ratis implementation as well provide proofs for
> Ratis-specific implementation (e.g. notifyInstallSnapshot, repliedIndex,
> etc). This would help to catch distributed system regressions and formalize
> implementation.
> Distributed system testing tools:
> * Jepsen, Ellen, Maelstorm
> * Fray
> * Hypothesis (Hegel)
> * Antithesis (if we are willing to pay)
> Distributed system proofs
> * TLA+
> * Lean4
> * P frameworks
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
