NeTS: Small: Flange: A Domain Specific Language for Network

NeTS：小：法兰：网络领域特定语言

• 批准号: 1320659
• 负责人: Douglas Swany
• 金额: $ 29.83万
• 依托单位: Indiana University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2017-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1320659&HistoricalAwards=false
• 关键词: NeTS; Small; Flange; Domain; Specific

An increasing amount of software depends on the network, and at the same time networks themselves are becoming more programmable via technologies like OpenFlow, opening a wide range of opportunities both for network efficiencies and in-network computation. While new programming models seek to make network reconfiguration easier, none provide tools to solve the joint problem of software-controlled routing and placement of in-network computational services. This project will design and build a domain specific language (DSL), called Flange, for managing services in networks. The project's approach marshalls configurable forwarding and computing devices in the network, with pervasive monitoring to support service adaptation. The project includes building and releasing a prototype compiler, runtime, system and front-ends that enable Flange programming both with dedicated syntax (standalone DSL) and embedded in host languages. The success criteria for this project is that a network administrator using the prototype is able to set a new service (e.g. video-transcoding) using less than a page of Flange code. Using the same mechanism, a network engineer should be able to launch a persistent function that monitors network conditions and responds to saturation by redirecting traffic to an alternate path. The novelty of the project is twofold. First, the semantic foundation at the root of the project treats both hardware and software aspects of networks uniformly, as constituting a single process network. For example, the project models forwarding as an in-the-network service, while considering it in the same light as other potentially instantiated services in the network such as transcoding or compression. Second, the Flange language will provide novel global view programming abstractions for large networks. Flange programs will be able to inspect network entities, aggregate information, signal and respond to events, all without reference to their own place of execution (which is often physically distributed). The work proposed here stands to impact network operational efficiency and flexibility for national science-focused cyberinfrastructure as well as in commercial applications, where the economic impact of networked computing is clear. In addition, the design decisions the underly Flange are pedagogically relevant and will be presented in courses taught by the PIs.

越来越多的软件依赖于网络，同时网络本身通过 OpenFlow 等技术变得更加可编程，为网络效率和网内计算提供了广泛的机会。虽然新的编程模型试图使网络重新配置变得更容易，但没有一个提供工具来解决软件控制的路由和网络内计算服务的放置的联合问题。 该项目将设计和构建一种称为 Flange 的领域特定语言 (DSL)，用于管理网络中的服务。 该项目的方法在网络中编组可配置的转发和计算设备，并通过普遍的监控来支持服务适应。 该项目包括构建和发布原型编译器、运行时、系统和前端，支持使用专用语法（独立 DSL）和嵌入宿主语言进行 Flange 编程。 该项目的成功标准是使用原型的网络管理员能够使用少于一页的 Flange 代码设置新服务（例如视频转码）。使用相同的机制，网络工程师应该能够启动持久功能，监视网络状况并通过将流量重定向到备用路径来响应饱和情况。该项目的新颖性是双重的。首先，该项目根部的语义基础将网络的硬件和软件方面统一视为构成单个进程网络。例如，该项目将转发建模为网络内服务，同时将其与网络中其他潜在实例化服务（例如转码或压缩）视为相同的角度。其次，Flange 语言将为大型网络提供新颖的全局视图编程抽象。法兰程序将能够检查网络实体、聚合信息、发出信号并响应事件，所有这些都无需参考它们自己的执行位置（通常是物理分布式的）。 这里提出的工作将影响以国家科学为重点的网络基础设施以及商业应用的网络运行效率和灵活性，其中网络计算的经济影响是显而易见的。此外，底层法兰的设计决策与教学相关，并将在 PI 教授的课程中介绍。