3 results
tagged
distributed-systems x
-
Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly
Tue Jan 29 23:28:01 2019 * - permalink -A great introductory tutorial on distributed systems formal verification using TLA+. Even though FV and model checking is overkill for many of web services, it is a tool that an engineer should keep in his/her toolbox : one day it might become handy!
-
-
https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification
-
Time is Partial, or: why do distributed consistency models and weak memory models look so similar, anyway? - CMPS290S, Fall 2018
Mon Nov 19 09:59:14 2018 - permalink -Great analogy between consistency models and memory models
-
-
http://composition.al/CMPS290S-2018-09/2018/11/17/time-is-partial-or-why-do-distributed-consistency-models-and-weak-memory-models-look-so-similar-anyway.html
-
Zoo of consistency: consistency-survey.pdf
Mon Nov 19 09:55:00 2018 - permalink -A study from 2016 of consistency models for non-transactional distributed storage.
-
-
http://www.vukolic.com/consistency-survey.pdf
