Wednesday, October 07, 2015

Links of the day 07/10/2015 : consensus, transaction and correctness

  • Consensus in the wild : lot of way to achieve consensus out there but which one is the most efficient for your requirements. Answer : it depends and we have no consensus.
  • IronFleet: Tool for proving corectness of practical distributed systems using TLA-style state-machine refinement and Hoare-logic verification. 
  • AtlasDB : Transactional Distributed Database layer on top of K/V store.