Привет! На связи Женя Дюков, уже через 14 дней я буду выступать со своим докладом на infra.conf'26.
Вот, о чём он: HA-tool + PostgreSQL может терять данные, которые клиент считает записанными. Я покажу это с помощью Jepsen и расскажу, как починить в PostgreSQL. А потом посмотрим, как формальное моделирование в TLA+ помогает убедиться в корректности дизайна, до того как баги попадут в код.
напишите коммент
0 комментов
можете перейти, но сначала проверьте ссылку и будьте аккуратны: не вводите по ссылке пароли, номера телефонов и банковских карт, и другие личные данные
https://
уверены, что хотите выйти?
придется авторизоваться заново, а заполненные данные будут удалены
пост закреплён — пока закрепить можно только один пост
что-то пошло не так — попробуйте снова чуть попозже
