Corpus ID: 18847553

Algebraic File Synchronization: Adequacy and Completeness

@article{Csirmaz2016AlgebraicFS,
  title={Algebraic File Synchronization: Adequacy and Completeness},
  author={El{\"o}d Csirmaz},
  journal={ArXiv},
  year={2016},
  volume={abs/1601.01736}
}
  • Elöd Csirmaz
  • Published 2016
  • Computer Science
  • ArXiv
  • With distributed computing and mobile applications, synchronizing diverging replicas of data structures is a more and more common problem. We use algebraic methods to reason about filesystem operations, and introduce a simplified definition of conflicting updates to filesystems. We also define algorithms for update detection and reconciliation and present rigorous proofs that they not only work as intended, but also cannot be improved on. To achieve this, we introduce a novel, symmetric set of… CONTINUE READING
    3
    Twitter Mentions

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 19 REFERENCES

    An algebraic approach to file synchronization

    VIEW 10 EXCERPTS

    What is a file synchronizer?

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Detection of Mutual Inconsistency in Distributed Systems

    VIEW 1 EXCERPT

    Optimistic replication

    VIEW 3 EXCERPTS