針對網絡應用靈活控制路由帶來的路由錯誤問題,該項目從路由轉發表的代數結構表示入手,設計快速高效的路由驗證子系統。我們發現,將路由轉 發表從傳統的基于規則的一維表示形式轉換為基于等價類的高維表示形 式,即可將大規模網絡中的海量路由轉發表轉換為緊致高效的等價類模型,顯著降低路由驗證所需的運算量。因此,申請人提出了等價類快速 轉換技術。該技術通過映射—歸約—二次歸約,可以為海量路由轉發表 快速構建等價類模型。申請人還設計了路由錯誤早期檢測技術,在網絡 設備轉發表信息收集不完備的情況下,提前預警路由錯誤。使用多個大 規模網絡生產數據集的實測表明,與美國工程院院士、德州大學奧斯汀分校教授Simon Lam提出的路由驗證系統APV及世界上已知最快的路由驗證系統 APKeep 相比,該系統驗證速度提升多達 14000/9000 倍。
評論
全部評論