Russian Federation
Data version conflicts in distributed storage systems arise from concurrent replica updates, posing serious consistency challenges. The article systematizes mathematical resolution models: Lamport vector clocks, version trees, CRDT, quorum schemes, hybrid logical clocks. PACELC tradeoffs between consistency, availability, and latency are analyzed. Probabilistic conflict frequency models and replication parameter optimization criteria for various workloads are developed.
version conflicts, distributed storage systems, data consistency, vector clocks, CRDT, PACELC, quorum schemes
1. Arapov D.V. i dr. Matematicheskoe obespechenie informacionno-upravlyayuschey sistemy dlya hraneniya produkcii s ogranichennym srokom hraneniya // Modelirovanie sistem i processov. – 2024. – T. 17, № 1. – S. 7-18.
2. Sumin V.I. Razrabotka setevoy modeli celevyh ustanovok slozhnyh organizacionnyh sistem special'nogo naznacheniya // Modelirovanie sistem i processov. – 2024. – T. 17, № 3. – S. 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. Zarevich A.I., Murav'ev S.V., Bedareva E.V. [i dr.]. Apparatno-programmnyy kompleks dlya avtomatizirovannyh ispytaniy sil'notochnyh preobrazovateley // Izvestiya Tomskogo politehnicheskogo universiteta. – 2013. – T. 322, № 4. – S. 180-184.
5. Zarevich A.I., Novikov S.S. Lokal'naya ustoychivost' kolebaniy magnetrona so svyazannymi rezonatorami // Vestnik nauki Sibiri. – 2013. – № 4 (10). – S. 109-114.
6. Zarevich A.I. Cifrovaya obrabotka signalov pri avtomatizirovannyh ispytaniyah sil'notochnyh shuntov // Nauchno-tehnicheskie vedomosti Sankt-Peterburgskogo gosudarstvennogo politehnicheskogo universiteta. Informatika. Telekommunikacii. Upravlenie. – 2013. – № 6 (186). – S. 103-108.
