✅ Обеспечиваем надёжность распределённых систем с помощью Jepsen и TLA+
Принесли вам запись доклада и презентацию с недавнего выступления Евгения Дюкова на infra.conf'26. Сохраняем и пересматриваем.
Post #1169
1.77K
Inside Yandex Cloud Можно ли доверять PostgreSQL + Patroni? Спойлер: не всегда Прямо сейчас на infra.conf'26 — Евгений Дюков, ведущий разработчик Managed Databases в Yandex Cloud. Он расскажет про два подхода к проверке надёжности распределённых систем: Jepsen и TLA+. ➡️…YouTube Ломаем PostgreSQL с помощью Jepsen и верифицируем локи в TLA+ / Евгений Дюков / Yandex Cloud Некий популярный HA-tool + PostgreSQL может терять данные, которые клиент может считать успешно записанными. Мы покажем это с помощью Jepsen — и расскажем, как это чинить в самом PostgreSQL. А потом мы с вами посмотрим, как формальное моделирование в TLA+…
- ❤ 5
- 👍 3
- 🥰 2
- 🔥 1