3 ms·
We have a whole suite of internal correctness verification tools, in addition to which we are also using Jepsen. We don't have an official report out yet, but y
by jchrisa 8y ago
We have a whole suite of internal correctness verification tools, in addition to which we are also using Jepsen. We don't have an official report out yet, but you can get a preview of our progress here: https://fauna.com/blog/verifying-transactional-consistency-with-jepsen-and-faunadb https://fauna.com/blog/verifying-transactional-consistency-w...
- wikibob 8y agoJust my opinion, having Kyle write a formal report would give a huge bump to validating the stated properties :)
- evanweaver 8y agoStay tuned...
- nickpsecurity 8y agoMight want to look into methods FoundationDB was using: https://abdullin.com/foundationdb-is-back/ https://abdullin.com/foundationdb-is-back/ Might be useful to your team. One of rare times I was surprised and impressed by a new company's verification process. I look forward to reading your tesm's write-up of techniques and lessons learned, too.