Communication complexity for file synchronization is undecidable

  • Authors:
  • Vijay Shivshanker Gupta

  • Affiliations:
  • Cisco Systems, San Jose, CA

  • Venue:
  • ACM SIGACT News
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Wide-area wireless mobile computing environments present interesting challenges for the problem of file synchronization between laptop computers and servers in backbone networks. Wide-area wireless networks are bandwidth-constrained and expensive, thereby making it difficult to synchronize the files in an eager fashion. The problem of file synchronization for laptop computers has been actively studied for more than a decade, and one of the most intriguing questions has been "how little communication is sufficient for file synchronization?" Technically, this is equivalent to the question: "what is the communication complexity for file synchronization?" This article proves the undecidability of the communication complexity for update propagation in a replicated file system if one is willing to transmit operation-based updates.