CSR: SHF: Small: Propagator-Based Computing, A Programming Foundation for Decentralized Systems

CSR：SHF：小型：基于传播器的计算，去中心化系统的编程基础

• 批准号: 1116294
• 负责人: Gerald Sussman
• 金额: $ 20万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116294&HistoricalAwards=false
• 关键词: CSR; SHF; Small; Propagator; Based

This project develops the Propagator Model, a concurrent decentralizedframework designed to support computing in large, open, dynamicenvironments. It provides powerful tools for organizing computationsto operate effectively in a world of rapidly changing and globallyinconsistent data by adopting a fundamental shift in viewpoint: thethings manipulated by basic computing elements are not fixed values.Rather, they are information about values, and this information iscontinually refined as new information becomes available.This project creates the architectural and linguistic foundations forsystems that can operate effectively in environments where there is nocentral management, and where one cannot rely on resources beingconsistently available or consistently operating, and where the data israpidly changing and globally inconsistent. Using three mechanismsimplicit in the computational substrate: (1) constraint propagation,(2) partial information structures, and (3) dependencies, systemsbuilt on the propagator model automatically have the ability tosupport their conclusions with arguments and report on the provenanceof the ingredients. They can automatically discover and useconsistent subsystems of inconsistent data.This project erects a naturally concurrent and distributed model andinfrastructure for computation that makes it easier to build systemsthat are reliable in the face of natural failures and deliberateattacks. It provides support for auditable and accountable systemsthat are robust and adaptable to novel applications.

这个项目开发了传播者模型，这是一个并发的、分散的框架，旨在支持大型、开放、动态环境中的计算。它提供了强大的工具来组织计算，以便在快速变化和全球不一致的数据的世界中有效地运行，因为它采用了根本的观点转变：基本计算元素操作的东西不是固定值。相反，它们是关于值的信息，并且随着新信息的获得，这些信息会被不断提炼。这个项目为能够在没有中央管理的环境中有效运行的系统创建了体系结构和语言基础，在这种环境中，人们不能依赖资源一致可用或一致运行，并且在数据快速变化和全局不一致的环境中。在计算基础上，使用三种机制：(1)约束传播，(2)部分信息结构，和(3)依赖，建立在传播者模型上的系统能够自动支持他们的结论，并报告成分的来源。他们可以自动发现和使用不一致数据的一致子系统。这个项目建立了一个自然的并发和分布式计算模型和基础设施，使得在面对自然故障和蓄意攻击时更容易建立可靠的系统。它为可审计和负责的系统提供支持，这些系统是健壮的，可适应新的应用程序。