Search: [distributed-systems] - Dans la poche de Dimtion

37 links

Links per page: 20 50 100

page 1 / 1

3 results tagged distributed-systems x

Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly

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!
Tue 29 Jan 2019 11:28:01 PM CET * - permalink -

- - https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification

distributed-systems model-checking
Time is Partial, or: why do distributed consistency models and weak memory models look so similar, anyway? - CMPS290S, Fall 2018

Great analogy between consistency models and memory models
Mon 19 Nov 2018 09:59:14 AM CET - permalink -

- - 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

distributed-systems
Zoo of consistency: consistency-survey.pdf

A study from 2016 of consistency models for non-transactional distributed storage.
Mon 19 Nov 2018 09:55:00 AM CET - permalink -

- - http://www.vukolic.com/consistency-survey.pdf

distributed-systems read-later

Links per page: 20 50 100

page 1 / 1