Россия
Конфликты версий данных в распределённых системах хранения возникают при одновременных обновлениях реплик и создают серьёзные проблемы согласованности. В статье систематизируются математические модели их разрешения: векторные часы Лампорта, деревья версий, CRDT, кворумные схемы, гибридные логические часы. Анализируются PACELC-компромиссы между согласованностью, доступностью и латентностью. Разработаны вероятностные модели частоты конфликтов и критерии оптимизации параметров репликации для различных сценариев нагрузки.
конфликты версий, распределённые системы хранения, согласованность данных, векторные часы, CRDT, PACELC, кворумные схемы
1. Арапов Д.В. и др. Математическое обеспечение информационно-управляющей системы для хранения продукции с ограниченным сроком хранения // Моделирование систем и процессов. – 2024. – Т. 17, № 1. – С. 7-18.
2. Сумин В.И. Разработка сетевой модели целевых установок сложных организационных систем специального назначения // Моделирование систем и процессов. – 2024. – Т. 17, № 3. – С. 79-87.
3. Wiesmann M., Pedone F., Schiper A., Kemme B., Alonso G. Understanding replication in databases and distributed systems // Proc. 20th IEEE Intern. Conf. on Distributed Computing Systems. – IEEE, 2000. – P. 464-474. – DOIhttps://doi.org/10.1109/ICDCS.2000.840959.
4. Заревич А.И., Муравьев С.В., Бедарева Е.В. [и др.]. Аппаратно-программный комплекс для автоматизированных испытаний сильноточных преобразователей // Известия Томского политехнического университета. – 2013. – Т. 322, № 4. – С. 180-184.
5. Заревич А.И., Новиков С.С. Локальная устойчивость колебаний магнетрона со связанными резонаторами // Вестник науки Сибири. – 2013. – № 4 (10). – С. 109-114.
6. Заревич А.И. Цифровая обработка сигналов при автоматизированных испытаниях сильноточных шунтов // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. – 2013. – № 6 (186). – С. 103-108.
