Тема: распределённые системы

Статья

Модели согласованности: от линеаризуемости до eventual

Модель согласованности — контракт о том, какие истории чтений и записей система вправе показать клиенту: линеаризуемость, последовательная и причинная согласованность, …

#распределённые системы#согласованность#линеаризуемость

Статья

Модели отказов: сбои узлов, сеть, разделение, византийские отказы

Что именно ломается в распределённой системе и как это выглядит в логах: иерархия отказов от crash-stop до византийских, детекторы отказов и φ-accrual, четыре вида …

#распределённые системы#отказоустойчивость#надёжность

Статья

Микросервисы: границы, коммуникация, данные, эксплуатация

Что на самом деле покупают за микросервисы, как проводить границы по бизнес-возможностям, как выбирать синхронную и асинхронную коммуникацию, что делать с данными без …

#архитектура#микросервисы#распределённые системы

Статья

Механизмы консенсуса: PoW, PoS, финальность, форки, атака 51%

Как сеть без начальника договаривается о единой истории: proof-of-work изнутри, proof-of-stake и Gasper, правила выбора форка, вероятностная и детерминированная …

#web3#блокчейн#консенсус

Статья

Координация: распределённые блокировки, лизы, etcd и ZooKeeper

Почему мьютекс не переносится по сети: лизы вместо блокировок, fencing-токены вместо надежды, устройство etcd и ZooKeeper изнутри, рабочие рецепты локов и выборов лидера …

#распределённые системы#координация#блокировки

Статья

Консенсус: Paxos, Raft, выбор лидера, репликация лога

Как несколько машин договариваются об одном значении и никогда не передумывают: FLP и три обхода, Paxos, Raft, выборы лидера, реплицированный лог, линеаризуемые чтения, …

#распределённые системы#консенсус#raft

Статья

Конкурентные парадигмы: акторы, CSP, STM, разделяемая память

Четыре способа организовать одновременно работающий код — блокировки поверх общей памяти, CSP-каналы, акторы и программная транзакционная память: как каждый устроен …

#парадигмы#конкурентность#многопоточность

Статья

Конкурентность в Elixir: процессы, OTP, супервизия, GenStage/Broadway и распределённость

Акторная модель BEAM: процессы, spawn/send/receive, ссылки и мониторы, let it crash, OTP (GenServer, Supervisor, Task, Registry, DynamicSupervisor), стратегии …

#elixir#конкурентность#акторы

Статья

Как устроен блокчейн: блоки, хеш-цепочка, дерево Меркла, распределённый реестр

Разбор блокчейна как структуры данных и как протокола: раскладка заголовка блока по байтам, хеш-цепочка, дерево Меркла и доказательства включения, репликация реестра по …

#web3#блокчейн#хеши

Статья

Как ломаются распределённые системы: каскады и насыщение

Каталог механик отказа, которые не выводятся из поломки отдельного компонента: насыщение пулов и очередей, усиление повторами, метастабильность с гистерезисом, серые …

#надёжность#sre#распределённые системы

Статья

Доменные события и интеграция контекстов

Как факты домена превращаются в события, как доставить их надёжно через outbox и inbox и как связать ограниченные контексты, не создав распределённый монолит.

#ddd#архитектура#события

Статья

Децентрализованные хранилища: IPFS, Filecoin, Arweave, контентная адресация

Как работает контентная адресация и из чего собран CID, что IPFS на самом деле делает и чего не делает, как Filecoin доказывает хранение через PoRep и PoSt, на каком …

#web3#ipfs#хранилища