AutoSRv6: Configuration Synthesis for Segment Routing Over IPv6

Segment Routing over IPv6 (SRv6) is an innovative and adaptable source routing technique that enhances interconnection services. It plays a pivotal role in next-generation networking technologies, providing crucial support for network telemetry, computing power networks, and related technologies. The end-to-end connectivity capability of SRv6 is highly regarded by ISPs, driving its widespread deployment in networks. However, configuring an SRv6 network can be challenging and prone to errors due to the complexity of low-level configuration languages and numerous protocol parameters. To address this issue, we present AutoSRv6, a system designed to synthesize SRv6 configurations for large, evolving networks using high-level abstractions of network topology and policies. AutoSRv6 leverages formal constraint-solving techniques and SMT solvers to compute protocol parameters and generate configuration files that align with network policies. Furthermore, AutoSRv6 incorporates a mechanism to overcome the constraints imposed by hardware, mapping the end-to-end path to a SID (Segment Identifier) sequence. We have developed a prototype of AutoSRv6 and conducted experiments on diverse network topologies, evaluating its performance with various network policies. The results show that autoSRv6 can generate the network configuration satisfying the policy, the time cost of IGP synthesis is better than the existing method, and the length of the segment list is optimized by more than 2 times.