ITR/SY+IM: Principles and Practice of Synchronization

该项目的目标是为同步器开发实现架构和概念基础，同步器是指在断开连接的更新后协调复制数据副本的程序。更具体地说，该项目的目标是(1)为各种形式的同步开发高级规范，特别是针对文件系统同步和以XML表示的更一般结构化数据的同步领域；以及(2)构建和分发体现这些规范的实现。这些活动紧密相连，并将在整个项目生命周期内并行进行。研究结果将以会议和期刊出版物的形式传播，并以公开分发的软件加以体现。其长期目标是推进同步任务的概念基础(在文件系统、数据库、临时网络协议和协作中间件层中)，并通过提供干净的设计和引人注目的原型来改进该领域的工程实践。Http://www.cis.upenn.edu/~bcpierce/unison

The aims of the project are to develop implementation architectures and conceptual foundations for SYNCHRONIZERS -- programs that reconcile copies of replicated data after disconnected updates. More specifically, the project's goals are (1) to develop high-level SPECIFICATIONS for various forms of synchronization, in particular for the domains of file system synchronization and synchronization for more general structured data presented as XML; and (2) to build and distribute IMPLEMENTATIONS embodying these specifications. These activities are tightly connected, and will proceed in parallel throughout the project's lifetime. The results of the research will both be disseminated in the form conference and journal publications and embodied in publically distributed software. The long-term intention is both to advance the conceptual foundations of synchronization tasks (in filesystems, databases, ad hoc network protocols, and cooperative middleware layers) and, by offering clean designs and compelling prototypes, to improve engineering practice in the area. http://www.cis.upenn.edu/~bcpierce/unison