NetCore公司 swMATH ID: 13063 软件作者： 克里斯托弗·孟山都；Nate Foster；罗布·哈里森（Rob Harrison）；大卫·沃克 描述： 网络编程语言的编译器和运行时系统。软件定义网络（SDN）是一种新的网络体系结构，其中控制器机器通过指示交换机安装或卸载包转发规则并报告流量统计信息来管理分布式交换机集合。最近成立的开放网络联盟（Open Networking Consortium）的成员包括谷歌（Google）、脸书（Facebook）、微软（Microsoft）、威瑞森（Verizon）和其他公司，该联盟希望使用这种架构来改变企业和数据中心网络的实现方式。par在本文中，我们定义了一种高级声明性语言，称为NetCore，用于在SDN上表达包转发策略。NetCore具有表达性、组合性，并且具有正式的语义。为了确保大多数数据包在交换机上而不是在控制器上得到有效处理，我们为NetCore提供了新的编译算法，并将其与新的运行时系统耦合，该系统向交换机发出规则安装命令和流量统计查询。总之，编译器和运行时系统尽可能生成高效的规则，并优于目前常用于编程SDN的简单手动技术。此外，我们开发的算法是通用的，仅假设交换机上可用的包匹配功能满足一些基本代数定律s.｛par｝总体本文提出了一种新的高级网络编程语言的设计；一组改进的编译器算法；一种新的SDN体系结构运行时系统；该领域中的第一个形式语义和正确性证明；以及一个实现和评估，它展示了与传统手动技术相比的性能优势。 主页： http://dl.acm.org/citation.cfm？doid=2103656.2103685 关键词： 特定于域的语言；狂热的；网络编程语言；OpenFlow；软件定义的网络 相关软件： github；NetKAT公司；菲尔马托；自动参照；nftables（表格）；iptables；前列腺素f；路由；配置检查器；LOFT公司；马尔格雷夫；Iptables语义；UPF防火墙；IP地址；简单防火墙；防火墙生成器；存档正式证据；消防员；TikZ公司；伊莎贝尔/HOL 引用于： 2文件 标准条款 1出版物描述软件 年份 网络编程语言的编译器和运行时系统克里斯托弗·孟山都；Nate Foster；罗布·哈里森（Rob Harrison）；大卫·沃克 2012 全部的 前5名6位作者引用 1 乔治·卡尔 1 科尼利厄斯·迪克曼 1 马克西米利安·哈斯贝克。 1 拉尔斯·胡佩尔 1 朱利叶斯·迈克利斯 1 戈登·斯图尔特 连载1篇 1 自动推理杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文