ITR/SY+IM: Principles and Practice of Synchronization

ITR/SY IM：同步原理与实践

• 批准号: 0113226
• 负责人: Benjamin Pierce
• 金额: $ 30万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0113226&HistoricalAwards=false
• 关键词: ITR; SY+IM; Principles; Practice; Synchronization

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

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