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