Počet záznamů: 1
Data Synchronization: A Complete Theoretical Solution for Filesystems
- 1.
SYSNO ASEP 0570143 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Data Synchronization: A Complete Theoretical Solution for Filesystems Tvůrce(i) Csirmaz, E. P. (HU)
Csirmaz, Laszlo (UTIA-B) ORCIDCelkový počet autorů 2 Číslo článku 344 Zdroj.dok. Future Internet. - : MDPI
Roč. 14, č. 11 (2022)Poč.str. 21 s. Forma vydání Online - E Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova data synchronization ; conflict resolution ; filesystem theory Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GA19-04579S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora UTIA-B - RVO:67985556 UT WOS 000895262800001 EID SCOPUS 85149162425 DOI 10.3390/fi14110344 Anotace Data reconciliation in general, and filesystem synchronization in particular, lacks rigorous theoretical foundation. This paper presents, for the first time, a complete analysis of synchronization for two replicas of a theoretical filesystem. Synchronization has two main stages: identifying the conflicts, and resolving them. All existing (both theoretical and practical) synchronizers are operation-based: they define, using some rationale or heuristics, how conflicts are to be resolved without considering the effect of the resolution on subsequent conflicts. Instead, our approach is declaration-based: we define what constitutes the resolution of all conflicts, and for each possible scenario we prove the existence of sequences of operations/commands which convert the replicas into a common synchronized state. These sequences consist of operations rolling back some local changes, followed by operations performed on the other replica. The set of rolled-back operations provides the user with clear and intuitive information on the proposed changes, so she can easily decide whether to accept them or ask for other alternatives. All possible synchronized states are described by specifying a set of conflicts, a partial order on the conflicts describing the order in which they need to be resolved, as well as the effect of each decision on subsequent conflicts. Using this classification, the outcomes of different conflict resolution policies can be investigated easily. Pracoviště Ústav teorie informace a automatizace Kontakt Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201. Rok sběru 2023 Elektronická adresa https://www.mdpi.com/1999-5903/14/11/344
Počet záznamů: 1