.png){kind=icon}
返回
Declarative Debugging for Modern Networks
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-15981-6_11.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
当前网络故障排除主要依赖工单系统，该系统记录、记录、回放和分析实时事件，却忽视了SDN、可编程网络和验证数据中心等领域的最新进展，这些领域已产生丰富的模型和控制软件。我们主张，现代网络软件——包括抽象模型和系统代码——提供了故障排除的视角，借助调试器，当问题发生时，即使调试者未编写该软件或熟悉DSL或验证工具，也能准确定位到具体的错误代码行——这是系统诊断底层网络问题的第一步。作为迈向这一愿景的第一步，我们提出了一种用于现代网络软件的声明式调试方案：用户只需回答关于软件预期行为的“是/否”问题，将过程检查和错误定位完全交给调试器；同时，通过一种新颖的部分求值方法，无缝支持新兴应用中出现的新语言特性，这些特性会自动整合到声明式调试过程中。
Keyword:
Network troubleshooting
Algorithmic debugging
Partial evaluation
Declarative networking
期刊
P
IF:
0
论文数:
12
被引数:
0
机构
引用论文
An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future TrendsP4可编程数据平面交换机的详尽调查: 分类，应用，挑战和未来趋势.png)
IEEE ACCESS
OAAI
IEEE ACCESSIF3.6
OAAI分享收藏分享收藏分享收藏分享收藏
查看更多内容