CSR: Small: Towards Programming Datacenters

CSR：小型：迈向数据中心编程

基本信息

批准号：
1817116
负责人：
Scott Shenker
金额：
$ 50万
依托单位：
International Computer Science Institute
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-07-01 至 2022-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1817116&HistoricalAwards=false
关键词：
CSR Small Towards Programming Datacenters

项目摘要

This project seeks to redefine how developers can exploit the computational power of modern datacenters. Today, developers must specify how each compute job is split across the many machines in a datacenter. This project will allow programmers to merely write programs intended for a single machine; these programs are then transformed (by the technologies developed in this project) into a form that can take advantage of the abundant parallelism available in datacenters. Thus, in this approach, developers are not just programming a single computer, but the entire datacenter.This project leverages the recent advances in serverless computing, and extends its generality by addressing several fundamental questions, such as:- How can one provide fault tolerance and improved Input/Output performance for both existing and emerging serverless applications?- How can one efficiently ensure consistency when running serverless applications which might access the same data? - Can one automatically translate code written to be executed on a single server so it can run in a serverless environment where each execution is only allowed to run for bounded time (after which it is terminated)? Serverless computing is an increasingly popular paradigm, since it allows application developers to deploy applications without managing individual virtual machines. However, the current approach is incomplete which both impacts its generality (by limiting applications that can be executed) and correctness (since correctly implementing applications requires developers to reason about runtimes and resource access times). This project will eliminate these limitations of serverless computing, thus enabling a larger set of applications to be deployed as serverless applications. This will make it easier to harness the power of datacenters, thereby enabling progress in myriad areas of significant social and commercial importance. The work developed in this project will be placed on a public github repository, with the appropriate documentation so that the technologies are available to all interested parties.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目旨在重新定义开发人员如何利用现代数据中心的计算能力。如今，开发人员必须指定如何在数据中心中的许多计算机上分配每个计算作业。该项目将允许程序员仅编写用于单台计算机的程序；然后，将这些程序（由该项目中开发的技术）转换为一种形式，该形式可以利用数据中心中可用的丰富并行性。因此，在这种方法中，开发人员不仅在编程一台计算机，而且是整个数据中心。本项目利用了无服务器计算的最新进展，并通过解决几个基本问题来扩展其一般性，例如： - 一个人如何提供可容忍和改进的输入/输出性能在现有和不断的服务器上，在某种程度上可以保持一致性？ - 一个人可以自动翻译写入代码以在单个服务器上执行的代码，以便它可以在无服务器的环境中运行，在该环境中，每个执行仅允许在有限的时间内运行（之后终止）？无服务器计算是一种越来越流行的范式，因为它允许应用程序开发人员在不管理单个虚拟机的情况下部署应用程序。但是，当前的方法是不完整的，这两者都会影响其通用性（通过限制可以执行的应用程序）和正确性（因为正确实施应用程序需要开发人员对运行时间和资源访问时间进行推理）。该项目将消除无服务器计算的这些局限性，从而使一组较大的应用程序将作为无服务器应用程序部署。这将使利用数据中心的力量变得更加容易，从而在众多社会和商业重要性方面取得了进步。该项目中开发的工作将放置在公共GitHub存储库中，并提供适当的文档，以便所有有关方面都可以使用这些技术。该奖项反映了NSF的法定任务，并认为使用基金会的知识分子优点和更广泛影响的评估标准，认为值得通过评估来获得支持。