https://courses.digitable.life/tags/%D1%80%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D1%8B%D0%B5-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B/ Recent content in Распределённые Системы on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/distributed-systems/03-cap-and-pacelc/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/03-cap-and-pacelc/ Точная формулировка CAP и её доказательство, шесть массовых заблуждений вокруг «выбери два из трёх», PACELC как недостающая половина картины, разбор отказов с реальными логами etcd, Kafka, Cassandra и Redis — и почему из ветки A растёт миф про exactly-once. https://courses.digitable.life/post/databases/12-cassandra-and-wide-column/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/databases/12-cassandra-and-wide-column/ Wide-column изнутри: почему схема проектируется от запросов, а не от сущностей, как устроены токен-кольцо, кворумы и LSM-хранилище, чем на самом деле стоят tombstone-ы, компакция и репейры, и где проходит граница между Cassandra, ScyllaDB, HBase и DynamoDB. https://courses.digitable.life/post/databases/18-newsql-and-distributed/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/databases/18-newsql-and-distributed/ Как устроены распределённые SQL-базы изнутри: кодирование таблиц в упорядоченное KV, Raft-группы на диапазон, гибридные часы и распределённые транзакции — и честный разбор того, во что это обходится по латентности, деньгам и эксплуатации. https://courses.digitable.life/post/databases/09-nosql-landscape/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/databases/09-nosql-landscape/ Честная карта NoSQL-мира: агрегатная модель данных, строгая формулировка CAP и PACELC, спектр консистентности, кворумы и разрешение конфликтов, сравнение классов хранилищ по цене и эксплуатации — и трезвый список случаев, когда реляционка всё-таки лучше. https://courses.digitable.life/post/distributed-systems/02-time-and-clocks/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/02-time-and-clocks/ Почему физические часы врут и как это выглядит в логах, что такое отношение happens-before, чем логические часы Лампорта отличаются от векторных, зачем нужны гибридные часы и TrueTime, и почему любая схема дедупликации по времени рано или поздно ломается. https://courses.digitable.life/post/distributed-systems/09-idempotency-and-delivery/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/09-idempotency-and-delivery/ Почему exactly-once как свойство канала невозможна, что на самом деле означают гарантии Kafka и Flink, как построить идемпотентную обработку через ключи идемпотентности, дедупликацию в одной транзакции с эффектом и фенсинг — с разбором того, что видно в логах, когда каждый механизм ломается. https://courses.digitable.life/post/web3/09-decentralized-storage/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/web3/09-decentralized-storage/ Как работает контентная адресация и из чего собран CID, что IPFS на самом деле делает и чего не делает, как Filecoin доказывает хранение через PoRep и PoSt, на каком допущении держится эндаумент Arweave — и как хранить ссылку на данные в смарт-контракте, чтобы она не умерла. https://courses.digitable.life/post/ddd/05-domain-events-and-integration/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/ddd/05-domain-events-and-integration/ Как факты домена превращаются в события, как доставить их надёжно через outbox и inbox и как связать ограниченные контексты, не создав распределённый монолит. https://courses.digitable.life/post/web3/01-blockchain-basics/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/web3/01-blockchain-basics/ Разбор блокчейна как структуры данных и как протокола: раскладка заголовка блока по байтам, хеш-цепочка, дерево Меркла и доказательства включения, репликация реестра по сети, форки и реорганизации — с проверяемым кодом. https://courses.digitable.life/post/paradigms/05-concurrent-actors-csp/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/paradigms/05-concurrent-actors-csp/ Четыре способа организовать одновременно работающий код — блокировки поверх общей памяти, CSP-каналы, акторы и программная транзакционная память: как каждый устроен изнутри, что он гарантирует, чем платит и когда его выбирать. https://courses.digitable.life/post/distributed-systems/07-consensus/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/07-consensus/ Как несколько машин договариваются об одном значении и никогда не передумывают: FLP и три обхода, Paxos, Raft, выборы лидера, реплицированный лог, линеаризуемые чтения, смена состава кластера — и почему консенсус не даёт exactly-once. https://courses.digitable.life/post/distributed-systems/10-coordination/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/10-coordination/ Почему мьютекс не переносится по сети: лизы вместо блокировок, fencing-токены вместо надежды, устройство etcd и ZooKeeper изнутри, рабочие рецепты локов и выборов лидера — и разбор того, почему «ровно один исполнитель» — тот же миф, что и exactly-once. https://courses.digitable.life/post/web3/03-consensus/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/web3/03-consensus/ Как сеть без начальника договаривается о единой истории: proof-of-work изнутри, proof-of-stake и Gasper, правила выбора форка, вероятностная и детерминированная финальность, экономика атаки 51% и что из всего этого следует для вашего кода. https://courses.digitable.life/post/architecture-patterns/03-microservices/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/architecture-patterns/03-microservices/ Что на самом деле покупают за микросервисы, как проводить границы по бизнес-возможностям, как выбирать синхронную и асинхронную коммуникацию, что делать с данными без распределённых транзакций и какой эксплуатационный минимум обязателен. https://courses.digitable.life/post/distributed-systems/01-failure-models/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/01-failure-models/ Что именно ломается в распределённой системе и как это выглядит в логах: иерархия отказов от crash-stop до византийских, детекторы отказов и φ-accrual, четыре вида разделений сети, split-brain и fencing, порча данных, корреляция отказов и почему exactly-once — миф. https://courses.digitable.life/post/distributed-systems/04-consistency-models/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/04-consistency-models/ Модель согласованности — контракт о том, какие истории чтений и записей система вправе показать клиенту: линеаризуемость, последовательная и причинная согласованность, гарантии сессии и eventual — со сценариями отказа, логами, настройками etcd, Kafka, Cassandra и Spanner и разбором, почему exactly-once обычно миф. https://courses.digitable.life/post/distributed-systems/12-observability/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/12-observability/ Почему в распределённой системе нет стек-трейса и что играет его роль: трейс как граф причинности, распространение контекста через асинхронные границы, рассинхронизация часов, смещение семплирования, анализ критического пути, серые отказы, наблюдаемость дублей — и конкретные метрики и строки логов etcd, Kafka, Cassandra и Spanner. https://courses.digitable.life/post/principles/08-errors-and-resilience/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/principles/08-errors-and-resilience/ Как отличить баг от ожидаемого исхода, зачем нужны предусловия и инварианты, чем исключения отличаются от result-типов, и как таймауты, ретраи, идемпотентность и circuit breaker превращают ненадёжные компоненты в надёжную систему. https://courses.digitable.life/post/distributed-systems/11-messaging/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/11-messaging/ Чем очередь отличается от лога, почему порядок сообщений ломается в шести местах, как устроено обратное давление и что происходит, когда его нет, как правильно строить повторы и DLQ — и почему брокер в принципе не может дать exactly-once. https://courses.digitable.life/post/algorithms/16-parallel-and-distributed/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/algorithms/16-parallel-and-distributed/ Как считать сложность параллельных алгоритмов в модели работа/глубина, писать scan и параллельную сортировку, и почему в распределённой системе согласование упирается в FLP, кворумы, Paxos и Raft. https://courses.digitable.life/post/distributed-systems/06-partitioning/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/06-partitioning/ Как разложить данные, которые не помещаются на один узел: диапазоны против хеша, консистентное хеширование и виртуальные узлы, безопасная передача владения секцией, горячие ключи и почему выбор ключа партиционирования определяет границы транзакций и вашу идемпотентность. https://courses.digitable.life/post/distributed-systems/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/00-overview/ Что делает систему распределённой, почему в ней появляется третий исход вместо «получилось» и «не получилось», как читать отказы по логам и как устроен остальной трек. https://courses.digitable.life/post/distributed-systems/08-distributed-transactions/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/08-distributed-transactions/ Как сохранить атомарность, когда эффект размазан по нескольким базам и брокерам: почему 2PC блокируется, что на самом деле гарантирует сага, зачем нужен outbox и почему exactly-once — свойство эффекта, а не канала. https://courses.digitable.life/post/databases/08-replication-and-sharding/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/databases/08-replication-and-sharding/ Как копировать и разрезать данные, чтобы система пережила отказ узла и рост нагрузки: журналы репликации, синхронность, выбор ключа шардирования, failover, split-brain и цена каждого решения. https://courses.digitable.life/post/distributed-systems/05-replication/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/05-replication/ Как данные копируются между узлами: лидер и последователи, кворумы в стиле Dynamo, окно потери подтверждённых записей при failover, разрешение конфликтов и CRDT — с разбором того, что именно видно в логах, когда каждая схема ломается. https://courses.digitable.life/post/mathematics/16-game-theory/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/16-game-theory/ Строгая математика стратегического взаимодействия: нормальная форма, доминирование, равновесие Нэша и теорема о его существовании, минимакс и LP-двойственность, повторяющиеся игры и folk theorem, эволюционная динамика, цена анархии, проектирование механизмов (VCG, Vickrey, Myerson) и то, как всё это проявляется в ретраях, аукционах рекламы, консенсусе и MEV. https://courses.digitable.life/post/distributed-systems/13-testing-distributed/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/distributed-systems/13-testing-distributed/ Как проверять систему, у которой нет одного правильного ответа: детерминированная симуляция с одним seed, проверка историй на линеаризуемость и изоляцию, устройство Jepsen-теста, chaos engineering с ограниченным радиусом поражения и формальные методы — с разбором того, что именно ломается и как это выглядит в логах. https://courses.digitable.life/post/architecture-patterns/09-resilience-patterns/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/architecture-patterns/09-resilience-patterns/ Как проектировать систему, которая переживает отказ своих зависимостей: таймауты и бюджеты дедлайнов, ретраи без лавины, размыкатели, переборки, обратное давление, отбрасывание нагрузки и осмысленная деградация — с рабочим кодом, расчётами и разбором реальных аварий.