The present invention relates generally to telecommunications, and in particular embodiments, to hierarchical software-defined network traffic engineering controllers.
Software-defined networking (SDN) allows network administrators to manage network services through abstraction of lower level functionality. One strategy in SDN is to reduce network complexity by decoupling the control plane from the data plane. This can be achieved using an SDN controller to manage resource provisioning in a network, thereby alleviating much of the processing load from the switching components. Notably, centralized SDN controllers may require feedback information (e.g., buffer status information, delay statistics, etc.) from the switching devices and/or users in order to make intelligent provisioning decisions. This may create a bottle neck in large networks, as latencies involved with collecting network information and distributing provisioning instructions may significantly delay policy implementation. Moreover, traffic engineering may become processing intensive for SDN controllers servicing large networks, as the computational complexity of optimization algorithms increase significantly as additional links are added to the network. Accordingly, mechanisms for applying SDN provisioning techniques to large networks in an efficient and scalable manner are desired.
Technical advantages are generally achieved, by embodiments of this disclosure which describe methods for operating hierarchical software-defined network traffic engineering controllers.
In accordance with an embodiment, a method for operating a hierarchical SDN controller is provided. In this example, the method includes receiving regional information from one or more child SDN controllers, computing cost-based parameters in accordance with the regional information, and sending the cost-based parameters to the one or more child SDN controllers. Each of the one or more child SDN controllers are assigned a different region in a domain, and the cost-based parameters are configured to be used in performing distributed network resource allocation in each of the different regions of the domain. An apparatus for performing this method is also provided.
In accordance with another embodiment, another method for operating a hierarchical SDN controller is provided. In this example, the method includes receiving network information from one or more network elements in a region assigned to a child SDN controller, consolidating the network information into regional information, and reporting the regional information to a parent SDN controller. The method further includes receiving a set of cost-based parameters from the parent SDN controller, and allocating network resources to the network components in accordance with the set of cost-based parameters. An apparatus for performing this method is also provided.
For a more complete understanding of the present disclosure, and the advantages thereof, reference is now made to the following descriptions taken in conjunction with the accompanying drawings, in which:
Corresponding numerals and symbols in the different figures generally refer to corresponding parts unless otherwise indicated. The figures are drawn to clearly illustrate the relevant aspects of the embodiments and are not necessarily drawn to scale.
The making and using of embodiments of this disclosure are discussed in detail below. It should be appreciated, however, that the concepts disclosed herein can be embodied in a wide variety of specific contexts, and that the specific embodiments discussed herein are merely illustrative and do not serve to limit the scope of the claims. Further, it should be understood that various changes, substitutions and alterations can be made herein without departing from the spirit and scope of this disclosure as defined by the appended claims.
Aspects of this disclosure provide resource provisioning techniques that leverage hierarchical SDN controller architectures to reduce complexity and increase utilization efficiency. The hierarchical SDN architecture subdivides a network into multiple regions (e.g., domains and zones), where a highest-tiered region (e.g., a root-domain) encompasses a hierarchical tree of lower-tiered regions (e.g., domains, zones, etc.). A dedicated SDN controller may be assigned to provision resources in each respective region. The SDN controllers collect network status information from network elements (e.g., switches, routers, access points (APs), child SDN controllers, etc.) in their respective regions, and consolidate that network status information into regional information corresponding to their specific region. This regional information is fed upstream through the SDN control plane (e.g., from child SDN controllers to Parent SDN controllers), and is further consolidated at each tier of the hierarchical structure, until all regional information is received at the root-SDN controller (e.g., the controller assigned to the root-domain). The root-SDN controller uses the regional information to compute cost-based parameters, which are distributed to the regional SDN controllers for local provisioning. The cost-based parameters may include any parameter (e.g., Lagrangian variables estimations, etc.) that serves to constrain regional traffic engineering optimization in a manner that advances global traffic engineering objectives. These and other aspects are explained in greater detail below.
Aspects of this disclosure provide a hierarchical SDN architecture that addresses the efficiency, complexity, and scalability issues that plague conventional systems.
The SDN controllers 210-215 collect network status information from network elements in their respective regions. Network elements may include any data or control plane entity, including network switching elements (e.g., switches, routers, etc.), wireless and/or wireline access points (e.g., base stations, relays, low power nodes, femtocells, etc.), user devices (e.g., user equipments (UEs), etc.), and controllers (e.g., schedulers, child SDN controllers, etc.). Network status information can include any data relevant to the network, such as data related to network congestion (e.g., buffer status, etc.), throughput, loading, quality measurements (e.g., channel quality information (CQI), etc.). Once collected, the network status information is consolidated into regional information, and reported to next-tier parent controllers until all regional information (consolidated or otherwise) is received at the root SDN controller 210. More specifically, the SDN controllers 212a, 212b report regional information associated with the zone 2a and zone 2b (respectively) to the SDN controller 212, The SDN controller 212 consolidates the received regional information, along with the network status information collected from network elements located within region-2 but outside zones 2a and 2b, into regional information corresponding to the region-2. The SDN controller 212 then reports the consolidated information to the root SDN controller 210. Similarly, the SDN controllers 211, 213-215 collect network status information from network elements in their respective regions/zones, consolidate the collected network status information into regional information, and report the regional information to the root SDN controller 210. As used herein, regional information refers to consolidated network status information pertaining to a given region, and may be loosely referred to as zoning information and/or domain information in various portions of this disclosure.
The root SDN controller 210 uses the reported regional information to compute cost-based parameters for the region-0, which are distributed to the SDN controllers 211, 212, 213, 214, and 215 for local provisioning. In some embodiments, different sets of cost-based parameters are distributed to different ones of the SDN controllers 211, 212, 213, 214, and 215. Notably, the SDN controller 212 may use the cost-based parameters received from the root-controller 210 to compute new cost-based parameters for the zones 2a and 2b, which may be distributed to the SDN controllers 212a, 212b. Each of the SDN controllers 211-215 may then use the cost-based parameters received from the root root-controller 210 to perform local provisioning within their respective domains. In some embodiments, the SDN controllers 211-215 enter the cost-based parameters into region specific traffic optimization algorithms, which are solved locally to achieve provisioning in their corresponding regions. In this manner, the cost-based parameters may constrain local/distributed network resource provisioning in a manner that advances global traffic engineering objectives, e.g., fairness, throughput, etc.
Aspects of this disclosure provide traffic engineering techniques for provisioning resources in hierarchical SDN environments.
In some embodiments, an SDN controller may be assigned to an intermediary region/domain between a higher-tier region (e.g., root-domain) and one or more lower-tier regions (e.g., zones).
Next, the method 600 proceeds to step 640, where the SDN controller reports the domain information to a parent SDN controller. Thereafter, the method 600 proceeds to step 650, where the SDN controller receives domain cost-based parameters from the parent SDN controller. Subsequently, the method 600 proceeds to step 660, where the SDN controller computes regional cost-based parameters based on the regional information, the domain cost-based parameters, and the network status information. Next, the method 600 proceeds to step 670, where the SDN controller sends the regional cost-based parameters to the child SDN controllers. Thereafter, the method 600 proceeds to step 680, where the SDN controller provisions network resources to the network devices in accordance with the network status information, the regional information, and the domain cost-based parameters. This resource provisioning may include solving a domain specific traffic engineering optimization problem based on the network status information, the regional information, and the domain cost-based parameters.
In the future, wireless networks may be required to provide large amounts of bandwidth to many users and types of traffic applications. Since the capacity of the network is limited by the finite wireless resources, dividing the resources in an efficient and equitable manner is important so that quality-of-service (QoS) requirements are met while maintaining high network resource utilization. Traffic engineering in wireless network is challenging because there are many possible links between UEs and the network. Moreover, centralized management schemes may suffer from scaling issues.
In a centralized SDN architecture, a single SDN controller makes decisions about the allocation of network resources. The controller collects network measurements from network components, such as buffer status at routers or channel quality indicator (CQI) measurements from user equipment (UE), and uses them to determine the best global network resource allocation. After the controller determines the global network resource allocation, it sends commands to network components, which provisions to provide the implementation of the resource allocation. Typically, the provisioning involves setting up the forwarding information base (FIB) on the routers so that they forward the traffic in a way that achieves allocated rates for end-to-end connections. It may also include setting up the priorities of traffic flows at routers and base-stations. It may also include setting up priorities for UEs on the uplink. The controller uses a traffic engineering optimization to determine the allocation of resources. Traffic engineering optimization may be based on linear programming or convex programming solution techniques. The objective of the optimization is to achieve some type of fairness among the end-to-end connections traversing the network (e.g. max-min fairness or lexicographical ordering), while ensuring that the allocated traffic does not exceed the rates on each of the links in the network. Since the optimization allocates the maximum end-to-end traffic for the given objective, it also maximizes the utilization of the links in the network.
There are four major problems with the centralized controller design. First, the centralized controller needs to perform a very large scale optimization on the network. The number of optimization variables is a linear function of the number of end-to-end connections and a linear function of the number of links in the network (the number of links is proportional to the square of the number of nodes). Depending on the type of formulation, the number of constraints is either a function of the number of available paths in the network (which is approximately exponential to the number nodes in the network), or a linear function of the number of nodes in the network. As the size of the network grows, solving these problems goes from taking a very long time (minutes or hours) to overpowering the computer running the optimization. Second, the SDN controller needs to collect the information from all of the network components, resulting in the reverse flooding of the network. Third, the SDN controller needs to provision all of the network components resulting in a flooding of the commands throughout the network. Fourth, some components may be very far away from the controller, resulting in large latency of the exchanged of network status and the commands. This latency may cause instability of the SDN control loop when one is used. Notably, in a wireless network, it is likely that the UE network components will be furthest from the SDN controller, which may cause time-sensitive information communicated from these components to be delayed (or become stale).
Aspects of this disclosure reduce/mitigate these issues by partitioning the network into regions and zones and assigning to each region to an SDN controller (e.g., a dedicated controller). Regions are referred to herein as domains and zones, with zones being the smallest logical division/region in the network. The zones may be assigned based on geographical properties of the network, or to divide the network into logical networks. In the case of the geographical zones, the zoning may follow the natural hierarchy of the network. In the case of logical networks each region may correspond to a virtual network and may be scaled in accordance with the number of flows in a virtual network.
In some embodiment, zoning addresses the SDN controller problems outlined earlier. Each SDN controller is responsible for collection of network status information as well as for provisioning resource to network components in its region or zone. In some embodiments, this may reduce the amount of network status information and/or control instructions/commands exchanged throughout the network. Additionally, the processing load on each controller is reduced because the traffic engineering optimization problem is simplified (e.g., fewer components/links considered).
One challenge with partitioning the network into domains/zones and distributing the SDN controller functionality is to decompose the traffic engineering optimization into corresponding parts in a way that still finds the optimum traffic engineering solution. Techniques for decomposing the traffic engineering problem for distributed operation are disclosed herein.
The traffic engineering problem can be formulated in various ways. In some embodiments, the network flow optimization framework performs convex optimization on traffic flows. Embodiment convex network flow optimization techniques may find the best allocation of end-to-end rates on each arc in the network to reduce the complexity of the objective function. In embodiment traffic engineering techniques, the objective function may be a sum of the convex utility functions of the allocated flows on each link in the network.
Embodiment convex network flow formulation techniques address several issues prevalent in conventional linear programming formulation techniques. First, linear programming formulation allows for only one family of fairness objectives, namely the max-min fairness. In contrast, embodiment convex optimization techniques allow for an unlimited number of fairness objectives, which can be expressed as a convex function of the allocated end-to-end rates. Convex optimization also allows for the introduction of objectives other than fairness, such as energy consumption. Second, linear formulation is not amenable to distributed computation. Due to the structure of the constraint matrix, it is not easy to decompose the problems into smaller problems. It may not be possible to solve the linear formulation of the traffic engineering problem in a distributed way before this formulation is converted into an equivalent convex optimization. In contrast, embodiment convex network flow formulation techniques retain information about the network topology, which can be used to solve decomposition/computation problems along natural boundaries in the network.
Different techniques may be used to formulate traffic engineering optimization problems depending on how constraints are formulated. One embodiment uses the arc-based conservation of flows in the constraints of the problem, while another embodiment uses path-based conservation of flows in the constraints of the problem. Both have benefits and drawbacks. Generally speaking, the arc-based conservation constraints result in solutions which are closer to optimal rate allocations. However, the arc-based constraints may be more computationally complex since they introduce more variables and constraints to the optimization and may include a step after the solution is produced to generate routing entries for source-based routing. On the other hand, path-based solutions tend to include a pre-optimization step to find the best set of paths to use in the optimization. Depending on path selection the solution with the arc-based optimization may result in sub-optimal solutions.
One technique models network topology as a set of N nodes, n1, . . . , nNϵT, connected with A directional arcs, a1, . . . , aAϵT. Arcs correspond to MAC or physical layer links in the network. Bi-directional links can be modeled as opposing pairs of arcs, connecting a pair of nodes together. This disclosure uses the terms link and arc interchangeably. Network traffic is modeled with arc flows (a function mapping arcs to real numbers), which are the allocation of rates on each link. End-to-end flows are associated with commodities, which correspond to end-to-end network connections between sources and destinations. There are K commodities in the network, c1, . . . , cKϵ. Each commodity cK has a corresponding pair of source and destination nodes (sk, dk), where sk, dkϵT. A commodity may be allowed to use only a subset of links in the network. The links for which the commodity is allowed to use are denoted as T(k)⊆T.
Each end-to-end connection (commodity) has an associated resource allocation (e.g., denoted herein as xk), which may be any allocation type, e.g., bits-per-second, total number of resources, time-share or percentage allocation, etc. Since the source actually sends packets, xk is a random process that depends on length and inter-arrival distribution packet distributions. The optimization allocated average rate to the end-to-end connection, so it uses the average of xk, E[xk]. In the sequel, it can be assumed that xk is the time average of the random process. Each packet also has an associated end-to-end delay dk, which is the time required for its packets to traverse the network and be successfully received at the destination. Notably, the delay experienced by each packet may be different from the delay experienced by other packets, due to the stochastic nature of other network traffic, or impairments in the transmission technology. So, dk is a random process, which has a time dependent distribution (xk, t).
Aspects of this invention provide techniques for traffic engineering optimization. Traffic engineering optimization can be decomposed into a hierarchical traffic engineering optimization. One objective of the traffic engineering optimization may be to allocate end-to-end rates in a way that achieves a certain operator goal. Portions of this disclosure may assume that the operator wishes to obtain “fair” traffic allocations that achieve a certain utilization efficiency of network resources. Other optimization objectives can be used as well.
Convex optimization can be used to allocate resources in a “fair” way. For example, α-fairness may be selected as the fairness type, and the end-to-end rates satisfying α-fairness minimize the sum of the following utility functions for each commodity in accordance with:
The utility function in this framework can easily be modified to achieve other types of fairness. For example, terms can be added to include the energy consumption of the allocation, or cost of traversing other operators' networks.
Convex network flow optimization can be used on optimization graphs that accurately model the networks, its connections and the optimization objective. The optimization graph is obtained by augmenting the topology graph of the network T (T, T). This modification is mathematically equivalent to the original graph and is used only for mathematical convenience. The optimization problem shown below can be easily formulated without this augmentation, or using other modifications of the topology graph. All of the nodes T from the topology graph are included in the new graph. All of the links T are also included in the augmented graph. In addition, for each commodity cKϵ, an arc is created from the destination dkϵT to the source skϵT, and these links are denoted with the set a1, . . . , aKϵCOM. The new graph is denoted with OPT(T, OPT), where OPT=T∪COM. Without any loss of generality, this convention can be used when the arcs corresponding to the commodities have indices corresponding to the commodities, which requires re-labeling of the arcs in the set T.
The optimization finds the set of link allocations xj(k) for each link aj and commodity ck on the augmented graph OPT(T, F). The objective function (2a) maximizes the sum of utilities on links aj for j=1, . . . , K. Due to the construction of the augmented graph, each of the links aj for j=1, . . . , K only contains the traffic of one corresponding commodity cj, so this objective function corresponds to the fairness objective (1). The constraint (2b) ensures that the allocated flows conform to the conservation of flows. This constraint is where the arc-based and path-based constraints differ from each other, which are explained in Section 2.2.1 and Section 2.2.2, respectively. Constraints (2c) and (2d) ensure that the allocated traffic does not exceed the capacity of the links. Constraint (2c) is the simple capacity constraint for each link, while constraint (2d) is the capacity constraint for links sharing a scheduling domain. Finally, constraint (2e) ensures that the allocation of rates is positive.
Aspects of this disclosure provide traffic engineering optimization techniques that use arc-based constraints. In one embodiment, the optimization problem is formulated as follows:
The optimization finds the set of link allocations xj(k) for each link aj and commodity ck on the augmented graph OPT(T, F). The objective function (3a) maximizes the sum of utilities on links aj for j=1, . . . , K. Due to the construction of the augmented graph, each of the links aj for j=1, . . . , K only contains the traffic of one corresponding commodity cj, so this objective function corresponds to the fairness objective (1). The constraint (3b) ensures the conservation of flows for each commodity at each node. Allocation of traffic for a flow on incoming links is the same as the allocation of traffic for outgoing links. The intersections i+∩T(k) and i−∩T(k) ensure that only the links, which the commodity k can use are considered for the conservation of flows. Constraints (3c) and (3d) ensure that the total traffic of all flows on links does not exceed the capacity of the links. Constraint (3c) is the simple capacity constraint for the link, while constraint (3d) is the capacity constraint for links sharing a scheduling domain. Finally, constraint (3e) ensures that the allocation of rates is non-negative.
Aspects of this disclosure provide traffic engineering optimization techniques that use path based constraints. Arc-based formulation may be better suited for some networks in the sense that it finds the best allocation of links for each commodity in the network. One problem with that formulation is that it does not limit the number of paths used in the final solution. One way to limit the number of paths in the network is to find paths first and then use them for traffic allocation. In the sequel, it may be assumed that a set of paths are available for each commodity k, which is denoted with k. A path may be a set of arcs, so ⊆T since the reverse links in the augmented graphs are only used for mathematical purposes they never become part of a path. The notation rϵk may refer to the r-th path in k. In the context of traffic engineering optimization using path-based constraints, the optimization problem may be formulated as follows:
The optimization finds the set of path allocations hr(k) for each path rϵk, where k is the set of paths selected for commodity ck. An auxiliary set of variables xj(k) are user, which are the actual allocations on links, given the allocation on each path. The link allocation variables are actually unnecessary for this optimization and may be used entirely for the purposes of readability and to relate to other portions of this disclosure. With the auxiliary variables, the objective function (4a) is the same as the objective function (3). The conservation of flows constraints from the arc-based optimization are now represented with constraints (4b) and (4c). Constraint (4b) defines auxiliary variables xj(k), which correspond to the links associated with flows in the augmented topology, a1, . . . , aKϵOPT. The rate on those links is the sum of rates to allocate to all of the paths associated with the commodity. These arcs are a special case because they are not any paths in the real network topology. Constraint (4c) defines auxiliary variables xj(k) which correspond to the links in the original topology graph of the network, aK+1, . . . , aK+AϵOPT. The rate allocated on each link is the sum of rates allocated on the paths using the link, which are specified in the summation. Constraints (4d) and (4e) are the capacity constraints for the network, similar to constraints (3c) and (3d) in the arc-based formulation. Finally, constraint (4f) ensures that the allocation of rates is non-negative.
Notably, if the set of paths associated with each commodity includes all possible paths between the source and the destination of the commodity, the solution of (3) and (4) would have the same optimum value. However, in practical implementations, the set of paths may be only a sub-set of all of the paths, so the path-based formulation will be sub-optimal compared to the arc-based formulation.
Aspects of this disclosure provide techniques for formulating joint link constraints may be to model the constraint of the wired capacity or shared wireless spectrum. Wired constraints on link capacity are modeled with a simple upper bound. For wired links, the domain g is a single incoming or an outgoing link of a node. The upper bound on a wired link is denoted as follows: ajϵT with Cj≤Crmax. A similar bound can be put on the augmenting arcs to ensure that the capacity of a flow does not exceed some maximum allowable value, so for all ajϵCOM, Cj≤Cjmax.
Wireless constraint on the link capacity can be modeled with scheduling domains. One type of scheduling domain is a resource restriction constraint at the transmitter. In a wireless network there are a limited number of “resources”. Resources are the way the bandwidth is assigned in time, frequency or space. For example, in the LTE system the wireless resources are assigned in terms of resource blocks (RBs) and there are only NRB available resource blocks, which depends on the bandwidth of the system. For this system, the sets of links sharing the domain g are the outgoing or incoming links of a wireless node. For example, in the downlink transmission using frequency division duplex (FDD) mode, bandwidth is shared by assigning RBs user-equipment (UE). Downlink transmissions of each UE connected to the base-station can be modeled with an arc leaving a wireless node ni. It is possible to denote the number of bits that can be transmitted by link j on RB l with γjl, and use rjl to indicate that RB l is allocated to link j (corresponding to one of the UEs), then the capacity of the links given that they originate on wireless node ni is given by:
where TS is the duration of the RB in seconds. The last summation ensures that only one UE (corresponding arc is assigned in each RB). The restriction on wireless link capacity (5) can be easily expanded to include uplink transmission by assigning an incoming arc of a node to UEs uplink transmissions (the equation can be modified by replacing i− with i+). The equation can also be expanded to model a time division duplexing (TDD) by replacing i− with i−∪i+.
Another way to model wireless scheduling domains is to model the long-term share of the UEs at a base-station. For example, for round-robin scheduling it is known that UEs sharing a base-station will be assigned an equal number of resources in the long-term. With that assumption, the wireless constraint can be expressed as follows:
In the equation ∥i−∥ is the number of UEs connected to the base station and the summation calculates the average number of bits that can be transmitted to the UE in each RB. Similar formulas exist for other types of schedulers.
Embodiments of this disclosure distribute traffic engineering optimization by grouping the constraints into geographically related zones. Zones may be determined prior to the optimization process. One way to determine the zones is to group network components in the same sub-network together, but other more sophisticated approaches may also be possible. For example, in a radio access network one region may have all nodes connected with wired technology, while another region may contain nodes using wireless technology. In the wired region, the zones may be determined based on pre-existing sub-network design. In the wireless region the zones may be determined to keep scheduling domains together. One example of keeping scheduling domains together is to keep base-stations in the same C-RAN cluster together.
Aspects of this disclosure describe how zone partitioning changes the traffic engineering optimization, as well as how the partitioned network optimization can be solved in a distributed way. Additionally, aspects describe how path constraints spanning multiple zones can be handled in the distributed framework. A network can be divided into Z zones, 1, . . . , Zϵ. Each zone contains a subset of the nodes in the topology j⊆T and each node is in only one zone
Arcs are not classified into zones. It is possible to distinguish between the arcs which are in the border of a zone and arcs which are inner to a zone.
The inner arcs of a zone are the arcs which have their source and destination in the zone, and may be defined as follows:
Border arcs are the arcs which originate in a zone and terminate in another zone (i.e. their source node is one zone, while their destination is in a different zone). Border arcs can be denoted with l− arcs leaving zone l and with l+ the arcs entering a zone l. Mathematically, arcs leaving a zone can be defined as the arcs that are in the outgoing arc set of some node in the zone, but not in the incoming arc set of any node in the zone, as follows:
Similarly, incoming arcs of a zone can be defined as the arcs that are in the incoming arc set of some node in the zone, but not in the outgoing arc set of any node in the zone, as follows:
A border of zone are the arcs entering and exiting the zone l=l−∩l+. With the above definitions, a set of arcs can be divided into multiple non-overlapping sets of inner arcs and border arcs as follows:
is the set of all inner and outer arcs belonging to zone Zl. Since each outer arc corresponds to one of the border arcs, defined earlier, border arc and outer arc are used interchangeably in the sequel.
For mathematically convenience, it is possible to define the incoming and outgoing outer arcs, l+ and l−. If am−ϵl then am−ϵl− and if am+ϵl then am+ϵl+. It is possible to drop the + and −, so that a border arc amϵl is associated with the border node nmϵB. It is possible to use the notation aiϵm−, nmϵB to refer to am+ and ajϵm+, nmϵB to refer to and am−. l(k) and l(k) are used to denote the inner and outer arcs of commodity k in inner zone l and outer zone l, respectively and l(k)=l(k)∪l(k) to denote all arcs associated with commodity k in zone Zl. The reverse commodity arcs in set COM (e.g., as shown in
for each arc split into two border zones. Notably, the optimization will have xm−(k)=xm+(k)=xm(k) at the optimum point, so that transformation will not change the value of the objective function. Another possibility is to use the convention that utility functions are assigned to the arcs, which belong to the zone where the commodity terminates. In this case, if a utility function is associated a reverse arc am in the optimization graph then the utility function is associated with am+ in the portioned graph, the following may be used: Um(xm(k))→Um(xm+(k)).
Using the convention, it is possible to define the set of arcs in a zone, which have associated utility function. These are all reverse arcs which originate and terminate in the zone and the arcs of border nodes, which terminate in the zone. It is then possible to divide commodities into zones, based on which zone their commodity function belongs to, using: l={ckϵ|akϵl ∨akϵl+}. Since the partitioned graph includes new arcs, the paths in the graph should also be updated. If an arc in the optimization graph was on the border two zones and was on a path, it may be assumed that the path is updated with the two new arcs, in the correct order, in its place. k is still used to refer to paths associated with commodity k, even in the new graph.
Aspects of this disclosure provide techniques for partitioning the traffic engineering problem with arc-based constraints. In the optimization graph, the arc-based traffic engineering optimization becomes:
The formulation performs the same optimization as the original arc-based traffic engineering optimization (3) with the difference that variables and constraints are grouped by zone and that there are new constraints associated with the border zones. The objective function (8a) is still a sum of utility function associated with commodities, however the commodities are now divided into zones. Constraint (8b) is the conservation of flows in each zone, and corresponds to the constraint (3b) in the original formulation. Constraints (8c) and (8d) model the wireless constraints in each zone, corresponding to constraints (3c) and (3d). Here the formulation assumes that the arcs sharing the available capacity are always in the same zone, however the distributed approach discussed herein can be easily extended to the case where arcs sharing capacity are in different zones. Constraint (8f) enforces the fact that traffic of each commodity entering a zone is equal to the traffic exiting the zone. This constraint is the consequence of the conservation of flows in constraint (8b) and should be added to keep the circulation format of the optimization problem in each zone. Finally, constraint (8g) is the conservation of flows at the border nodes.
The partitioning in the optimization can be seen in constraints (8b)-(8f). Only a subset of the conservation of flows constraints appears in each zone. Since each of the link variables is associated with a constraint, only a subset of variables is each zone. The only constraint that cannot be partitioned is (8h), since it involves arcs in multiple border zones. Subsequent descriptions demonstrate how these constraints can be partitioned using Lagrangian duality.
Aspects of this disclosure provide techniques for partitioning the traffic engineering problem with path-based constraints. Using the optimization graph, it is possible to formulate the traffic engineering optimization with the path-based constraints:
The optimization finds the set of path allocations hr(k) for each path rϵk, similar to optimization (4). The objective function (9a), maximizes the sum utility rate of each connection on all paths. Constraints (9b) and (9c) introduce auxiliary variables xj(k), which represent the total flow allocated to commodity k on link j. Constraint (9b) is the special case of the reverse links, while the constraint (9c) is the case of regular arcs. Constraints (9d) and (9e) couple together commodities on links and model the wireless constraints in the network. Constraint (9d) limits the total allocated rate on each arc, which is dependent on the capacity constraints, defined in constraint (9e). Constraint (9g) ensures the flow conservation of all flows entering and exiting a zone. Constraint (9h) is the conservation of flows on the border nodes.
Aspects of this disclosure provide techniques for achieving Distributed optimization through Lagrangian duality.
Embodiment methods solve the optimization problem as several independent parts, where each part only considers the variables and constraints in one of the zones. Regarding the dual problem. Lagrangian duality is used to distribute the arc-based and path-based optimizations. First, the Lagrange function and the dual function are defined. The Lagrange function combines the objective function of a problem and a subset of the constraints using Lagrange multipliers. To create the Lagrange function for the problem, coupling constraints (8g) or (9h) may be added to the objective function with the use of Lagrangian variables,
k=1, . . . , K, one for each constraint. Notably, there are K∥B∥ of these constraints, one for every border node and every commodity. The Lagrange function for ontimization (8) or (9) is given as follows:
where λ is the set of Lagrangian multipliers,
is the vector of Lagrangian variables for commodity k, x is the set of variables xj(k) x=[xl, . . . , xL], where xl to refer to the subset of variables xj(k), which only appear in the constraints relevant to the zone l and its border, and the notation xlϵl is used to indicate that xl satisfies the constraints (8b)-(8g) or constraints (9b)-(9g), depending on which of the formulations are being solved. Variables are grouped according to which zone they belong to in the second summation. Each of the arcs connected to one of the border zones nmϵB, belongs to one of the outer zones l+ or l−, so that the last summation in (10) can be split between the zones. The dual function for the optimization is the minimization of the Lagrange function over x is expressed as follows:
The dual function may be used to formulate the Lagrangian dual problem. The dual problem finds the set of Lagrange multipliers, which maximize the dual function. The Lagrangian dual problem of the optimization (8) or (9) is:
The solution of the dual optimization gives the optimum set of multipliers:
Solving the Lagrangian dual problem also gives a set of {circumflex over (x)}=[{circumflex over (x)}1, . . . , {circumflex over (x)}L], {circumflex over (x)}lϵl, l=1, . . . , Z, which minimize the Lagrangian function:
The Lagrangian duality ensures that {circumflex over (x)} minimizes the primal problem (8) or (9). However {circumflex over (x)} is not always guaranteed to be primal feasible, since the constraints (8h) or (9h) do not appear in the dual function. Nevertheless, if the utility functions are strictly convex, {circumflex over (x)} unique and it must satisfy the primal constraints. Since Uk(·) are strictly convex for the α-fair utility functions (1), solving the dual problem results in a solution of the original optimization.
If the utility functions are not strictly convex, the objective can still be made strictly convex by adding terms, which make it strictly convex. For example, the objective function (8a) and (9b) can be replaced with
which has the same optimum as the primal optimization, due the constraints (8g) and (9h). The square terms ensure the strict convexity of the objective function and assure that the dual solution of (14) is primal feasible.
Aspects of this disclosure describe solutions for the dual problem. The pair of optimizations (12) and (13) gives a way to solve the traffic engineering problem with the dual problem. The solution is found by finding the optimum Lagrangian multipliers {circumflex over (λ)}, which gives a way to find the optimum rate allocation {circumflex over (x)} by solving the dual function at the optimum Lagrangian multipliers q({circumflex over (λ)}).
If the objective function of the primal problem is convex, the dual function is differentiable, which means that the dual problem can be solved using an iterative gradient approach. The gradient of the dual function Δλq(λ) is a vector with the same length as λ, where each component of the partial derivative corresponding to an appropriate Lagrangian multiplier as expressed follows:
The component of Δλq(λ) corresponding to commodity k and node, nmϵB(k), is given by
where {circumflex over (x)}i(k) is one of the components of {circumflex over (x)}, which solves q(λ).
Once the gradient of the dual function is obtained, the dual problem can be solved using the gradient iteration:
λt+1=λt+αtΔλq(λt) (16).
It is an elementary result of convex optimization theory that: limt→∞λt={circumflex over (λ)}, where {circumflex over (λ)} is the optimum set of Lagrangian multipliers as defined in (13). The update (16) is one of many options that can be used to update Lagrangian multipliers. In general, the update is
λt+1=ƒt+1(λt) (17),
where ƒt+1(·) may be a constant function, or dynamically changing function.
The key observation that allows the problem to be solved in a distributed way is that the dual function q(λ) is separable. Dual function (10) can be rewritten as
is the part of Lagrangian function L(x, λ), which corresponds to zone l. Since each of the minimizations in the summation has no variables or constraints in common with other minimizations in the summation, the summation and minimization in (18) can be exchanged.
Due to the fact that all of the variables and constraints are grouped in different zones, it is actually possible to solve (18) in a distributed way. The last summation in (18) can be solved as L parallel optimizations, as long as the Lagrangian multipliers are known in each of the parallel optimization. The distributed algorithm is to repeat steps (16) at a central location and each of the sub-optimization in (18) at other locations until the Lagrangian multipliers converge to a value.
The algorithm in
There are several options on how the information in different steps can be exchanged. For example, in step 1 the central controller may only need to send the iterate update function ƒt+1(·) to the children. The children can send the update to the border nodes, which can use the local information to calculate the next Lagrangian variables for the border links. The weights of the links are sent back to the zone controller. This is one obvious enhancement of the algorithm, due to the fact that each Lagrangian multiplier only refers to a given border arc and allocation of rates to flows crossing the arc. This enhancement can greatly reduce the communication overhead of the algorithm. Notably, some of the border nodes may not correspond to actual physical borders (the reverse arcs in the optimization topology). These borders require the source and destination of the flow to exchange the allocated rates on a link.
The evolution of λt for one particular case of the update function is examined as follows: ƒt+1(λt)=λt+Δλq(λt). By expanding λt, it can be seen that for a give t the component of λt as follows:
is the allocation on borer link ai in step l. If it is assumed that the allocation on the link strictly matches the amount traffic that passed on the link, it is clear that λm(m) is in fact the queue size on the link. So in step 3 the children zone controllers can send the value of the queues on their links to the parent zone controller, and algorithm should converge to optimum.
Each of the L optimization (18) is in fact a smaller instance of the traffic engineering optimization. A small difference is that more arcs have weights or functions assigned to them than in the original optimization. In a partitioned problem, the Lagrangian multipliers introduce weights on the arcs entering or exiting the zone. The effect of the weights is to change how traffic is distributed in the zone, depending on traffic allocations in other zones. This means that each of these sub-optimizations can be further decomposed into sub-zones with more levels of distributed optimization, leading to a hierarchical SDN controller. Notably, path-based and arc-based optimization in each zones can be mixed, i.e. some of the zones can use path-based optimization, while others can use arc-based optimization.
It is sometimes convenient to have path constraints which additively sum up a function of the allocated rates. In general, it is possible to add a set of constraints
to the optimizations (8) and (9) for each path, in order to model additive path constraints, where functions ƒj(·) represent some kind of a cost for using a link on the path and Ur(k) is chosen to limit the cost.
The constraint on paths can be network restrictions. One family of path constraint functions may be related to delay on the path. Suppose that the queue related to commodity k on link aj is qj, then after traffic engineering, the first transmitted packet will experience the delay of
where Lmax is the maximum network packet size and Cj is the link capacity. For the purposes of meeting the Quality-of-Service requirements of the connection, it is possible to add the following constraint to optimization:
where Dmax is the maximum acceptable delay on any path.
Another family of path constraints may do with security on each link. For example, it may be assumed that a security risk value ρi is assigned to each link aj. The security risk may be a function of the ownership of the link and the encryption employed by the connection. For example, it is possible to assign a security risk ρj=0 if the user uses 128-bit encryption on the path and the zone controller owns the link and ρj=1 if the user uses 128-bit encryption on the path, but the zone controller does not own the link. It is possible to then add the constraint
where according to (8) and (9) xk(k) is the total traffic allocated to flow k. The constraint ensures that the total portion of the traffic traversing unsecure links is less than some predetermined number.
Another family of path constraints may do with the cost of traversing the links. For example, not all links may belong to the same service provider and the service provider may have to lease the links from other providers. The provider may make it a rule that it should not spend more than some predetermined amount of money to serve the traffic of a particular flow. In that case, a constraint such as:
where cj is the cost of traversing the link aj ensures that the total cost on any path serving the link does not exceed Cmax.
It is possible to modify the Lagrangian dual to handle the constraint in a distributed way. First, the path constraints are transferred into the objective function to obtain a new Lagrange function
where λ and L(x, λ) are defined in (10), and μ is the set of Lagrangian multipliers associated with path constraints,
is the vector of Lagrangian variables for commodity k associated with the path constraint (15).
The dual function for the optimization is the minimization of the Lagrange function over x and can be expressed as:
The dual problem finds the set of Lagrange multipliers:
and the optimal set of Lagrange multipliers
define the optimum solution of the traffic engineering optimization through
The dual problem with the new Lagrangian variables can be solved with the gradient descent algorithm similar to the original dual problem (12). The derivative of qPATH (λ, μ) can be found similarly to how the derivative of q(λ, μ) was found. Due to the separability of λ and μ, the following is obtained: ΔλqPATH (λ, μ)=Δλq(λ), where components ΔλL(λ) are defined by (15). Second, it is possible to find the components of the derivative of ΔμqPATH(λ, μ), which is the first derivative of qPATH (λ, μ) with respect to μ can be found in a similar way to (15). The component of ΔμqPATH (λ, μ) corresponding to r-th path of commodity k can be found with
where {circumflex over (x)}j(k) is one of the components of {circumflex over (x)}, which solve LPATH (x, μ, λ).
The gradient descent for the dual problem (23) involves two steps:
λt+1=λt+αtΔλqPATH(μ,λ) (26a)
and
μt+1=[αt+ΔμΔμqPATH(μ,λ)]+ (26b),
where [x]+=max{0, x} is the projection on the real line. It is a fundamental result of convex optimization theory that limt→∞λt={circumflex over (λ)}, and limt→∞μt={circumflex over (μ)}, where {circumflex over (λ)} and {circumflex over (μ)} are the optimum set of Lagrangian multipliers as defined by (24).
To distribute the problem with path constraints, it is possible to group the constraints in the last summation of Lagrangian function (21) into zones. If a path traverses multiple zones its additive path constraints should be split according to the zones. It is then possible to give a simple example of how to split the path across two zones, but this example can be easily extended to multiple zones. Suppose that the path traverses zones Zk and Zl, which are connected by arc am (
where r(k) the segment of l in Zk, r(k)=r∩k, and r(l) is the segment of l in Zl. Here it is possible to use the convention that any function associated with a border link am is associated with the outgoing link of border node nm, am+. In general, it is possible to use the transformation on the constraints, which takes a function ƒm(·) associated with a border arc am and creates two new functions:
Using the convention, it is possible rewrite the above expression as follows:
where r(l) is the segment of path r passing through zone l and l is the set of commodities that appear in zone l.
So, the Lagrangian function can also be rewritten as:
was defined in (21).
Given the derivatives a distributed algorithm based on gradient descent can be made similar to the one presented in
As with the case of the distributed algorithm in
for its segment of the paths and sends it to the parent controller. Notably, in case of measurable quantities, such as delay, it is not even necessary to know the expression for the quantity that should be bounded. The zone controller can measure the value of the quantity required by the parent controller on its segment of the path and send the measurement to the parent controller.
Aspects of the disclosure provide techniques for distributed optimization based on flow zones. It is now possible to re-formulate the traffic optimization problem to group flows together. In this formulation, zones are defined as groups of flows. The optimization is distributed using the optimization graph OPT(T, F).
Aspects of the disclosure provide techniques for partitioning of traffic engineering optimization according to flow grouping. Network is divided into Z zones, 1, . . . , Z, where each zone is a subset of the flows (commodities) l⊆, l=1, . . . L, and each commodity is in one zone only
Nodes and arcs are not classified into zones. However, for mathematical convenience, it is possible to distinguish between the arcs which are inner to a zone and the arcs which are in the border of multiple zones.
Arcs inner to a zone are the arcs, which are only used by the commodities in that zone. Mathematically, it is possible to define arcs inner to zone l with
where F(k)⊆F is the set of arcs in the graph OPT (T, F), which are used by commodity k. Arcs in the border of multiple nodes are the arcs, which are shared by commodities belonging to multiple zones. It is possible to denote a set of arc in the border of multiple nodes with m⊆F. There may be M border zones defined 1, . . . , M depending on how the flows are portioned. It is possible to define the set of commodities surrounding border arcs as m⊆ for a border zone m, as the flows of any zone sharing the links in the border zone m. Mathematically, the surrounding nodes are defined as follows: m={ckϵ|∃ajϵajϵF(k)}.
The traffic engineering optimization (8) can be re-formulated keeping in mind the grouping of flows into groups. The formulation is as follows:
The objective function (27a) groups utility functions according to the membership of their owner flows in groups. The conservation of flows constraint (27b) ensures that no flow is allocated to much or too little rate on the incoming and outgoing arcs of a node. The arc capacity constraint (27b) ensures that inner arcs of the zone do not exceed their capacity allocations. Constraints (27d) ensure that the capacity of the links is not exceeded. Constraint (27f) ensures the capacity of the arcs on the border of multiple zones is not exceeded. Finally, constraint (27e) ensures that the rate allocations are positive.
Optimization (27) partitions the arc-based traffic engineering problem according to the zone membership of flows. The only common constraint where flows of multiple zones are related is constraint (27f).
Partitioning of the traffic engineering problem with path-based constraints. The path-based traffic engineering optimization can be similarly partitioned as follows:
The objective function (27a) groups the utility functions according to the zone membership. The constraints (27b) and (27c) calculate the total amount of traffic allocated to a flow on an arc, which is traversed by the paths associated with the flow. Constraint (27d) ensures that the total traffic allocated on arcs internal to the zone does not exceed the capacity of the link. Constraints (27e) specify the capacity on the arcs. Constraint (27g) ensures that the capacity allocated on arcs shared between the zones is not exceeded. Finally, constraint (27f) ensures that rate allocations on arcs are not negative.
The optimizations (27) and (28) can be distributed using a similar technique use to distribute optimizations (8) or (9). It is possible to now show how to formulate the Lagrangian dual of optimizations (27) and (28) and show a distributed algorithm to solve the optimization based on flow zoning.
To formulate the Lagrangian dual problem, the Lagrange function for optimization (27) and (28) can be expressed as follows:
where a Lagrangian variable is introduced for each constraint (27g), μ=[μ1, . . . , μm] and μ1=[ . . . , μl(j), . . . ], ajϵm are the Lagrangian multipliers for arcs in the border zone m. It is possible to transform the second summation using the following:
due to the fact that sets l are non-overlapping.
The dual function for the optimization is the minimization of the Lagrange function over x as follows:
where xlϵl is the set of xl, which conform to constraints (27b)-(27e) or (28b)-(28f), depending on weather the primal problem uses arc-based or path-based constraints. The dual problem finds the set of Lagrange multipliers:
and the optical set of Lagrange multipliers
define the optimum solution of the traffic engineering optimization through
The dual problem can be solved with the gradient descent algorithm since the dual function is differentiable in terms of the Lagrangian multipliers. The component of Δμq(μ) corresponding to arc j in m-th border zone can be found with
The gradient descent for the dual problem (31) involves repeated application of the following step:
μt+1=[μt+αtΔμq(μ)]+ (34),
where [x]+=max{0, x} is the projection on the real line. It is an elementary result of convex optimization theory that limt→∞μt={circumflex over (μ)}, where {circumflex over (μ)} are the optimum set of Lagrangian multipliers as defined by (32). Aspects of this disclosure provide techniques for solving a distributed optimization algorithm. The key to calculating the dual problem in a distributed way is to take advantage of the special structure of the Lagrangian function. Due to the structure of the Lagrangian function, it is possible to write
The distributed dual optimization is shown in
Aspects of this disclosure achieve complexity reduction via distributed optimization. Notably, path segments in each zone can be treated separately and that this greatly reduces the complexity of the optimization in each zone.
Techniques of this disclosure explain how to find optimize bandwidth allocation on the links, so that a certain kind of fairness is experienced by the two end-to-end flows. Further, it may be desirable for the optimization to be done in a distributed way where red nodes n1, n2, n3 are controlled by one controller and nodes n4, n5, n6 are controlled by a different controller.
It is possible to formulate the problem as a minimum convex network flow optimization.
Given the graph in
The optimization seeks to find the set of flows that maximize (36), which is a sum of utility functions for the total flow allocated to each end-to-end flow. It is possible to use the notation that x1 is the flow on arc a1. Notably, the solution finds flow allocation on each arc in the network x1, . . . , x11. In some embodiments, flows x1 and x2 are of primary significance from the end-to-end flow point of view. In the objective, m refers to the index of the flow (which is referred to as commodity later). The utility functions are chosen so that at the optimum, commodities satisfy some type of fairness (i.e. α-fairness). Constraints (37)-(42) represent the conservation of flow constraints for each commodity. Finally, constraint (43) insures that the capacity of links is not exceeded by all commodities on the link.
To model the partitioning of the problem, it is possible to convert the graph in the graph in
The graph lends itself to the optimization:
The objective function in the optimization (44) is the same as in the previous optimization, as are the constraints (45)-(50), which correspond to conservation of flows at the original nodes in the network. Constraints (51)-(55) represent the conservation of flows constraints at the newly added nodes. Constraints (56) correspond to the capacity limit on all arcs in the network.
To solve this problem as two partitions, it is possible to use the dual of the problem, which can be formulated as two separate optimizations with shared data. The shared data corresponds to the dual variables for the constraints related to the nodes in the partition.
In the dual problem context, it is possible to introduce Lagrangian multipliers p1(1), . . . , p5(1), p1(2), . . . , p5(2) corresponding to constraints (51)-(55) to formulate the Lagrangian function for the primal problem:
where p=[p1(1), . . . , p5(1), p1(2), . . . , p5(2)]T is a vector of Lagrangian variables and is the set of 16-tuples x1(1), . . . , x16(1), x1(2), . . . , x16(2) that satisfy constraints (45)-(50) and (56).
This disclosure denotes {circumflex over (x)}(p)=[{circumflex over (x)}1(1)(p), . . . , {circumflex over (x)}16(1)(p), {circumflex over (x)}1(2)(p), . . . , {circumflex over (x)}16(2)(p)]T as the solution of the optimization in function
The partitioned algorithm works with the dual optimization. Before showing the partitioned algorithm, it is useful to show some properties of the dual problem.
First, from duality theory of convex programming, it is possible to obtain a p that solves:
then {circumflex over (x)}({circumflex over (p)}) solves the primal problem. Second, L(p) is differentiable and
is difference between the constraints corresponding to Lagrangian variables:
Third, due to the use Lagrangian variables which transferred some of the constraints to the objective function, it is now possible to separate the problem into two optimizations L(p)=L1(p)+L2 (p), where
and χ1 corresponds to constraints (45)-(47) and subset of constraints (56) corresponding to arcs a3, . . . , a8, a12, a13 and 2 corresponds to constraints (48)-(50) subset of constraints (56) corresponding to arcs a1, a2, a9, . . . , a11, a14, . . . , a16. {circumflex over (x)}1(p) and {circumflex over (x)}2 (p) are used to denote the solutions of L1(p) and L2(p), respectively.
The partitioned algorithm uses the gradient descent algorithm on the dual problem. The algorithm proceeds in iterations. In iteration k, it is possible to have a set of pk, and perform the following steps: Solve L1(pk) and L2(pk) to obtain {circumflex over (x)}1(p) and {circumflex over (x)}2(p), respectively. Use {circumflex over (x)}1(p) and {circumflex over (x)}2(p) to calculate
Obtain pk+1 with
where αk is the step size in the iteration k.
To simplify notation, it is possible to denote the set of flows in a partition corresponding the arc set p with Xp. It is possible to use the notation XpϵFp to indicate that a set of flow in the partition satisfies (58)-(60), where with Fp is the set of all flows satisfying (58)-(60).
Although the description has been described in detail, it should be understood that various changes, substitutions and alterations can be made without departing from the spirit and scope of this disclosure as defined by the appended claims. Moreover, the scope of the disclosure is not intended to be limited to the particular embodiments described herein, as one of ordinary skill in the art will readily appreciate from this disclosure that processes, machines, manufacture, compositions of matter, means, methods, or steps, presently existing or later to be developed, may perform substantially the same function or achieve substantially the same result as the corresponding embodiments described herein. Accordingly, the appended claims are intended to include within their scope such processes, machines, manufacture, compositions of matter, means, methods, or steps.
Number | Name | Date | Kind |
---|---|---|---|
20090161541 | Harhira | Jun 2009 | A1 |
20130250770 | Zou | Sep 2013 | A1 |
20130329601 | Yin et al. | Dec 2013 | A1 |
20150163151 | Li | Jun 2015 | A1 |
20150181317 | Yin | Jun 2015 | A1 |
20150229753 | Yoshizawa | Aug 2015 | A1 |
Number | Date | Country |
---|---|---|
103051565 | Apr 2013 | CN |
1406423 | Apr 2004 | EP |
2013109137 | Jul 2013 | WO |
Entry |
---|
Danna, Emilie, et al., “A Practical Algorithm for Balancing the max-min Fairness and Throughput Objectives in Traffic Engineering,” 2012 Proceedings IEEE Infocom, pp. 846-854. |
Schmid, Stefan, et al., “Exploiting Locality in Distributed SDN Control,” HotSDN'13, Aug. 16, 2013, Hong Kong, China, 6 pages. |
International Search Report and Written Opinion received in International Application No. PCT/CN2014/094894 dated Mar. 27, 2015, 8 pages. |
Xie, H., et al., “Use Cases for ALTO with Software Defined Networks,” Network Working Group Internet Draft, Jun. 19, 2012, pp. 1-26. |
Number | Date | Country | |
---|---|---|---|
20150188837 A1 | Jul 2015 | US |