CROSS-REFERENCE TO RELATED APPLICATION
This application claims the priority of Provisional Application No. 60/208,755, filed Jun. 2, 2000.
- BACKGROUND OF THE INVENTION
The present invention relates to a system for scheduling data packet transmissions in a packet communication network and, more particularly, to utilizing parameters associated with bandwidth guarantees and traffic profiles of network connections to prioritize and manage the transmission of data packets.
The provision of negotiated Quality-of-Service (QoS) guarantees such as data transfer rate and data transfer delay to traffic generated by applications of widely different characteristics is a primary objective in packet networks. In such networks, when network resources such as communication links are shared among a plurality of network connections (also referred to as “flows”), sophisticated packet scheduling disciplines are necessary to satisfy the QoS requirements of network connections that are bandwidth- and delay-sensitive. A server in a communication system providing such QoS guarantees typically employs multiple queues, in which each queue is associated with a corresponding network connection, and uses a scheduling algorithm to control the order in which the individual queues are served.
One such sophisticated scheduling algorithm is the Generalized Processor Sharing (GPS) scheduling policy. GPS is an idealized scheme which guarantees a negotiated minimum data transfer rate to each network connection, regardless of the behavior of other connections. GPS also guarantees a negotiated maximum end-to-end data transfer delay to each connection, and ensures that all connections are served in a fair manner. During any time interval, a GPS server serves all backlogged queues, i.e., queues which have packets waiting to be transmitted, simultaneously, each with an instantaneous service rate and delay associated with the respective connection. It can be appreciated that since all connections have to be serviced simultaneously, the GPS algorithm cannot be implemented in a real-world packet network, and, therefore, is considered to be more of an ideal scheduling discipline.
A class of scheduling disciplines, called GPS-related packet schedulers, approximate the GPS scheduling policy to a certain degree and can therefore be implemented in an actual packet network. These algorithms are all based on maintaining a global function, referred to as “virtual time” or “system potential”, which is a measure of the amount of service that has been provided by a server. A server uses this global function to compute a “finishing virtual time”, also referred to as a “timestamp”, for each packet in the associated system. In this case, the timestamp is indicative of when the service of the corresponding packet should be completed. The server selects the packets for transmission based on the values of their respective timestamps, starting with the smallest value. The GPS-related packet-scheduling disciplines differ from one another in the specific function used as “virtual time”. Similarly to GPS, all of the GPS-related packet-scheduling disciplines provide a negotiated minimum data transfer rate to each network connection. The specific virtual-time function that is used by each of such disciplines determines the implementation complexity of the algorithm, the value of the maximum data transfer delay that the algorithm can provide to a connection, and whether or not the algorithm serves all connections in a fair manner. An algorithm that is of minimum complexity, provides a small value of the maximum data transfer delay to each connection, and serves all connections fairly, is highly desirable.
Further, traffic shaping has begun to gain considerable attention as a key component in the deployment of any of the emerging QoS frameworks for packet networks. In particular, a “traffic shaper” can be defined as a device that delays some or all of the packets in a traffic stream in order to bring the stream into compliance with a predetermined traffic profile (the traffic profile of a packet flow expresses the maximum amount of service that the flow is allowed to receive during a given time interval). Traffic shapers play a prominent role in the traffic conditioners that are located at the boundaries of contiguous network domains. In order to prevent a packet stream (i.e., a packet flow) from being heavily policed when entering a new domain, the egress node of the originating domain utilizes a “traffic shaper” to constrain the flow to remain within the negotiated profile.
A critical issue that remains to be solved for the effective deployment of traffic shaping in actual network nodes is the integration of “per-flow” traffic regulators in a scheduler that provides strict individual bandwidth guarantees, while also distributing access to the outgoing link of a packet multiplexer. The objective of such an integrated shaping-scheduling structure is the simultaneous enforcement of robust lower and upper bounds on the amount of service distributed to the individual flows, with upper bounds that can be either finite (for “shaped” flows) or infinite (for “unshaped” flows). The provision of “delay guarantees” on a packet-by-packet basis is not considered to be an objective, since a shaper typically operates in a context where the arrival patterns of the multiplexed flows are poorly regulated, and it is well-known that no packet-delay guarantees can be sustained for a multitude of flows that are not themselves regulated at their sources. However, the achievement of minimal latency and optimal worst-case fairness—on a per-flow basis—remains a major objective, since these properties contribute to the smoothness of the service patterns generated by the shaper.
One exemplary traffic shaper model, which will be used during the course of the description of the present invention, is defined as a “dual-leaky-bucket regulator”. A dual-leaky-bucket regulator consists of two components: (1) a Sustainable-Bit-Rate (SBR) leaky bucket, which constrains the long-term behavior of the shaped flow; and (2) a Peak-Bit-Rate (PBR) leaky bucket, which imposes a bound on the transmission rate of the flow during its bursts of activity. The SBR leaky bucket associated with a generic flow fl is specified by two parameters: a “bucket size” Bl,s and a “token rate” ρl,s. Similarly, the PBR leaky bucket associated with flow fl is also defined by a bucket size Bl,p and a token rate of ρl,p. According to the one of the available definitions of the leaky-bucket regulator, the leaky bucket remains empty when the transmission rate of the flow is persistently below the token rate, whereas an increase in the activity of the flow implies the accumulation of tokens in the bucket. When the amount of accumulated tokens hits the bucket size, the regulator forces the transmission rate of the flow to be equal to the token rate.
Flow fl maintains two state variables associated with the SBR leaky-bucket regulator: a “token level” Xl,s, which represents the number of tokens currently in use for the flow, and a “time of latest update” τl,s, which is set to the time when the state of the leaky bucket was last updated. Similar state variables Xl,p and τl,p are associated with the PBR leaky bucket. Indeed, since both leaky buckets always have their states updated at the same time, we can define τl,s=τl,p=τl. It should be noted that “tokens” are defined as time units, as used in expressing both the bucket size and the token level.
Two distinct events trigger the update of the state of a leaky bucket associated with flow τl: (1) the arrival of a packet when the flow queue is empty, and (2) the transmission of a packet. With respect to the arrival of a packet to an empty queue, consider a time tl,a k, when a packet pl k arrives to the system and finds the corresponding flow fl idle. Then, the above-defined state variables are updated as follows:
X l,s=max(0,X l,s−(t l,a k−τl))
X l,p=max(0,X l,p−(t l,a k−τl))
Regarding the completion of a packet transmission, consider a time tl,d k when the server completes the transmission of a packet pl k. At time tl,d k, the state variables are processed as follows:
X l,s=max(0,X l,s−(t l,d k−τl))+l l k/ρl,s
X l,p=max(0,X l,p−(t l,d k−τl))+l l k/ρl,p
where ll k is defined as the length of the just-transmitted packet.
Integrated shaping-scheduling architectures are available in the prior art, but they either fail in satisfying the bandwidth requirements or the shaping constraints of the scheduled flows, or waste a considerable portion of the capacity of the outgoing link. In particular, the well-known Shaped Virtual Clock (Sh-VC) algorithm provides minimum-bandwidth and latency guarantees, and complies with the dual-leaky-bucket profiles of the configured flows. However, it cannot differentiate its shaping action on a per-flow basis, and typically suffers considerable loss of aggregate throughput under common traffic scenarios. Like any other GPS-related scheduler, the Sh-VC algorithm maintains per-flow timestamps to determine the order of transmission of packets. In particular, a flow fl
that has become backlogged at time tl,a k
, upon arrival of its k-th packet pl k
of length ll k
receives a new timestamp Fl k
based upon the following rule:
where rl is defined as the “reserved service rate” of flow fl, and Fl 0=0.
The Sh-VC algorithm implements the Smallest Eligible Finishing time First (SEFF) packet selection policy. That is, at any time ts
when the server is available for the transmission of a new packet, the scheduler looks for the backlogged flow with the minimum “eligible” timestamp Fe min
, which is defined as follows:
where B(ts) is the set of flows that are backlogged at time ts.
At time tl,h k+1
, when the transmission of packet pl k
is completed and packet pl +1
reaches the head of the queue, the new timestamp of flow fl
is computed as:
Since in Sh-VC the eligibility condition is determined by the constant-rate growth of the real time t, which is independent of the evolution of the set of timestamps in the system, it is possible to have intervals of time during which no flow is “eligible” for service, so that the server remains idle. The Sh-VC scheduler is therefore non-work-conserving in principle, and shapes the individual flows at exactly their reserved service rates, independently of the associated leaky-bucket parameters. It follows that flows that are far from violating their traffic profiles keep being serviced at their minimum guaranteed rates, and the server may happen to stay idle even if “conforming” traffic is available in the flow queues. This is particularly problematic for unshaped flows, which instead should always experience work-conserving treatment.
- SUMMARY OF THE INVENTION
Thus, a need remains in the art for a system that defines the order of data packet transmissions in a packet network according to parameters that are associated with both the enforcement of traffic profiles through traffic shaping and the provision of QoS guarantees through traffic scheduling.
The need remaining in the prior art is addressed by the present invention, which relates to a system for scheduling data packet transmissions in a packet communication network and, more particularly, to utilizing parameters associated with bandwidth guarantees and traffic profiles of network connections to prioritize and manage the transmission of data packets.
In accordance with the inventive technique, denoted as a “monolithic shaper-scheduler” (MSS), the same bandwidth guarantees as a GPS-related scheduler are enforced, while at the same time imposing compliance with the traffic profiles of the individual flows. That is, the amount of service that each flow receives is constrained between a lower bound (set by the guaranteed data transfer rate) and a disjoint upper bound (set by the traffic profile). The upper bound may be infinite (i.e., unshaped traffic), thus the MSS allows multiplexing of shaped and unshaped flows. The scheduler supports minimum-bandwidth and latency guarantees under any schedulable traffic scenario. The traffic regulators control the behavior of the scheduler on a per-flow basis; they keep it “work-conserving” for both unshaped flows and flows that are shaped but are far from violating their profiles. The latency and fairness properties of the MSS are optimal among GPS-related schedulers.
It is an advantage of the system of the present invention that a single sorting structure is used for both shaping and scheduling, processing a set of homogeneous timestamps. In particular, the monolithic shaper-scheduler uses the status of a traffic regulator associated with a flow to determine the scheduling behavior (work-conserving vs. non-work-conserving) that the flow will experience in the immediate future.
In accordance with a preferred embodiment of the present invention, per-flow dual-leaky bucket regulators are used to form the profile of each shaped flow. The Sh-VC scheduler (taken from the prior art) is then modified in accordance with the present invention to accommodate both shaped and unshaped traffic.
A preferred embodiment of the present invention is implemented utilizing a two-dimensional calendar queue (TCQ), which consists of a set of G calendar queues, each calendar queue being an array of b bins. Each bin is associated with a certain range of timestamp values: the “width” of the timestamp range is defined as the “bin granularity”, while the lower end of the timestamp range is defined as the “representative timestamp” of the bin. In accordance with the present invention, distinct calendar queues are used to segregate flows whose head-of-the-queue packets have different “service intervals” (the service interval Φl k of a packet pl k is defined as the ratio between the size ll k of the packet and the guaranteed service rate rl of the corresponding flow fl: Φl k=ll k/rl.
BRIEF DESCRIPTION OF THE DRAWINGS
Other and further advantages of the present invention will become apparent during the course of the following discussion and by reference to the accompanying drawings.
Referring now to the drawings,
FIG. 1 illustrates a packet network in which a number of switches, data sources, and destinations are connected;
FIG. 2 illustrates an exemplary switch as utilized in a packet communication network;
FIG. 3 contains a diagram of an exemplary communication link interface, as utilized within the exemplary switch of FIG. 2, the link interface incorporating the monolithic shaper-scheduler of the present invention;
FIG. 4 contains two graphs illustrating exemplary “service”, “profile”, and “departure” curves for both shaped traffic (FIG. 4A) and unshaped traffic (FIG. 4B);
FIG. 5 contains a graph illustrating how scheduling behavior of the MSS adapts to the dual-leaky-bucket status of an exemplary shaped flow;
FIGS. 6A-6D illustrate, in flowchart form, a method for scheduling transmission of data packets, in accordance with the present invention;
FIG. 7 illustrates the particular interconnection of FIGS. 6A, 6B, 6C and 6D; and
FIG. 8 illustrates two exemplary two-dimensional calendar queues which may be used to simultaneously handle shaped and unshaped traffic in accordance with the present invention.
FIG. 1 illustrates, in simplified form, a packet network 10 in which a plurality of switches 12-1 through 12-p are connected to each other by communication links 14-1 through 14-r. A number of data sources 16-1 through 16-q are connected as shown to switches 12-1-12-p. Network connections are established from each of the data sources 16-1 through 16-q to corresponding destinations 18-1 through 18-g by means of communication switches 12-1 through 12-p, and data packets are transmitted from each data source to the corresponding destination.
FIG. 2 contains a diagram of an exemplary communication switch 12, including, among other components, a plurality of communication link interfaces 2-1 through 2-s. Each of the communication link interfaces, as will be discussed below in association with FIG. 3, connects a plurality of input links to an output link; a communication link interface 2-m receives the data packets associated with corresponding network connections from the input links and transmits them to the output link. As shown in FIG. 2, communication switch 12 may contain one or more communication link interfaces 2. For example, an exemplary communication link interface 2-1 may be located in front of a switch fabric 4, in which case the input links of communication link interface 2-1 may be a plurality of input links of communication switch 12, and the output link of communication link 2-1 connects to switch fabric 4. Alternatively, a communication link interface 2-n may be disposed at the output of switch fabric 4, in which case the input links of communication link interface 2-n may be a plurality of output links of switch fabric 4, and the output link of communication link interface 2-n may be one of the output links of communication switch 12.
FIG. 3 illustrates a block diagram of an exemplary communication link interface 2 including a monolithic shaper-scheduler (MSS) 20 formed in accordance with the present invention. Communication link interface 2 includes a data packet receiver 6 which receives the data packets arriving from data sources 16-1 through 16-q. Receiver 6 uses the contents of a connection identifier field included in the header of each packet (not shown) to identify the respective packet flow 22. For each incoming packet, receiver 6 also determines, at the time of receiving the packet, whether or not the packet can be queued in a flow queue 26-i associated with flow 22-i, as identified by the connection-identifier field in the packet header. If the packet can be queued, then receiver 6 stores the packet in flow queue 26-i. A monolithic shaper-scheduler (MSS) 20 defined in accordance with the present invention is included within communication link interface 2, as shown, and is utilized within a communication switch 12 in packet network 10 to distribute service to both shaped flows (i.e., flows for which a traffic profile is specified and dual-leaky-bucket state parameters are defined; designated as shaped flows 22-1 through 22-R in FIG. 3) and unshaped flows (i.e., flows that are not subject to any sort of regulation, and designated as 22-(R+1) through 22-U in FIG. 3. The incoming packets associated with flows 22-1 through 22-U are then held in corresponding queues 26-1 through 26-U, that is, in a separate queue for each flow 22. In the case of shaped flows 22-1 through 22-R, MSS 20 functions to generate a service pattern that complies with the dual-leaky-bucket parameters Bl,s, ρl,s, Bl,p, and ρl,p associated with each flow 22-i, while preserving the latency and minimum-bandwidth guarantees of the flow. For the unshaped flows 22-(R+1) through 22-U, the objective of MSS 20 is limited to the enforcement of the latency and minimum-bandwidth guarantees.
Unlike prior-art schedulers and shapers, MSS 20 of the present invention utilizes a single sorter 24 to process a set of homogeneous timestamps Fl through FU associated with flows 22-1 through 22-U to form a single outgoing packet stream P. For each packet flow 22-1 through 22-U, inputs to sorter 24 include timestamps F1 through FU, packet lengths l1 through lU, and eligibility flags EF1 through EFU (as defined below). For each shaped flow 22-i of shaped flows 22-1 through 22-R, MSS 20 includes the above-described leaky-bucket state variables: token levels Xl,s and Xl,p, and update time τl. The use of a single sorter 24 alleviates the problems associated with the conventional two-stage, tandem structure present in the shaping multiplexers of the prior art (i.e., a first stage to shape the traffic, and a second stage to multiplex the shaped traffic into an outgoing data packet stream). MSS 20 uses the state-variable values within the traffic regulators 28-1 through 28-R to determine the scheduling behavior (i.e., “work-conserving” vs. “non-work-conserving”) that the shaped flows 22-1 through 22-R will experience in the immediate future. However, this information is not used as the essential criteria for computing the timestamps.
Prior to continuing with a discussion of the shaping architecture specified in the present invention, it is useful to understand the concepts of “service curve”, “profile curve”, and “departure curve” in the context of scheduling data packets. Reference is made to FIG. 4, which illustrates these concepts for both shaped and unshaped flows. The service curve sl(t) of a flow 22-i is defined as the minimum amount of service that the scheduler is committed to provide to the flow as long as it remains backlogged. The profile curve pl(t) of flow 22-i is defined as the maximum amount of service that the flow is allowed to receive from the scheduler. This parameter only applies to shaped flows, since the maximum service for unshaped flows may be infinite. The departure curve dl(t) plots the actual service received by flow 22-i: it should always lie between the service curve and the profile curve, that is:
s l(t)≦d l(t)≦p l(t).
In the shaping-scheduling methodology of the present invention, the service curve and the profile curve of a flow 22-i are typically defined as distinct entities. In particular, the service curve expresses the minimum-bandwidth and latency guarantees of the flow, and drives the activity of the scheduler. The profile curve, on the other hand, ensures that the outgoing traffic of the flow is contract-compliant by invoking the shaping function whenever a violation of the dual-leaky-bucket parameters is likely to occur.
In order to avoid any behavioral conflict between the scheduling portion of MSS 20 and the dual-leaky-bucket regulators, equality may be imposed between the slope rl of the service curve of a shaped flow 22-i and the long-term slope ρl,s of the corresponding dual-leaky-bucket profile. A scheduler that guarantees a minimum service rate rl>ρl,s systematically violates the profile curve of flow 22-i; conversely, a flow 22-i that is served at a rate rl<ρl,s can only regenerate tokens at the same rate rl, so that rl (and not ρl,s) becomes the actual long-term slope of the flow's dual-leaky-bucket profile.
The Shaped Virtual Clock (Sh-VC) algorithm of the prior art shapes the configured flows at precisely their allocated service rates. Even if formally correct in terms of worst-case performance indices and compliance with the traffic regulators, the Sh-VC algorithm still shapes all configured flows at exactly their allocated service rates, independently of the actual parameters of the associated traffic regulators (unshaped flows included). Thus, for the purposes of the present invention, the use of the conventional Sh-VC algorithm is not acceptable, since it cannot provide any form of differentiated regulation on a per-flow basis. In accordance with the present invention, therefore, the Sh-VC algorithm is modified to assume a work-conserving behavior whenever backlogged flows with unsaturated leaky buckets are available in the system. This modification restores the capability of differentiating service based on both the allocated scheduling rates and the dual-leaky-bucket parameters of the flows.
MSS 20 relaxes the non-work-conserving behavior of the Sh-VC algorithm by allowing in-profile flows to violate the eligibility condition set by the scheduler whenever no “eligible” flows are available. In particular, a shaped flow 22-1 through 22-R is classified as either “virtually compliant” or “virtually incompliant” when a new packet reaches the head of its queue 26-1 through 26-R. MSS sorter 24 checks for “dual-leaky-bucket compliance” of the new packet under the assumption that its transmission starts immediately. If the test for compliance is successful, the flow is classified as “virtually compliant” and the scheduler is enabled to select it for service at any time—even before its eligibility time matures. Alternatively, if the flow is defined as “virtually incompliant”, it is forced to receive strict non-work-conserving treatment from the scheduler. FIG. 5 illustrates how the scheduling behavior of MSS 20 adapts to the dual-leaky-bucket status of a shaped flow. When the departure curve dl(t) of a flow 22-i lies within the virtual-compliance region (below the dashed line in the graph), the flow experiences work-conserving scheduling behavior. However, when dl(t) enters the virtual-incompliance region (shaded regions above the dashed line), the scheduler becomes non-work-conserving for the flow. Unshaped flows are always classified as “virtually compliant”, consistently with their infinite bucket size.
With the exception of one situation that will be discussed in detail below, the timestamp Fl that is assigned to flow 22-i remains the same, regardless of the result of the compliance test. By keeping the underlying Sh-VC algorithm as the driving criterion for computing the timestamps, MSS 20 prevents the accumulation of multiple flows within a narrow range of conformance times from translating into an irreversible increase of transmission delays for some of the colliding flows, and retains the desired latency and fairness properties.
As will be described in detail below, the operation of MSS 20
consists of four basic activities: (1) test for virtual compliance; (2) flow selection; (3) flow dequeue; and (4) flow enqueue. Dual-leaky-bucket regulator 28
-i associated with flow 22
-i determines the virtual-compliance status of the flow at time tl,h k
when a new packet pl k
reaches the head of its queue 26
-i (for those “shaped” flows 22
-R that may be either virtually-compliant or virtually-incompliant). Flow 22
-i is defined as “virtually incompliant” if the possibility of a profile violation is detected. Otherwise, the flow is defined as “virtually compliant”. In particular, the compliance test evaluates the possibility of violating at least one of the two configured traffic profiles (SBR and PBR) in the case the transmission of the new head-of-the-queue packet starts immediately. Since the transmission of the packet takes at least ll k
/r time units and increases the SBR and PBR token levels by ll k
and ll k
units, respectively, a violation of the configured traffic profiles is guaranteed not to occur only if the following inequalities are satisfied at time tl,h k
Flow 22-i is classified as “virtually compliant” if the bounds of the inequalities for both SBR and PBR hold at time tl,h k. Otherwise, the flow is classified as “virtually incompliant”.
The second activity of MSS 20, flow selection, begins whenever link server 30 completes a packet transmission, since it is at that time that MSS 20 must select the next packet to transmit. At any time t, the set B(t) of “backlogged” flows is divided into two disjoint and exhaustive subsets: the set C(t) of virtually-compliant flows, and the set I(t) of virtually-incompliant flows, as defined above. Within B(t), the eligibility condition of the Sh-VC algorithm identifies a third subset E(t) of “eligible” flows, where the set E(t) of eligible flows can include members of both C(t) and I(t). In the flow-selection phase, therefore, the scheduler looks first for the minimum eligible timestamp FE min over all of the backlogged flows:
If an eligible timestamp is found (meaning that at least one backlogged flow satisfies the eligibility condition of the SEFF packet-selection policy of the Sh-VC algorithm), then the flow fE min
with minimum eligible timestamp FE min
is immediately selected for service. On the other hand, if no eligible flow is available, the scheduler will next search for the flow fC min
with the minimum timestamp FC min
within the subset C(t) of all virtually-compliant flows:
To summarize the possible outcomes of the flow-selection activity, the scheduler can end up with: (i) the assignment of service to an eligible flow fE min, or (ii) the assignment of service to a virtually-compliant flow fC min, or (iii) no service assignment at all, in the case both E(t) and C(t) are empty.
At time tl,d k, when the link server completes the transmission of packet pl k of flow 22-i, the scheduler extracts the flow from the sorting structure and updates its dual-leaky-bucket regulator 28-i. This is referred to as the “flow-dequeue” step in the process. The status update utilizes the length ll k of the just-transmitted packet, and must therefore be executed in any case, independently of the state of flow queue 26-i that results from the service (that is, regardless of whether queue 26-i is now empty or still backlogged).
The eligibility status of flow timestamp Fl k at time tl,d k determines the value of an “eligibility flag” EFl associated with the flow and possibly a recalibration of the timestamp itself when the transmission is completed:
1 if (Fl k>tl,d k+ll k/rl)/*Timestamp is not eligible*/
3 Fl k←tl,d k+ll k/rl/*Recalibration of timestamp*/
5 EFl←TRUE/*Timestamp is eligible*/
When a flow 22-i is defined as “virtually compliant”, it can be selected for service even before its eligibility time is reached. In this case, if the new, updated value of the flow timestamp was always derived from the previous value (as in the conventional definition of Sh-VC), the persistent absence of eligible flows could lead to the uncontrollable growth of the distance between the timestamp and the real-time reference. An enventual long-term availability of eligible flows would then lead to a long period of starvation for flow 22-i. This type of behavior, typical of prior-art algorithms, cannot be used in a “shaping” system, where the distribution of service to individual flows is required to be as smooth and regular as possible.
Therefore, in accordance with the present invention, the recalibration rule of line 3 of the above flow-dequeue pseudo-code moves the ineligible timestamp of a virtually-compliant flow back to its eligibility threshold, which is more than satisfactory in terms of controlling the growth of the timestamp without subtracting bandwidth from the other flows. Accordingly, the scheduler executes the instructions of the pseudo-code independently of the state of the flow queue 26-i that results from the transmission.
Last to be considered is the “flow-enqueue” activity. In particular, the scheduler invokes the flow-enqueue activity whenever a new packet pl k reaches the head of a flow queue 26-i. That event could be triggered by the arrival of a new packet to an empty flow queue, or by the transmission of a packet from a flow queue 26 that contains at least one more packet. Before computing the new timestamp Fl k of the flow 22-i being enqucued at time tl,h k, MSS 20 classifies the flow by running the test for virtual compliance on the new head-of-queue packet pl k. Both the virtual-compliance status and the eligibility flag of the flow contribute to the selection of the rule that updates the flow timestamp, as shown in the following flow-enqueue pseudo-code:
1 if (EFl=FALSE) and (i−I)
2 Fl K←max(Fl K−1,tl,h k+llk/rl)+ll k/rl
3 else if (flow 22-i is newly backlogged)
4 Fl k←max(Fl k−1,tl,h k)+ll k/rl
6 Fl k←Fl k−1+ll k/rl
The rules of lines 4 and 6 of the above flow-enqueue pseudo-code reflect the rules for generating and updating the timestamps in accordance with the Sh-VC algorithm. In order to preserve the bandwidth guarantees of a flow 22-i that maintains its virtual-compliance status unchanged, MSS 20 must use the previous timestamp Fl k−1 in the computation of the new timestamp Fl k. The value of Fl k−1 must also be eligible at time tl,h k, which is guaranteed by the timestamp-recalibration rule of the flow-dequeue activity.
In terms of timestamp maintenance, a significant difference between the monolithic shaper-scheduler of the present invention and the conventional Sh-VC algorithm is highlighted by line 2 of the flow-enqueue pseudo-code. In fact, in accordance with the monolithic shaper-scheduler of the present invention, the shaper slows down the service rate of flow 22-i only if: (1) flow 22-i has already received bandwidth in excess of its allocation (as shown by the “FALSE” value of the eligibility flag, which also implies a previous classification of flow 22-i as virtually compliant); and (2) a violation of the profile of the flow is likely to occur (as detected by the latest test for virtual compliance). The rule of line 2 of the flow-enqueue pseudo-code places the new timestamp Fl k at no less than two times the service interval ll k/rl of the new head-of-the-queue packet above the current real-time reference. Since, by construction, rl=ρl,s≦ρl,p, the SBR and PBR leaky bickets of flow 22-i have enough time to drain at least as many tokens as they accumulate for the transmission of packet pl k.In fact, a virtually-incompliant flow 22-i whose timestamp at time t is equal to (t+2·ll k/rl) must wait at least ll k/rl time units before becoming “eligible” for service. The SBR and PBR buckets are therefore prevented from increasing their levels as a consequence of the next transmission, which preserves the compliance of the flow within the configured traffic profile.
FIGS. 6A-6D, which are arranged relative to one another as shown in FIG. 7, illustrate in flowchart form an illustrative embodiment of the operation of the monolithic shaper-scheduler of the present invention. Referring to FIG. 6A, in step S510, if new data packets have arrived at receiver 6 in communication interface link 2, then MSS 20 proceeds to step S550 to select one of the newly arrived data packets and prepare it for the enqueue operation. If there are no new packets at step S510, MSS 20 proceeds to step S520 to check for the availability of backlogged flows. In S520, if there are no backlogged flows (i.e., B(t)=Ø), the process returns to step S510 and again checks for newly arrived packets. If a backlogged flow is found at step S520, MSS 20 proceeds to step S680.
Returning to step S510, if a new packet is found, step S550 selects for transmission one of the data packets that have just arrived. After selection, the process moves to step S560 which identifies the flow 22-i corresponding to the packet selected in step S550. MSS 20 identifies flow 22-i through a connection identifier contained in the header of the received packet (not shown). The identification of flow 22-i allows for the proper flow queue 26-i to be chosen for storage of the packet (step S570).
In step S580, if the content of queue length register 32-i is 0 (meaning that flow 22-i is not backlogged), MSS 20 proceeds to step S590 and increments the number of backlogged flows. If the content of queue length register 32-i is non-zero, the register 32-i is first incremented by one (step S970) and then the process proceeds to step S680.
In step S600, the queue length 32-i of flow 22-i is incremented by one unit. MSS 20 then proceeds to run the virtual compliance test (step S615) to determine if the arrival of the new packet made flow 22-i “virtually compliant” or “virtually incompliant”. The flow timestamp Fl is then computed in step S630 according to the length of the just arrived packet, and stored at step S635 for later retrieval during the sorting process. Once the computation and storage of the timestamp is completed, flow 22-i is stored in MSS sorter 24 (step S640). The timestamp value determines the position of flow 22-i in MSS sorter 24.
In step S680, the availability of the transmitter to send a new packet is checked. If the transmitter is already “busy” in the transmission of another packet, the process will return to step S510, as shown.
If the transmitter is currently not busy in the transmission of a packet, MSS 20 checks in step S700 for the availability of a flow whose state variables still have to be updated (i.e., a flow for which the flow-dequeue operation still has to be executed). If a flow 22-i waiting for the execution of the flow-dequeue procedure does exist, its associated queue length 32-i is first decremented by one unit (step S710). Then, flow 22-i is removed from MSS sorter 24 (step S712), and, if flow 22-i is a “shaped” flow, its associated traffic regulator 28-i is updated to reflect the departure of the last-transmitted packet (step S713). FInally, the eligibility of flow 22-i is ascertained by checking its timestamp, using the relation included in line 1 of the flow-dequeue pseudo-code (step S714). If the flow is “ineligible”, the flow-dequeue process is initiated, starting with setting the eligibility flag of the flow (EFl) to “FALSE”, and continuing with recalibrating the flow timestamp (based on the equation at line 3 of the flow-dequeue pseudo-code). If, instead, the flow is “eligible”, its eligibility flag EFl is set to “TRUE” (step S715).
Once the flow-dequeue process has been completed and the eligibility flag EFl has been set to either “FALSE” or “TRUE”, the queue length 32-i of flow 22-i is checked (step S720). If the queue length 32-i is zero, the number of backlogged flows is decremented in step S722 and a check is made to determine if there are any remaining backlogged flows in step S724. If all of the backlogged flows have been cleared out, the process returns to the initial step S510 to check for the presence of newly-arrived packets. If backlogged flow remains, as determined in step S724, the process returns to the output from step S700, at the point where it is determined that there are no “serviced flows” available.
At step S720, if it is determined that the flow queue length 32-i is non-zero, the flow-enqueue procedure is executed, starting with running the test for “virtual compliance” of flow 22-i (step S740). Following the determination of either “virtual compliance” or “virtual incompliance”, a new timestamp Fl is computed in step S742 (as defined by lines 2, 4, and 6 of the flow-enqueue pseudo-code), depending on the state of the eligibility flag EFl and on the results of the “compliance” test. The new timestamp Fl is then stored (step S760) and the associated flow 22-i is stored in MSS sorter 24 (step S765).
After storing flow 22-i in MSS sorter 24 at step S765, the process returns to the output of step S700 (similarly to the output from step S724, upon the determination that at least one backlogged flow remained). In step S780, a determination is made if an “eligible flow” is available in MSS sorter 24. If an eligible flow exists, a data packet for that flow is sent to the transmitter (step S790), and the process returns to step S510 to check for newly-arrived packets. If at step S780 it is determined that there is no eligible flow available, a check is made at step S784 to determine if a “compliant” flow is available in MSS sorter 24 (the “eligibility” of the flow is not relevant to its selection). If a compliant flow is available, a packet for that flow is sent to the transmitter (step S790). If no “compliant” flow is found at step S784, the process will, by default, return to the beginning of the process and check for new packet arrivals.
In future high-speed, packet-switched networks, the shaper-scheduler will normally be required to handle a large number N of distinct flows with very diverse bandwidth requirements, and will have to produce a continuous stream of packet selections in front of extremely fast physical interfaces (running, for example, at bit rates in excess of 2.5 Gbps). In this context, the O(logN) algorithmic complexity that is typical of a single, monolithic structure handling the whole set of Ntimestamps leads to serious scalability problems as N grows to hundreds of thousands, or even millions, of separate flows.
Under these conditions, a preferred implementation for the monolithic shaper-scheduler of the present invention is the Two-dimensional Calendar Queue (TCQ). The TCQ consists of a set of G calendar queues, each calendar queue being an array of b bins. Two such calendar queues, denoted CQI and CQJ, are illustrated in FIG. 8, each including a plurality of bins 80-1 through 80-M. Each bin 80-i is associated with a certain range of timestamp values. The width of the timestamp range associated with an exemplary bin 80-i is defined as the “bin granularity” of the calendar queue, while the lower end of the timestamp range associated with a bin 80-i is defined as the “representative timestamp” of the bin. In each calendar queue CQI, as shown in FIG. 8, the bins are ordered by increasing values of their representative timestamps. Flow pointers 82 are queued to bins 80 based on the current timestamps of the flows. Bins 80 are then visited in their order in memory. Within each bin, the service policy may be either LIFO or FIFO.
In the TCQ as used in the present invention, distinct calendar queues are used to segregate flows whose head-of-the-queue packets have different “service intervals”, where, as defined above, the service interval Φl k of packet pl k of flow 22-i is equal to ll k/rl. Each calendar queue CQI is associated with a reference service interval ΦI, with a constant ratio Δg imposed between adjacent intervals. That is:
Each bin 80
in a calendar queue CQI
covers a certain range δFl
of timestamp values (or “bin granularity”), which depends on the total range ΔFI
covered by the calendar queue and on the number b of bins in the calendar queue:
In order to prevent the finite representation of the timestamps from inducing the overlapping of disjoint intervals of timestamp values into the same bin of calendar queue CQI
, the following lower bound on the range of timestamp values covered by CQI
where Lmax and Lmin are the maximum and minimum packet size in the system, respectively.
When flow 22
-i finds a new packet pl k
at the head of its queue 26
-i, MSS 20
computes the corresponding service interval Φl k
, and uses its value to identify the index I of the destination calendar queue for the flow:
where Φmin=Lmin/rmax is the minimum service interval that can be found in the system. In accordance with the above relation, therefore, all backlogged flows with a current service interval that is greater than ΦI−1 and not greater than Φl will be queued in CQI.
After determining the destination calendar queue and the virtual-compliance status of flow 22-i, MSS 20 computes the new timestamp Fl k of flow 22-i based on the flow-enqueue pseudo-code. The just-computed timestamp drives the identification of the destination bin in the calendar queue. Referring again to FIG. 8, MSS 20 of the present invention maintains two linked lists of flows, denoted 84 and 86, in each bin 80. The two linked lists allow separate access to flows having similar timestamps but opposite virtual-compliance status (i.e., “virtually compliant” and “virtually incompliant”). At any time, the calendar queue is labeled with two timestamp values: a minimum eligible timestamp FI,E min and a minimum “virtually-compliant” timestamp Fl,C min. In particular, FI,E min is the representative timestamp of the first backlogged bin in the calendar queue, if the value satisfies the eligibility condition. The reference service interval ΦI of CQI is used in the eligibility test, so that FI,E min satisfies the following condition at time tI,E:
F I,E min ≦t I,E+ΦI.
If the representative timestamp of the first non-empty bin is not eligible, then FI,E min is void.
Timestamp Fl,C min is the representative timestamp of the first bin whose list of “virtually-compliant” flows is not empty (i.e., FI,C min≧FI,E min when both EI and CI are not empty).
Every time link server 30 is available for the transmission of a new packet, MSS 20 looks for the minimum value of Fl,E over all calendar queues CQI. If such a value is found, the first flow in the corresponding bin is selected for service (in case both linked lists in the bin are backlogged, the list of virtually-incompliant flows is given priority, in order to help virtually-compliant flows in preserving their status). Otherwise, the scheduler looks for the calendar queue CQI whose timestamp FI,C is minimum, and selects the corresponding virtually-compliant flow for service.
The illustrative embodiments described above are but exemplary of the principles that may be used to shape and schedule packet data traffic in accordance with the present invention. Those skilled in the art will be able to devise numerous arrangements which, although not explicitly shown or described herein, nevertheless embody those principles that are within the spirit and scope of the present invention as defined by the claims appended hereto.