Timed Consistent Network Updates in Software-Defined Networks

@article{Mizrahi2016TimedCN,
  title={Timed Consistent Network Updates in Software-Defined Networks},
  author={Tal Mizrahi and Efi Saat and Yoram Moses},
  journal={IEEE/ACM Transactions on Networking},
  year={2016},
  volume={24},
  pages={3412-3425}
}
Network updates, such as policy and routing changes, occur frequently in software-defined networks (SDNs). Updates should be performed consistently, preventing temporary disruptions, and should require as little overhead as possible. Scalability is increasingly becoming an essential requirement in SDNs. In this paper, we propose to use time-triggered network updates to achieve consistent updates. Our proposed solution requires lower overhead than the existing update approaches, without… 
Survey of Consistent Software-Defined Network Updates
TLDR
This paper identifies the different desirable consistency properties that should be provided throughout a network update, the algorithmic techniques which are needed to meet these consistency properties, and the implications on the speed and costs at which updates can be performed.
Preemptive Two-Stage Update Mechanism for Software-Defined Networks
TLDR
The prototype implementation of UpdateShim increases the efficiency of the update process while enforcing update consistency as a result of the two-stage hybrid process of untimed and timed network updates, and enforces blackhole and congestion freedom during updates without incurring significant latency in the network.
Towards Causal Consistent Updates in Software-Defined Networks
TLDR
A study of the Transient Forwarding Loop (TFL) phenomenon during SDN updates is introduced and a formal model of the TFL based on causal dependencies that capture the conditions under which it may occur is defined.
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates
TLDR
An analytical study of the FB connectivity inconsistency phenomenon during SDN updates is presented, and a novel update SDNs approach is proposed, in which update operations are evaluated on the switches themselves, instead of being handled in the controller as traditional approaches.
Time4: Time for SDN
TLDR
This paper introduces Time4, an approach that uses accurate time to coordinate network updates that can be used for various network update scenarios, including in heavily utilized networks, and describes a set of update scenarios called flow swaps, for which Time4 is the optimal update approach.
A Mixed-Critical Consistent Update Algorithm in Software Defined Time-Triggered Ethernet Using Time Window
TLDR
A distributed update mechanism and a mixed-critical update algorithm are presented to reduce the memory space complexity, computational time complexity, update time, and keep per-packet consistent strictly to improve the ability of system reconfiguration.
Max progressive network update
  • Yang Chen, Jie Wu
  • Computer Science
    2017 IEEE International Conference on Communications (ICC)
  • 2017
TLDR
It is proved it is NP-hard to find a feasible updating plan with the minimum number of rate-limiting flows when deadlocks occur, and a buffer-assisted schedule, Max Progressive Updating Method (MAPUM), is proposed to update network in a consistent and efficient way.
TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates
TLDR
A practical method for implementing accurate time-based updates, using TimeFlips, and shows that if there is enough flexibility in determining the scheduled time, a TimeFlip can be encoded by a single TCAM entry, using a single bit to represent the timestamp, while allowing a very high degree of accuracy.
A survey of control consistency in Software-Defined Networking
TLDR
A survey about the control consistency in SDN from three aspects: a consistent network view and control decisions made by the control plane, consistency and efficiency during data plane update, and maintaining consistent flow tables in the data plane.
...
...

References

SHOWING 1-10 OF 53 REFERENCES
Timed consistent network updates
TLDR
It is demonstrated that accurate time enables far more scalable consistent updates in SDN than previously available and provides the SDN programmer with fine-grained control over the tradeoff between consistency and scalability.
Time-based updates in software defined networks
TLDR
This paper introduces an approach that uses time to coordinate network configuration and reconfiguration called TIMECONF and shows that this approach offers significant advantages over existing update approaches at the cost of a brief inconsistency.
Software defined networks: It's about time
  • Tal Mizrahi, Y. Moses
  • Computer Science
    IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications
  • 2016
TLDR
This paper describes a set of update scenarios called flow swaps, for which Time4 is the optimal update approach, yielding less packet loss than existing update approaches, and presents the design, implementation, and evaluation of a time4-enabled OpenFlow prototype.
Incremental consistent updates
TLDR
New algorithms that trade the time required to perform a consistent update against the rule-space overhead required to implement it are introduced and how to optimize rule space used by representing the minimization problem as a mixed integer linear program is shown.
TimeFlip: Scheduling network updates with timestamp-based TCAM ranges
TLDR
A practical method for implementing accurate time-based updates, using TIMEFLIPs, and shows that if there is enough flexibility in determining the scheduled time, a TimeFlip can be encoded by a single TCAM entry, using a single bit to represent the timestamp, and allowing the update to be performed with an accuracy on the order of 1 microsecond.
A distributed and robust SDN control plane for transactional network updates
TLDR
It is shown that the ability of an f-resilient distributed control plane to process concurrent policy updates depends on the tag complexity, i.e., the number of policy labels available to the controllers, and a CPC protocol with optimal tag complexity f + 2 is described.
Abstractions for network update
TLDR
This paper introduces the notion of consistent network updates---updates that are guaranteed to preserve well-defined behaviors when transitioning mbetween configurations, and identifies two distinct consistency levels, per-packet and per-flow.
Using ReversePTP to distribute time in Software Defined Networks
  • Tal Mizrahi, Y. Moses
  • Computer Science
    2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS)
  • 2014
TLDR
R reversePTP is introduced, a clock synchronization protocol for SDN based on PTP, but is conceptually reversed; in ReversePTP all nodes (switches) in the network distribute timing information to a single node, the controller, that tracks the state of all the clocks in thenetwork.
zUpdate: updating data center networks with zero loss
TLDR
This work develops novel techniques to handle several practical challenges in realizing zUpdate as well as implement the zUpdate prototype on OpenFlow switches and deploy it on a testbed that resembles real DCN topology.
Compiling minimum incremental update for modular SDN languages
TLDR
This paper proposes an extended policy compiler that builds rule dependency along with the compilation, and an online optimization algorithm that maintains a scattered priority distribution that can eliminate nearly all the priority updates.
...
...