Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees
Citations
4 citations
Cites background from "Distributed Consistent Network Upda..."
...A recent line of work has investigated how to efficiently fix solutions to graph problems under various distributed settings [4, 5, 10, 15, 17, 26, 29, 30, 37, 45]....
[...]
1 citations
1 citations
References
656 citations
"Distributed Consistent Network Upda..." refers background in this paper
...[11]1: the routing path for flow F is updated in reverse, where the destination informs its predecessor on the path to update its rules for F ′, which in turn informs its predecessor, and so...
[...]
...1The 2-phase commit scheme in [11] updates the forwarding for a flow F to F ′ as follows: The new flow rules for F ′ are distributed in the network, and once ack’ed to the controller, the controller informs the packet source to from now on tag all flow packets with F ′, instead of the previous tag of F ....
[...]
...Observe that in the previous section, our approach moreover guaranteed so-called per-packet consistency [11], where a packet will either take the old F or the new F ′ path, but never a mix of both....
[...]
223 citations
"Distributed Consistent Network Upda..." refers background or methods in this paper
...We follow standard assumptions [5], [6], [7] in our work, both regarding the network and the local verification model....
[...]
...We will also leverage a connection [5]...
[...]
...We propose and investigate the use of distributed mechanisms based on local proof labeling systems [5], to propagate and...
[...]
...The idea to leverage proof labeling schemes for verification purposes in SDNs was first investigated in [5], joined with consistent updates for destination-based routing in [6]....
[...]
...Related in this context is also the idea of local fixing [14] or preprocessing in distributed control planes in general [5], [19], [20]....
[...]
217 citations
184 citations
"Distributed Consistent Network Upda..." refers background in this paper
...freedom, requires many interactions with the SDN controller in the worst case [2], [3], unless one resorts to packet header rewriting....
[...]
96 citations