Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
CoRR(2024)
Abstract
Data plane verification (DPV) analyzes routing tables and detects routing
abnormalities and policy violations during network operation and planning.
Thus, it has become an important tool to harden the networking infrastructure
and the computing systems building on top. Substantial advancements have been
made in the last decade and state-of-the-art DPV systems can achieve sub-us
verification for an update of a single forwarding rule.
In this paper, we introduce fast inverse model transformation (FIMT), the
first theoretical framework to systematically model and analyze centralized DPV
systems. FIMT reveals the algebraic structure in the model update process, a
key step in fast DPV systems. Thus, it can systematically analyze the
correctness of several DPV systems, using algebraic properties. The theory also
guides the design and implementation of NeoFlash, a refactored version of Flash
with new optimization techniques. Evaluations show that NeoFlash outperforms
existing state-of-the-art centralized DPV systems in various datasets and
reveal insights to key techniques towards fast DPV.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined