SyNet automatically synthesizes configurations for routers running multiple interacting protocols, including policy-based protocols (BGP) and shortest-path protocols (OSPF), and it also supports static routes. SyNet guarantees that the network's routers converge to a forwarding state that conforms with all high-level requirements provided by the network operator.
Routing protocols have different expressiveness. Configuring multiple protocols is therefore often required to produce a forwarding state compliant with the operator's requirements.
Routing protocols are complex. Moreover, protocols often have complex interdependencies. For example, BGP uses interdomain routing costs as input for selecting the best route. Not surprisingly, the majority of network downtimes are caused by incorrect network configurations.
SyNet currently supports BGP, OSPF, and static routes. SyNet is, however, general and can be extended to support additional routing protocols.
Relying as much as possible on distributed routing protocols to compute the forwarding state is critical to ensure network reliability and scalability. Static routing would prevent routers from reacting locally upon failure - a key requirement in any network.
by Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev