Verifying Transactional Consistency with Jepsen and FaunaDB

Re:Verifying Transactional Consistency with Jepsen and FaunaDB by freels on Friday July 13, 2018 @12:37PM (#17524433)

We run FaunaDB as a service, or you can license it for on-prem use. Drivers and tooling are all open however, and we plan to release the source for correctness testing as well.

Our property tests are written in Scala as a Monad for controlling execution and random sample generation, and our internal distributed test harness uses Akka. This worked out nicely because we were able to make the relevant integration and fault tests scale from local runs via SBT to full geo-distributed clusters and OS-level fault injection.

[ Parent | on HN ]

Re:Verifying Transactional Consistency with Jepsen and FaunaDB by winetraveler on Friday July 13, 2018 @01:55PM (#17525141)

Would be good to see -- problems/issues that needed code fixes? maybe caused you to rethink (or regret) implementation decisions? I'm sure Kyle's report will have something good. I always root for Jepsen...and I haven't been disappointed yet.

[ Parent | on HN ]