+1 ________________________________ From: David Capwell <dcapw...@apple.com> Sent: Wednesday, September 13, 2023 3:44 PM To: dev <dev@cassandra.apache.org> Subject: [EXTERNAL] [DISCUSS] Add Jepsen's Elle as a test dependency for Accord / Paxos
For validation of Paxos and Accord 2 different consistency verifiers were created: accord.verify.StrictSerializabilityVerifier (Accord), and org.apache.cassandra.simulator.paxos.LinearizabilityValidator (Paxos). To increase confidence in both protocols it would be good to use an external consistency checker, such as Jepsen's Elle. This work was first started in https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fthe-asf.slack.com%2Farchives%2FC0459N9R5C6%2Fp1692192925909199&data=05%7C01%7CGerman.Eichberger%40microsoft.com%7Cf5c312fa94234393aac808dbb4ab03e1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638302418834282902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=3MlXVG0bNQdj027o2E4fNTwOTygbPSkvhMzv7t4qRiU%3D&reserved=0<https://the-asf.slack.com/archives/C0459N9R5C6/p1692192925909199> by Jarek, and would be good to get as part of our automation. https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fjepsen-io%2Felle%2Fblob%2Fmain%2FLICENSE&data=05%7C01%7CGerman.Eichberger%40microsoft.com%7Cf5c312fa94234393aac808dbb4ab03e1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638302418834282902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=lFu8RVB4FqoJ59FM5sqC3nTUYbgFsHZcDB6L2jgBgFM%3D&reserved=0<https://github.com/jepsen-io/elle/blob/main/LICENSE> - Eclipse Public License 2.0
