4 ms·
This looks like a fascinating approach. Unfortunately I’m not well versed enough to intelligently compare it to alternatives. Any plans to have Jepsen / Aphyr
by wikibob 8y ago
This looks like a fascinating approach. Unfortunately I’m not well versed enough to intelligently compare it to alternatives.
Any plans to have Jepsen / Aphyr conduct a rigorous test and write a report on the results?
- jchrisa 8y agoWe 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.