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

137 links

Links per page: 20 50 100

page 1 / 1

9 results tagged distributed-systems x

CRDTs: The Hard Parts — Martin Kleppmann’s talks
Sat 11 Jul 2020 07:24:55 PM CEST - permalink -

- - https://martin.kleppmann.com/2020/07/06/crdt-hard-parts-hydra.html

distributed-systems
6.824 Home Page: Spring 2020

6.824: Distributed Systems

Sprint 2020
Sun 05 Jul 2020 02:06:14 AM CEST - permalink -

- - https://pdos.csail.mit.edu/6.824/

distributed-systems
Notes on Distributed Systems for Young Bloods – Something Similar
Sun 31 May 2020 11:31:44 PM CEST - permalink -

- - https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/

distributed-systems
Operating a Large, Distributed System in a Reliable Way: Practices I Learned
Thu 18 Jul 2019 04:57:39 AM CEST - permalink -

- - https://blog.pragmaticengineer.com/operating-a-high-scale-distributed-system/

distributed-systems monitoring
Zanzibar: Google’s Consistent, Global Authorization System – Google AI
Sat 08 Jun 2019 06:04:57 PM CEST - permalink -

- - https://ai.google/research/pubs/pub48190

distributed-systems security
[1905.13064] The Bloom Clock

This is a paper proposing a probabilistic distributed clock as an alternative to vector clocks. The main advantage here is that the space complexity does not grow with the number of nodes.
Wed 05 Jun 2019 05:29:13 AM CEST - permalink -

- - https://arxiv.org/abs/1905.13064

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