Performance Analysis of the Enhanced Distributed
Coordination Function in the IEEE 802.11e
Yu-Liang Kuo
∗, Chi-Hung Lu
∗, Eric Hsiao-Kuang Wu
†, Gen-Huey Chen
∗, and Yi-Hsien Tseng
∗∗ Dept. of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan, R.O.C. †Dept. of Computer Science and Information Engineering, National Central University, Chung-Li, Taiwan, R.O.C.
Abstract— Recently, the IEEE 802.11 Task Group E is
stan-dardizing a distributed access approach, called the enhanced distributed coordination function (EDCF), to support service differentiation in WLANs. In EDCF, service differentiation is achieved by assigning different values of EDCF access parameters (e.g., the minimum contention window, the maximum contention window, and the arbitration interframe space) to different traffic classes. In order to satisfy specific QoS requirements for different traffic classes, a mathematical analysis turns to be helpful to analyze the system performance. In this paper, we provide an analytical model to study the expected bandwidth for each traffic class in EDCF. We validate the accuracy of the model by using the ns-2 simulator. Some performance evaluations are demonstrated in comparison with the IEEE 802.11 legacy MAC protocol. The model can be also used as guidelines for admission control or resource management schemes.
I. INTRODUCTION
There is an increasing demand that traffic classes with different QoS requirements will be provided in future WLANs. Since these traffic classes require distinct specific features, such as delay-sensitivity or bandwidth requirement, it is desired to provide a service differentiation mechanism in the IEEE 802.11 standard [3]. In order to provide service differentiation in a wireless environment, the MAC protocol is required to support some degree of separation between different traffic classes. Recently, the IEEE 802.11 Task Group E (IEEE 802.11e) is specifying a distributed access approach, called EDCF, to support service differentiation in the MAC layer [5]. In this paper, we use an analytical model to study the performance of EDCF, which is in comparison with the IEEE 802.11 legacy MAC.
The fundamental access method in IEEE 802.11 is dis-tributed coordination function (DCF), which is based on carrier sense multiple access with collision avoidance (CSMA/CA) protocol. A mobile station that intends to transmit a packet waits until the channel is sensed idle for a time period equal to the DCF interframe space (DIFS). If the channel is sensed idle for a duration of DIFS, then it can immediately transmit a packet. Otherwise, the mobile station will generate a backoff time counter. A discrete time counter is used and the time following an idle DIFS is slotted. A mobile station is allowed to transmit only at the beginning of a time slot.
When a mobile station senses the channel busy during the duration of DIFS, the backoff time counter is randomly selected from the range (0, CW), where CW is called the
contention window. At the first transmitting attempt, CW is
assigned the value CWmin, which is called the minimum con-tention window. In the consecutive unsuccessful transmissions (due to collisions), the value of CW is increasing up to the maximum value CWmax=2mCWmin, where m is called the
maximum backoff stage.
The backoff time counter is decreased as the channel is sensed idle and suspended as the channel is sensed busy. After the suspension, the counter is reactivated as the channel is again sensed idle for a duration of DIFS. The mobile station will transmit a packet when the counter reaches zero.
The EDCF introduces the concept of access categories (ACs), which are variants of the DCF access mechanism. Dif-ferent ACs uses difDif-ferent values of arbitration interframe space duration (AIFSD), minimum contention window (CWmin), and minimum contention window (CWmax). Traffic classes with smaller values of CWmin and CWmax yield higher priorities. Furthermore, different interframe spaces can be used by different traffic classes. DCF Interframe space (DIFS) is substituted for the AIFSD. AIFSD is at least a duration of short interframe space (SIFS) plus a slot time and can be enlarged individually by different traffic classes. AIFSD can be computed as the following:
AIFSD = SIFS + AIFS× aSlotTime,
where AIFS is a positive integer and greater than 1. Hence AIFSD is determined by AIFS and traffic classes with smaller values of AIFS yield higher priorities. These three parameters are gathered and called a QoS parameter set.
In EDCF, data packets are delivered through multiple back-off instances within one mobile station. A single mobile station may implement up to 4 transmission queues and each transmission queue use a specific AC for contending the channel access, as depicted in Fig. 1. The IEEE 802.11e draft specifies four default ACs, which are shown in Table I. Each queue within the mobile station contends for the channel access and independently starts its backoff depending on its associated AC. If the backoff time counters of two or more parallel queues within a single mobile station reach zero at the same time, an internal scheduler will resolve the internal collision. The scheduler grants the channel access to the queue in terms of its particular scheduling algorithm.
In this paper, we propose an analytical model for the EDCF access mechanism to evaluate expected bandwidth of each traffic class. A mathematical model is helpful to obtain the performance analysis and suggest some guidelines
Mobile station
Internal Scheduler
Wireless Channel
AC 1
Mapping to Access Category
Transmission queues Per-queue channel access functions AC 4 AC 3 AC 2
Fig. 1. A single mobile station can implement up to 4 transmission queues. Each queue is mapping to a particular access category.
TABLE I THEFOURDEFAULTACS
AC AIFS CWmin CWmax(m) Designation 0 34µs 15 1023 (6) Best Effort 1 25µs 15 1023 (6) Video Probe
2 25µs 7 15 (1) Video
3 25µs 3 7 (1) Voice
for admission control or resource management schemes. By using ns-2 simulator [1], we validate the analytical model with two simple scenarios. The validation shows that the analytical model approximately coincides with simulative one. Some performance evaluations will be also provided in the subsequent section.
The paper is organized as follows. Section II provide an analytical model for EDCF to study the expected bandwidth and expected packet delay of each traffic class. The model validation is demonstrated in Section III. Section IV presents numerical results, in comparison with DCF. The conclusion is drawn in Section V.
II. ANALYTICALMODEL
The environment we consider is a single wireless cell coor-dinated by an AP. In a single cell environment, each mobile station which intends to transmit a packet needs to forward its packet to the corresponding AP. The transmitted packets should be forwarded to the AP even if the packets are destined to the mobile station in the same cell. We assume all mobile stations and the corresponding AP can communicate with each other without obstacle and the air condition is assumed to be error-free. The access mechanism we consider is a four-way handshaking protocol by using the RTS/CTS/DATA/ACK dialogue.
Without loss of generality, we assume there are K traffic classes with distinct QoS requirements in the system. Traffic classk stations use ACkto access the wireless channel. Specif-ically, there are n = (n0, n2, . . . , nK−1) mobile stations,
where nk (0 ≤ k ≤ K − 1) is the number of mobile stations
which generate traffic class k packets. For convenience, let the traffic class k packet be denoted by class-k packet and the class-k station is referred to as the mobile station that generates class-k packets to transmit. We assume that each class-k packet has constant length Lkand requires Lk
M seconds
for transmission delay, where M is the average channel bit rate. We also assume that each mobile station always has a packet ready to transmit. In other words, we consider the saturation condition [2]. The maximum propagation delay for all packets between two mobile stations within the cell is assumed to be a constant length ofτ seconds.
At each transmission attempt, we assume that each
class-k pacclass-ket (0 ≤ class-k ≤ K − 1) has common probability pk of
involving in collision, independent of retransmission history. The assumption of pk is originated from Bianchi’s model [2] but we extend the assumption to allow K traffic classes. Suppose that a class-k station that has involved inj times of collision will select the backoff time counterBkj (j ≥ 0) to decrement before (re)transmission. LetJk denote the number of collision a class-k station has suffered. As a class-k station intends to transmit a packet, the expected backoff time counter
E[Bk] can be computed by conditioning on Jk
E[Bk] = ∞ i=0 E[Bki]P {Jk = i}. (1) The distribution ofJk is P {Jk= i} = pi k ifi ≥ 1, 1 −∞j=1pjk ifi = 0. (2)
Let Wk, AIFSk, and mk be the minimum contention window, AIFS, and maximum backoff stage for each
class-k station. Since Bkj is selected from the current contention
window size (the current contention window size is obtained according to the binary exponential backoff procedure) in a uniform way, its distribution is
P {Bkj = i} =
1
2βk(j)(Wk+ 1) + AIFSk,
i = 0, 1, · · · , 2βk(j)(W
k+ 1) + AIFSk− 1, (3) where β(·) is defined as the following:
βk(i) =
i if0 ≤ i ≤ mk− 1,
mk ifi ≥ mk.
The expectation ofBkj can be easily derived from (3)
E[Bkj] =
2βk(j)(W
k+ 1) + AIFSk− 1
2 . (4)
According to (2) and (4), (1) can be expressed as
E[Bk] = (1 − ∞ i=1 pi k)Wk+ AIFS2 k + ∞ i=1 pi k2 βk(Jk)(W k+ 1) + AIFSk− 1 2 (5)
Collision Collision ... Success DIFS DIFS Transmission Cycle Idle period due to backoff Idle period due to backoff Idle period due to backoff
Fig. 2. A single mobile station can implement up to 4 transmission queues. Each queue is mapping to a particular access category.
At a given time slot, The probability that a class-k station will transmit is
qk =E[B1
k]. (6)
The collision probability for a class-k packet transmission can be computed as pk = 1 − K−1 j=0,j=k (1 − qj)nj(1 − qk)nk−1 . (7) By observing the transmission behavior in the wireless channel, a pattern of periodical cycles can be found. Each cycle, named as transmission cycle, consists of some idle periods, some unsuccessful periods (due to collisions), and a successful period, as depicted in Fig. 2. When each cycle ends in a successful period, a consecutive cycle will restart with respect to the ordered sequences (idle periods, unsuccessful periods, a successful period). Let E[I], E[C], and E[S] be the sum of the expected lengths of all idle periods, all unsuccessful periods, and the expected length of a successful period, respectively. Also, let E[Lk] be the expected number of bits a class-k packet will be transmitted in a successful period. As a result, using renewal theory arguments [6][7], the expected bandwidth for each class-k station (0 ≤ k ≤ K − 1) is given as
ρk= E[I] + E[C] + E[S]E[Lk] . (8)
The probability that a class-k packet will be transmitted in a transmission cycle is
γk= P{Transmitting station = 1 and is class-k station
|Transmitting station ≥ 1} (9)
Hence (9) can be computed as
γk =nkqk(1 − qk)
nk−1 K−1
i=0,i=k(1 − qi)ni
1 − K−1i=0,i=k(1 − qi)ni
. (10)
Since only one particular class-k packet (0 ≤ k ≤ K − 1) can be transmitted in a successful period, we computeE[Lk] according to the normalized probabilityγk. Thus, the expected number of bits a class-k packet transmitted in a successful period is given as
E[Lk] = γ γk
0+ γ1+ · · · + γK−1Lk. (11)
Also the expected AIFS a class-k packet required in a suc-cessful period is given as
E[AIFSk] =γ γk
0+ γ1+ · · · + γK−1AIFSk. (12)
The expected number of bits transmitted in a successful period is E[L] = K−1k=0 E[Lk] and the expected AIFS
required in a successful period isE[A] =K−1k=0 E[AIFSk]. Let TSIF S, TACK, TRT S, TCT S, and H be the duration required for a SIFS, transmitting a ACK, transmitting a RTS, transmitting a CTS, and transmitting a PHY/MAC header, respectively. The expected length of a successful period in a transmission cycle is approximately expressed as
E[S] = TRT S+TCT S+TACK+E[L]M +4τ+4TSIF S+E[A]+H.
(13) Given the number of each traffic flow n, we letNc be the random variable representing the number of colliding periods needed in a transmission cycle. The distribution of Nc is geometric with parameter (1 − pc), where pc is the collision
probability in the channel and can be computed as
P{Transmitting station ≥ 2
|Transmitting station ≥ 1} (14)
From (14),pc can be computed as
pc=1 −
K
i=1,i=k(1 − qi)ni−Ki=1niqi(1 − qi)ni−1 Kj=1,j=i(1 − qj)
1 − Ki=1(1 − qi)ni
As a result, we have
E[Nc] = 1 − ppc
c. (16)
The number of time slots required for an idle period in a transmission cycle can be viewed as a geometric random variable with parameter (1 − Ki=1(1 − qi)ni). Hence, the
expected length of an idle period can be computed as
δ · ∞ j=0 j · (1 − K i=1 (1 − qi)ni) · ( K i=1 (1 − qi)ni)j. = δ · K i=1(1 − qi)ni 1 − Ki=1(1 − qi)ni . (17)
Since the lengths of all idle periods are assumed to be identical and independent and there are ¯Nc + 1 idle periods in a transmission cycle, the sum of the expected lengths of all idle periods in a transmission cycle is
E[I] = (E[Nc] + 1) δ K i=1(1 − qi)ni 1 − Ki=1(1 − qi)ni . (18)
The sum of the expected lengths of all unsuccessful periods in a transmission cycle is
E[C] = E[Nc](τ + TSIF S+ E[A] + TRT S+ H). (19)
This follows since the length of an unsuccessful period is
τ + TSIF S + E[A] + TRT S+ H and the expected number
of unsuccessful periods is E[Nc].
From(11), (13), (18), and (19), we can express the expected bandwidth of each traffic class in closed-forms.
TABLE II
THE VALUES OF PARAMETERS USED IN MODEL VALIDATION
FTP packet payload size (AC0) 1500 bytes Video packet payload size (AC2) 1464 bytes Voice packet payload size (AC3) 96 bytes
PHY header 6 bytes MAC header 34 bytes
RTS 20 bytes
CTS 14 bytes
ACK 14 bytes
Propagation delay 1µ s Average channel bit rate 1 Mbps
SIFS 16µ s
Slot time 9µ s
III. MODELVALIDATION ANDNUMERICALRESULTS In this section, we present the model validation and numeri-cal results. By using thens-2 simulator, we run two scenarios and compare the analytical model with the simulative one. The values of parameters used in the analytical and simulative model are summarized in Table II. In this validation, we have constant packet payload size, as shown in Table II. We have three usual applications (FTP, video, and voice application) and each one is associated with its default AC for contending the channel access. The values of parameters is assigned depending on the IEEE 802.11a specification [], excepting the average channel bit rate, which is assumed to be 1 Mbps.
A. Model Validation
In the first scenario, we consider a simple one that contains three flows, which is associated with AC0, AC2, and AC3 for contending the channel access. Each flow is destined to the AP and the AP is destined to the corresponding host in the Internet. As a result, we have K = 3 and n = (1, 1, 1). Fig. 3(a) shows that the simulative model, in which diamond line represents simulative bandwidth of video, square line represents simulative bandwidth of FTP, and circle line represents simulative bandwidth of audio, is close to the expected bandwidth made by analytical model.
In the second scenario, we consider more traffic flows. We add two stations to the first scenario, in which one station runs voice application and another one runs video applications. As a result, we haveK = 3 and n = (1, 2, 2). Fig. 3(b) shows that the simulative model are also close to the expected bandwidth made by analytical model.
B. Numerical Results
In this subsection, we show the effect of EDCF and per-formance the collision and transmission probability of each traffic class as the number of traffic flows increases. Since the voice application has higher priority than the video and FTP applications, it can tolerate the increment of FTP applications, as show in Fig. 4(a). In Fig. 4(a), the bandwidth of video application (dotted line) is decreasing as the number of FTP
flows increases but the effect of decrement is getting stable. Although the bandwidth of voice application is decreasing as the number of FTP flows increases, the extent of decrement is smaller than video application. Fig. 4(a) also suggests that the admission control should consider the best-effort traffic since the video is decreasing from 675 Kbps to 210 Kbps. Instead of increasing the number of FTP flows, Fig 4(b) shows the change of expected bandwidth of the FTP and video applications as the voice application is increasing. Since the voice application has higher priority than the video and FTP applications, the bandwidth of the FTP and video will be decreasing dramatically as the number of the voice flows increases. Fig 4(a) and Fig. 4(b) also indicate that EDCF can achieve the service differentiation.
Considering the collision and transmission probabilities, Fig. 5(a) shows that the change of both probabilities as the number of FTP flows increases. From Fig. 5(a), we can see that the effect of the number of FTP flows is small. However, in Fig. 5(b), both probabilities are getting down as the number of voice flows increases. These plots can also indicate that EDCF can achieve the service differentiation.
IV. CONCLUSION
In this paper, we introduced an approximate analytical model to evaluate the expected bandwidth of each traffic class for the service differentiation mechanism based on EDCF. By using the ns-2 simulator, we use two scenarios to validate the model is accurate. The numerical results also indicate that EDCF can achieve the service differentiation. In the future work, the expected packet delay of each traffic class can be approximately derived. With this analytical model, some admission control and resource management schemes can be also design to meet the QoS.
ACKNOWLEDGMENT
This work was supported in part by the MediaTek Inc. This work was also supported by the Communications Software Technology project of Institute for Information Industry and sponsored by MOEA, R.O.C.
REFERENCES
[1] ”The Network Simulator - ns-2,” http://www.isi.edu/nsnam/ns/. [2] G. Bianchi, Performance Analysis of the IEEE 802.11 Distributed
Co-ordination Function, IEEE Journal of Selected Areas on Communication 18(3) (March 2000) 535-547.
[3] Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, IEEE 802.11 WG, Aug. 1999.
[4] Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications: High-speed Physical Layer in the 5GHz Band, IEEE Std 802.11a-1999, Sep. 1999.
[5] Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification: Medium Access Control (MAC) Enhancements for Quality of Service (QoS), IEEE Std. 802.11e/D4.0 , Nov. 2002.
[6] L. Kleinrock, Queueing Systems, Vol, I: Theory (Wiley-Interscience, New York, NY, 1975)
[7] L. Kleinrock and F. Tobagi, ”Packet switching in radio channels: Part I - carrier sense multiple-access modes and their throughput-delay charac-teristics,” IEEE Trans. Commun., vol. com-23, no. 12, December 1975.
0 5 10 15 0 100 200 300 400 500 600 700 800 900 1000 Time (sec) Bandwidth (Kbps) Voice (simulation) Video (simulation) FTP (simulation) Voice (analysis) Video (analysis) FTP (analysis)
(a) The first scenario. (one FTP, one video, and one voice flows). 0 5 10 15 0 100 200 300 400 500 600 700 800 Time (sec) Bandwidth (Kbps) Voice1(simulation) Voice2(simulation) Video1(simulation) Video2(simulation) FTP(simulation) Voice(analysis) Video(analysis) FTP(analysis)
(b) The second scenario. (one FTP, two video, and two voice flows).
Fig. 3. Model validation: simulative model vs. analytical model.
0 10 20 30 40 50 60 70 80 90 100 0 100 200 300 400 500 600 700 Number of FTP flows Expected bandwidth (Kbps) Video Voice
(a) The effect of expected bandwidth as the number of FTP flows increases. 0 10 20 30 40 50 60 70 80 90 100 0 100 200 300 400 500 600 700
Numer of audio flows
Expected bandwidth (Kbps)
Video FTP
(b) The effect of expected bandwidth as the number of voice flows increases.
Fig. 4. The effect of expected bandwidth.
0 10 20 30 40 50 60 70 80 90 100 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 Number of FTP flows
Collision and transmission probabilities (p
k and q k ) p1 (FTP) p 2 (Video) p3 (Voice) q1 (FTP) q 2 (Video) q3 (Voice)
Number of voice flows: 1 Number of video flows: 1
(a) The effect of collision and transmission probabilities as the number of FTP flows increases.
0 10 20 30 40 50 60 70 80 90 100 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Number of voice flows
Collision and transmission probabilities (p
k and q k ) p1 (FTP) p2 (Video) p 3 (Voice) q1 (FTP) q2 (Video) q 3 (Voice) Number of FTP flows: 1 Number of video flows: 1
(b) The effect of collision and transmission probabilities as the number of voice flows increases.