A General Framework for Compositional Network Modeling
A General Framework for Compositional Network Modeling
复制标题
组合网络建模的通用框架
DOI：
10.1145/3422604.3425930
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Ratul Mahajan
中科院分区：
文献类型：
--
作者：
Ryan Beckett;Ratul Mahajan
我们提倡一种基于公共中间语言的网络建模和分析方法。今天，每个工具都为其目标网络功能构建自定义模型和分析引擎，与此不同，我们认为网络功能应该用一种公共语言来表示。这种方法可以更容易地将正式分析扩展到新功能，并分析相关功能(例如，路由和数据包过滤)之间的交互。我们通过开发一种名为Zen的中间语言和对该语言中的程序进行三种不同的分析来证明这种方法的可行性。对于典型的数据平面和控制平面功能，我们发现Zen将建模工作量减少了一个数量级，同时提供了与定制工具匹配的分析性能。
We advocate for an approach to network modeling and analysis based on a common intermediate language. Unlike today, where each tool builds a custom model and analysis engine for its target network functionality, we argue that network functionality should be expressed in a common language. This approach makes it easier to expand formal analysis to new functionality and analyze interactions between dependent functionalities (e.g., routing and packet filtering). We demonstrate the feasibility of this approach by developing an intermediate language called Zen and three different analyses for programs in that language. For representative data plane and control plane functionalities, we find that Zen reduces the modeling effort by an order of magnitude, while providing analysis performance that matches custom tools.
影响因子：
--
作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
通讯作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
NV：用于验证网络控制平面的中间语言
DOI：
10.1145/3385412.3386019
发表时间：
2020
期刊：
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Giannarakis, Nick;Loehr, Devon;Beckett, Ryan;Walker, David
通讯作者：
Walker, David