跳到主要内容
10.5555/1946313.1946339诉讼指南文章/章节视图摘要出版物页面会议记录acm-pubtype公司
第条

Nettle:消除编程网络路由器的刺痛

出版:2011年1月24日出版历史

摘要

我们描述了一种以语言为中心的方法来解决复杂、低级和容易出错的网络控制问题。具体来说,我们设计了一种特定于域的语言Nettle,它嵌入在Haskell中,允许以优雅的声明式风格编程OpenFlow网络。Nettle基于功能反应式编程(FRP)的原理,因此具有连续和离散抽象,每个抽象都在设计中得到了利用。我们已经实现了Nettle并在真正的OpenFlow交换机上进行了测试。我们通过编写几个非平凡的OpenFlow控制器来演示我们的方法。

工具书类

  1. http://www.openflowswitch.org/谷歌学者谷歌学者
  2. http://noxrepo.org/wp/谷歌学者谷歌学者
  3. Caesar,M.,Rexford,J.:ISP网络中的BGP路由策略。IEEE网络19(6),5-11(2005)。谷歌学者谷歌学者
  4. Elliott,C.,Hudak,P.:功能反应动画。摘自:函数式编程国际会议,第263-273页(1997年6月)。谷歌学者谷歌学者
  5. Foster,N.、Harrison,R.、Meola,M.L.、Freedman,M.J.、Rexford,J.、Walker,D.:Frenetic:开放流网络的高级语言。参加:ACM未来可扩展服务可编程路由器研讨会(PRESTO)(2010年11月)。谷歌学者谷歌学者
  6. Griffin,T.G.,Jaggard,A.D.,Ramachandran,V.:路径向量协议的策略语言的设计原则。收录于:SIGCOMM 2003:2003年计算机通信应用、技术、架构和协议会议记录。第61-72页。ACM,纽约(2003年)。谷歌学者谷歌学者
  7. Hinrichs,T.L.,Gude,N.S.,Casado,M.,Mitchell,J.C.,Shenker,S.:实用声明式网络管理。收录于:WREN 2009:第一届ACM企业网络研究研讨会会议记录,第1-10页。ACM,纽约(2009年)。谷歌学者谷歌学者
  8. Hudak,P.、Courtney,A.、Nilsson,H.、Peterson,J.:机器人、箭头和函数反应式编程。摘自:Jeuring,J.,Jones,S.L.P.(编辑)AFP 2002。LNCS,第2638卷。斯普林格,海德堡(2003)。谷歌学者谷歌学者
  9. 休斯,J.:将单子概括为箭头。科学。计算。程序。37(1-3), 67-111 (2000).谷歌学者谷歌学者
  10. Loo,B.T.,Hellerstein,J.M.,Stoica,I.,Ramakrishnan,R.:声明性路由:具有声明性查询的可扩展路由。在:SIGCOMM 2005:2005年计算机通信应用、技术、体系结构和协议会议记录,第289-300页。ACM,纽约(2005年)。谷歌学者谷歌学者
  11. Mahajan,R.、Wetherall,D.、Anderson,T.:理解BGP错误配置。收录于:SIGCOMM,宾夕法尼亚州匹兹堡,第3-17页(2002年8月)。谷歌学者谷歌学者
  12. Paterson,R.:箭头的新符号。收录于:ICFP 2001:ACM SIGPLAN第六届函数编程国际会议记录,第229-240页。ACM,纽约(2001年)。谷歌学者谷歌学者
  13. Peterson,J.,Hager,G.,Hudak,P.:一种声明式机器人编程语言。参加:机器人与自动化国际会议(1999年)。谷歌学者谷歌学者
  14. Ramachandran,V.:域间路由的基础。耶鲁大学博士论文(2005年5月)。谷歌学者谷歌学者
  15. Voellmy,A.,Agarwal,A.,Hudak,P.,Feamster,N.,Burnett,S.,Launchbury,J.:不要配置网络,编程吧!网络系统的特定于域的编程语言。耶鲁大学技术代表YALEU/DCS/RR-1432(2010年7月)。谷歌学者谷歌学者
  16. Voellmy,A.,Hudak,P.:Nettle:一种用于配置路由网络的语言。收录:Taha,W.M.(编辑)DSL 2009。LNCS,第5658卷,第211-235页。斯普林格,海德堡(2009)。谷歌学者谷歌学者

建议

评论

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

登录

完全访问权限

  • 发布于

    封面图片指南会议记录
    PADL'11:第13届声明性语言实用方面国际会议记录
    2011年1月
    264页
    国际标准图书编号:9783642183775

    出版商

    Springer-Verlag公司

    柏林,海德堡

    出版历史

    • 出版:2011年1月24日

    限定符

    • 第条