Статья
Модели согласованности: от линеаризуемости до eventual
Модель согласованности — контракт о том, какие истории чтений и записей система вправе показать клиенту: линеаризуемость, последовательная и причинная согласованность, …
База знаний
Тема: Распределённые Системы
28 материалов в этой теме.
Материалы
12 на странице
Статья
Модели отказов: сбои узлов, сеть, разделение, византийские отказы
Что именно ломается в распределённой системе и как это выглядит в логах: иерархия отказов от crash-stop до византийских, детекторы отказов и φ-accrual, четыре вида …
Статья
Микросервисы: границы, коммуникация, данные, эксплуатация
Что на самом деле покупают за микросервисы, как проводить границы по бизнес-возможностям, как выбирать синхронную и асинхронную коммуникацию, что делать с данными без …
Статья
Механизмы консенсуса: PoW, PoS, финальность, форки, атака 51%
Как сеть без начальника договаривается о единой истории: proof-of-work изнутри, proof-of-stake и Gasper, правила выбора форка, вероятностная и детерминированная …
Статья
Координация: распределённые блокировки, лизы, etcd и ZooKeeper
Почему мьютекс не переносится по сети: лизы вместо блокировок, fencing-токены вместо надежды, устройство etcd и ZooKeeper изнутри, рабочие рецепты локов и выборов лидера …
Статья
Консенсус: Paxos, Raft, выбор лидера, репликация лога
Как несколько машин договариваются об одном значении и никогда не передумывают: FLP и три обхода, Paxos, Raft, выборы лидера, реплицированный лог, линеаризуемые чтения, …
Статья
Конкурентные парадигмы: акторы, CSP, STM, разделяемая память
Четыре способа организовать одновременно работающий код — блокировки поверх общей памяти, CSP-каналы, акторы и программная транзакционная память: как каждый устроен …
Статья
Как устроен блокчейн: блоки, хеш-цепочка, дерево Меркла, распределённый реестр
Разбор блокчейна как структуры данных и как протокола: раскладка заголовка блока по байтам, хеш-цепочка, дерево Меркла и доказательства включения, репликация реестра по …
Статья
Доменные события и интеграция контекстов
Как факты домена превращаются в события, как доставить их надёжно через outbox и inbox и как связать ограниченные контексты, не создав распределённый монолит.
Статья
Децентрализованные хранилища: IPFS, Filecoin, Arweave, контентная адресация
Как работает контентная адресация и из чего собран CID, что IPFS на самом деле делает и чего не делает, как Filecoin доказывает хранение через PoRep и PoSt, на каком …
Статья
Гарантии доставки и идемпотентность: at-least-once и миф exactly-once
Почему exactly-once как свойство канала невозможна, что на самом деле означают гарантии Kafka и Flink, как построить идемпотентную обработку через ключи идемпотентности, …
Статья
Время в распределённой системе: часы, логические часы, векторные часы
Почему физические часы врут и как это выглядит в логах, что такое отношение happens-before, чем логические часы Лампорта отличаются от векторных, зачем нужны гибридные …
По этому запросу ничего не найдено.