CSR: Small: Protocols and Languages for Low-Coordination Consistent Geodistributed Transactions

世界现在运行的应用程序在全球范围内运行，随处可用。这些应用程序使用的信息还必须分布在全球各地，以便接近应用程序用户。然而，对应用程序开发人员来说，保持这些地理分布的信息保持同步是一项重大挑战。他们必须选择以缓慢但正确的方式构建软件，还是以快速但容易出错的方式构建软件。该项目旨在让开发人员更轻松地构建可靠、高性能的分布式应用程序。开发人员将能够以类似于使用提供简单推理和强大保证的数据库时的方式编写代码，但该项目将引入新的软件体系结构和工具来提高性能。该项目将使用真实的软件展示其创新在实践中是有效的。该项目旨在对分布式软件的可靠性和性能产生广泛的影响。它的成功将使更多的开发人员能够构建具有丰富功能和紧密集成的分布式软件系统。目前，这样的系统需要专业工程师，而且只能由几家大型软件公司承担。分布式系统的民主化构建将赋予政府机构、医疗保健和非营利组织以及中型企业的广泛开发人员权力。该项目将发布体现技术进步的软件构件，并将演示它们用于构建真正的软件。开发的软件将在项目主页www.cs.cornell.edu/project/proteus上公开提供，不仅对研究人员有用，而且对开发人员也有用。

The world now runs on applications that operate at global scale, available everywhere. The information that these applications use must also be distributed around the globe so it is close to application users. However, keeping this geo-distributed information in sync is a major challenge for application developers. They must choose between building software in a way that is slow but correct or fast but error-prone. This project aims to make it easier for developers to build reliable, high-performance distributed applications. Developers will be able to write code in a manner similar to the way they would when using a database that offers simple reasoning and strong guarantees, but the project will introduce new software architectures and tools that improve performance. The project will demonstrate using real software that its innovations are effective in practice.This project aims for broad impact on the reliability and performance of distributed software. Its success will enable a larger class of developers to build distributed software systems with rich functionality and tight integration. Currently such systems require expert engineers and can be undertaken only by a few large software companies. Democratizing construction of distributed systems will empower a wide range of developers at government agencies, health care and nonprofit organizations, and medium-sized businesses. The project will release software artifacts embodying the technical advances and will demonstrate their use to build real software. Developed software will be publicly available at the project home page, www.cs.cornell.edu/projects/proteus, useful not only to researchers but also to developers.