Ivan Andika created RATIS-2542:
----------------------------------
Summary: 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
We need to use distributed system testing to test the correctness of Ratis
implementation as well proof for Ratis-specific implementation (e.g.
notifyInstallSnapshot, repliedIndex, etc). This is the parent task for this
effort.
A few tools are
* Jepsen, Ellen, Maelstorm
* TLA+
* Fray
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
