2023年3月29日
log-2023-03-27
摘要： TODO:（one week） Forwarding tree生成 （最终修复的误报率很大程度上取决于这个tree的优劣） （这里指的是BGP的，在有reference的情况下） Observable： 和现有的（错误的）转发行为/路径相差尽可能小【贪心地认为转发面差距越小则控制面决策更改越少】 保 阅读全文
posted @ 2023-03-29 16:39 机智蛋 阅读(35) 评论(0) 推荐(0)
log-2023-03-29
摘要： PAPERS: NetKAT???【PL的文章太反人类了】：for SDN programming... 新的structural的范式易于验证和诊断【因为这样诊断也可以写成一条条program？】 NetKAT后续，ryan 还没理解文章的目的，应该和network关系不大了 CODE: Java 阅读全文
posted @ 2023-03-29 16:39 机智蛋 阅读(29) 评论(0) 推荐(0)