摘要: 由于网络中路由协议执行的时序不一致原因,产生了例如经典的route update racing问题,最后产生多种可能的数据平面行为,为网络的验证带来不确定性;此外,网络验证中对于K-failure问题,一些工具例如Batfish采用枚举验证的方式,对于大规模网络存在scalability问题,效率不 阅读全文
posted @ 2021-09-16 19:30 &Yhao 阅读(263) 评论(0) 推荐(0) 编辑