Lightweight Automated Reasoning for Network Architectures
Rahul Bothra, Venkat Arun, P. Brighten Godfrey, Akshay Narayan, Ahmed Saeed · 2024
Architecting a modern data center network is increasingly complicated. Seeking the highest performance and support for emerging workloads, network architects planning a buildout must choose from a large selection of switching components, NICs, network stacks, congestion control algorithms, routing schemes, measurement systems, virtualization software, centralized bandwidth allocators and security mechanisms, all from various vendors. Today, manual planning by human experts is time-consuming at best, and can easily result in overlooked design choices or missed complex inter-dependencies.