---
id: TASK-45.37
title: 'Материал 33: jepsen.io — Distributed Systems Safety Research'
status: Done
assignee:
  - '@assistant'
created_date: '2026-09-17 17:00'
updated_date: '2026-09-18 01:07'
labels: []
dependencies: []
references:
  - 'https://jepsen.io/'
parent_task_id: TASK-45
priority: low
ordinal: 82000
---

## Description

<!-- SECTION:DESCRIPTION:BEGIN -->
Изучить https://jepsen.io/ — исследования безопасности распределённых систем (реальные аномалии в БД, консистентность). Что из этого уместно упоминать на интервью.
<!-- SECTION:DESCRIPTION:END -->

## Acceptance Criteria
<!-- AC:BEGIN -->
- [x] #1 Выжимка materials/lsd-jepsen.md: типы аномалий, известные кейсы, 2-3 факта для интервью
<!-- AC:END -->

## Implementation Plan

<!-- SECTION:PLAN:BEGIN -->
1. Изучить jepsen.io: индекс анализов, справочник consistency (models/phenomena/dependencies), 8-10 ключевых анализов + классика aphyr.com (Redis 2013, Kafka, Cassandra, RabbitMQ, Elasticsearch, Galera, ZooKeeper, strong consistency models).
2. Написать materials/lsd-jepsen.md: что такое Jepsen и методика (nemesis, Knossos, Elle), типология аномалий (Adya G*/SQL P*, stale read/lost write), таблица известных кейсов с числами (Redis 56%, Cassandra 28%, MySQL RR, PostgreSQL serializable, etcd locks, MongoDB 4.2, Redis-Raft 21 issues, NATS fsync 2 мин, TigerBeetle), 3 факта для интервью и формулировки под бриф/KB §7.
3. Зарегистрировать конспект: строка jepsen.io в learn-system-design-index.md (статус ✅, приоритет, выжимка), строка в README.md раздела system-design (45.37 ✅).
4. Проверить AC, отчитаться в задаче, перевести в Done, коммит.
<!-- SECTION:PLAN:END -->

## Implementation Notes

<!-- SECTION:NOTES:BEGIN -->
Прочитаны полностью: jepsen.io (index, analyses, consistency: models/phenomena/dependencies), анализы Redis-Raft 2020, PostgreSQL 12.3, etcd 3.4.3, MongoDB 4.2.6, MySQL 8.0.34, TigerBeetle 2025, NATS 2025, Redpanda 2022; классика aphyr.com: Redis 2013 (56% потерь), Kafka 2013, Cassandra 2013 (28% потерь), RabbitMQ 2014, Elasticsearch 2014, Galera 2015, ZooKeeper 2013, Strong consistency models 2014. Известный «анализ Redis 2018» на jepsen.io/aphyr отсутствует (в списке только 2013 + Redis-Raft 2020) — в конспект не включаем, Redis-сюжет закрываем проверенными 2013/2020 фактами.

Верификация AC#1: materials/lsd-jepsen.md создан (36.9 КБ, 8 разделов): §3 типы аномалий (Adya G0/G1a-c/G-single/G2 + ANSI P0-P4/A5A/A5B + temporal/stale/lost), §4 таблица 16 кейсов с числами + выжимки 4.1-4.9 (Redis 56%, Cassandra 28%, etcd-локи, PG G2-item, Mongo SI, MySQL MAV, Redis-Raft 21 баг, NATS fsync 2 мин, TigerBeetle-контрпример), §6 три факта + запасной. Конспект зарегистрирован: learn-system-design-index.md стр.72 (статус ✅ P3, выжимка) и README.md раздела (45.37 ✅ в строке materials).
<!-- SECTION:NOTES:END -->

## Final Summary

<!-- SECTION:FINAL_SUMMARY:BEGIN -->
Изучен jepsen.io: индекс анализов (60+ систем), справочник консистентности (models/phenomena/dependencies) и 15 анализов полностью — классика aphyr.com 2013–2015 (Redis, Kafka, Cassandra, ZooKeeper, RabbitMQ, Elasticsearch, Galera, Strong consistency models) + современные (PostgreSQL 12.3, MongoDB 4.2.6, MySQL 8.0.34, etcd 3.4.3, Redis-Raft, Redpanda, NATS, TigerBeetle). Создан materials/lsd-jepsen.md (45.37, AC#1 ✅): методика Jepsen (nemesis, Knossos/Elle), карта консистентности с уровнями доступности, типология аномалий (Adya G* / ANSI P*+A5* / stale-lost), таблица 16 кейсов с числами и выжимки 9 сюжетов, 3+1 факта для интервью, словарь ответа «как тестируете распределёнку», интеграция с KB §5/§7/§10 и соседними конспектами (45.32, 45.36, 45.20). Конспект зарегистрирован в learn-system-design-index.md и README.md раздела. Решение по ходу: «анализ Redis 2018» на jepsen.io/aphyr отсутствует — Redis-сюжет закрыт проверенными фактами 2013 + Redis-Raft 2020. Верификация: файл существует, все требуемые разделы на месте, регистрации внесены в оба индекса.
<!-- SECTION:FINAL_SUMMARY:END -->