狂热的 swMATH ID: 16270 软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。 描述: Frenetic:一种网络编程语言。现代网络提供各种相互关联的服务,包括路由、流量监控、负载平衡和访问控制。不幸的是,用于编程当今网络的语言缺乏现代功能——它们通常是在底层硬件提供的低抽象级别上定义的,它们甚至不能为模块化编程提供基本支持。因此,网络程序往往很复杂、容易出错且难以维护。本文介绍了Frenetic,一种用于编程分布式网络交换机集合的高级语言。Frenetic提供了一种用于分类和聚合网络流量的声明性查询语言,以及一个用于描述高级包转发策略的功能性反应组合器库。与该领域以前的工作不同,这些构造在设计上是完全组合的,这有助于模块化推理并实现代码重用。Frenetic的新型运行时系统支持这一重要属性,该系统管理与物理交换机上安装、卸载和查询低级数据包处理规则相关的所有详细信息。总的来说,本文有三个主要贡献:(1)我们分析了网络编程语言的现状,并确定了关键的局限性;(2) 我们提出了一种解决这些局限性的语言设计,使用了一系列示例来激励和验证我们的选择;(3) 我们描述了该语言的一个实现,并在几个基准上评估了其性能。 主页: http://dl.acm.org/citation.cfm?id=2034812 相关软件: NetKAT公司;荨麻;VeriCon公司;VeriFlow公司;SDN安全检查;AProVE公司;莫德;SGS公司;SDSNM公司;开放流SIA;Flowfence公司;TDDAD公司;FADM公司;JESS公司;StateSec(状态秒);柳;泛光灯;芳香;坎杜;超流(HyperFlow) 引用于: 7文件 全部的 前5名21位作者引用 2 内特·福斯特 2 德克斯特·C·科赞。 1 规矩点,桑尼 1 乔治亚娜·卡尔泰斯 1 伯恩德·芬克贝纳 1 迈克尔·弗里德曼。 1 Manuel Gieseking先生 1 哈里森,罗伯 1 赫金·哈布什,杰斯科 1 金·古德斯特兰·拉森 1 康斯坦蒂诺斯·马穆拉斯 1 克里斯托弗·孟山都 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 马克·雷特布拉特 1 詹妮弗·雷克斯福德 1 斯特凡·施密德 1 亚历山德拉·席尔瓦 1 贾格迪普·辛格 1 故事,亚历克 1 昆卡罐Tunç 1 薛冰田 2篇连载文章中引用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 7 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文