Семинар «Алгебраический подход к CRDT и распределённым системам»

Selfmade

Новый семинар пройдет 24 апреля 2026 в 18:30 онлайн и в аудитории 428 ВМК МГУ, ссылка на трансляцию будет вывешена здесь незадолго до старта.

Тема: Алгебраический подход к CRDT и распределённым системам.

Докладчик: Михаил Воронов, Trust Architect, преподаватель МГУ.

Аннотация: Conflict-free Replicated Data Types (CRDT) гарантирует схождение данных без консенсуса, опираясь на коммутативность операций слияния. Однако на практике мы часто имеем дело с так называемой наблюдаемой некоммутативностью (NC): это двойные траты UTXO, конкурентные перемещения узлов в деревьях или пересекающиеся права доступа. В таких случаях порядок применения операций напрямую определяет финальный результат, но система всё равно должна быть сходимой.

В этом докладе мы разберём следующий результат: в присутствии NC гарантии схождения, независимости выполнения и строгой точности спецификации являются недостижимыми одновременно. Чтобы обойти это фундаментальное ограничение, архитектура распределенной системы вынуждена пойти ровно по одному из трех путей:

• Commutativize: пожертвовать точностью спецификации, схлопнув порядок через факторизацию наблюдений (как это делает LWW-регистр, стирая реальную историю событий);
• Causalize: отказаться от асинхронной независимости операций, введя строгие зависимости и построив причинно-следственный DAG, расплачиваясь за это объемом метаданных;
• Reject: сузить пространство допустимых состояний, генерируя верифицируемые сертификаты конфликтов (например, для double-spend) и делегируя разрешение на уровень приложения.

🗓 Дата: 24 апреля 2026

⏰ Время: 18:30

📍 Место: 428 ВМК МГУ + онлайн