荨麻

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