• 

  IPA: invariant-preserving applications for weakly consistent replicated databases

  

  acolyer.org

  IPA: invariant-preserving applications for weakly consistent replicated databases Balegas et al., VLDB’19 IPA for developers, happy days! Last we week looked at automating checks for invariant confluence, and extending the set of cases where we can show that an object is indeed invariant confluent. I’m not going to re-cover that background in this write-up, so … Continue reading IPA: invariant-preserving applications for weakly consistent replicated databases

  datastores transaction processing uncategorized

  • Add  

  1

More like this (3)

• 

  Are CRDTs suitable for shared editing?

  

  kevinjahns.de

  Are CRDTs Suitable for Shared Editing? — If you’ve ever had to think about collaborative editing...

  Are CRDTs Suitable for Shared Editing? — If you’ve ever had to think about collaborative editing systems, CRDTs (Conflict-free replicated data types) will have popped up, but are they really the ‘holy grail’ or do they impose too many overheads? Kevin looks at the problem and introduces a optimization that makes CRDTs worthwhile even for large documents.

  • Read
  • Add  

  
• 

  Conflict-free Replicated Data Type (CRDT)

  

  crdt.tech

  Conflict-free Replicated Data Type (CRDT) a data structure that simplifies distributed data storage systems and multi-user...

  Conflict-free Replicated Data Type (CRDT) a data structure that simplifies distributed data storage systems and multi-user applications. https://news.ycombinator.com/item?id=22850817a

  • Read
  • Add  

  
• Toward Domain-Specific Solvers for Distributed Consistency (2012) [pdf]

  

  ucsc.edu

  • Add