近日，全球網絡通信領域旗艦會議ACM SIGCOMM’2022公布了錄用論文，六合彩結果
SNLAB實驗室撰寫的《Flash:針對大規模網絡快速、一致的數據平面驗證系統》（Flash: Fast, Consistent Data Plane Verification for Large-Scale Network Settings）論文作為大會正文被錄用。ACM SIGCOMM是全球網絡通信領域頂級旗艦會議，是系統網絡領域最權威的會議，每年吸引全球近千名網絡與通信領域的頂級專家參加，全球每年僅接受30-50篇論文。
該論文針對大規模網絡中可能出現的數據平面更新風暴和長尾更新，引入了一種稱為快速逆模型變換（Fast IMT）的新方法，可以將大量數據平面更新快速轉換為驗證模型。Flash還引入了一致、高效的錯誤提前檢測機制（CE2D），避免因長尾更新導致的錯誤發現遲滯。實驗表明，在美國臉書公司實際大規模網絡規模下，Flash的驗證效率相比現有最新研究提升了近4個數量級。
圖1 Flash系統結構
網絡數據平面驗證是減少網絡服務中斷的一項基本而重要的技術。針對在大規模網絡驗證系統現在面臨的在短時間內處理大量數據平面更新和驗證系統功能遲滯的關鍵挑戰。Flash創新性地提出兩項新技術實現大規模網絡中的高效數據平面驗證：對于更新風暴，Flash提出快速逆模型變換（Fast IMT）技術實現大量數據平面更新的聚合處理；對于長尾更新情況，Flash提出一致性提前檢測（CE2D）技術，可以在保證一致性的前提下提前做出驗證決策而無需等到網絡收斂。
該成果由六合彩結果
博士生郭棟、陳莘莘擔任共同一作，耶魯大學終身教授楊陽（R. Richard Yang）教授帶隊，其他合作者來自四川大學、廈門大學和美國臉書公司。該論文的發表代表了同濟大學網絡系統團隊在網絡系統驗證這一國際科技前沿領域處于引領地位。（文/圖 杜海舟 郭棟）
