Abstract
This paper provides an analytical evaluation of the performance of proportional fair (PF) scheduling in Orthogonal Frequency-Division Multiple Access (OFDMA) wireless systems. OFDMA represents a promising multiple access scheme for transmission over wireless channels, as it combines the orthogonal frequency division multiplexing (OFDM) modulation and subcarrier allocation. On the other hand, the PF scheduling is an efficient resource allocation scheme with good fairness characteristics. Consequently, OFDMA with PF scheduling represents an attractive solution to deliver high data rate services to multiple users simultaneously with a high degree of fairness. We investigate a two-dimensional (time slot and frequency subcarrier) PF scheduling algorithm for OFDMA systems and evaluate its performance analytically and by simulations. We derive approximate closed-form expressions for the average throughput, throughput fairness index, and packet delay. Computer simulations are used for verification. The analytical results agree well with the results from simulations, which show the good accuracy of the analytical expressions.
1. Introduction
OFDMA is a promising solution for the high data-rate coverage required in multiuser broadband wireless communications. Current and evolving standards for broadband wireless systems, such as IEEE 802.16e, have proposed OFDMA as the multiple access technique for the air interface. OFDMA is a multiple access technique which is based on OFDM. In OFDM systems, a single user gets access to the whole available spectrum at any time instant, and, as a result, multiple users share resources using time scheduling. On the other hand, in OFDMA systems users share the available spectrum using subcarrier allocation. Hence, OFDMA requires scheduling in both time and frequency domains (time slots and frequency subcarriers). This additional degree of freedom makes the scheduling problem in OFDMA systems more challenging, but also more effective.
Scheduling plays a key role in the OFDMA systems resource management [1]. Efficient scheduling implies effective utilization of the available radio resources, high throughput, low packet delay, and fair treatment of all users in the system. Various scheduling techniques have been proposed for OFDMA systems [1–4]. For example, a maximum carrier-to-interference ratio-based scheduling algorithm is adopted in [1] to provide a more fair treatment among users, while in [2] the resource allocation problem is studied with and without service request constraints. Two-dimensional matrix-based scheduling algorithms are proposed in [2] using the raster scanning approach to achieve high system throughput with relatively lower complexity.
The PF algorithm is an appealing scheduling scheme to meet the quality of service requirements in OFDMA systems [5–8], as it can improve the fairness among users without sacrificing the efficiency in terms of average (or aggregate) throughput. With this algorithm, the level of satisfaction and starvation of all users in the system is sensed over time, and resources are assigned to users based on that. Moreover, the PF algorithm is flexible and can scale between fairness and efficiency. In [8], we propose an iterative two-dimensional (time symbols and frequency subbands) PF scheduling for OFDMA systems. However, the performance of PF scheduling for OFDMA systems is not determined analytically and it is usually determined by computer simulations.
An analytical method, which is based on the Gaussian approximation of the instantaneous data rate in a Rayleigh fading environment, is used to analyze the performance of PF scheduling in [9]. However, this method is developed for single-carrier systems and limited to the case of users with full buffers. We adopt the methodology in [9] to develop an analytical solution for the PF scheduling in OFDMA systems for bursty traffic conditions and full buffers scenario, as well. In this paper, we provide approximate closed-form expressions for the average throughput and throughput fairness index of our PF scheduling scheme proposed for OFDMA systems in [8]. In addition, simulation results are provided in the paper to check the accuracy of the analytical method.
The rest of this paper is organized as follows: Section 2 describes the OFDMA system model. The PF scheduling algorithm is provided in Section 3. The closed-form analytical derivations of the throughput, fairness index, and delay are presented in Section 4. Then, Section 5 provides numerical results from the analytical solution, as well as simulation outcomes. Finally, conclusions are provided in Section 6.
2. System Model
As shown in Figure 1, the OFDMA system resources have two dimensions: frequency and time. In frequency domain, the signal bandwidth is divided into a plurality of subbands, which contain highly correlated orthogonal subcarriers. A number of S subcarriers are grouped into M subbands, each with subcarriers. In time domain, data is organized in frames, which are further divided in time symbols. The minimum allocable resource unit in the system is defined by the intersection between a subband in frequency domain and time symbol in time domain.
We consider a single-cell scenario, with N users with bursty traffic demands. The signals are affected by path loss, lognormal shadowing, and Rayleigh fading. The smallest data entity which the base station can handle is a fixed-size data packet. We use the Poisson traffic model. The cell shape is circular and the base station is located at the center. Users are uniformly distributed over the cell area. We consider the downlink only. However, the analysis can be easily extended to the uplink case. Moreover, adaptive coding and modulation (ACM) is used to enhance the resource utilization. The suitable modulation level and coding rate are decided depending on the channel state information (CSI) for each subband. Table 1 shows the ACM schemes used in this paper, along with the corresponding signal-to-noise ratios (SNRs).
The frequency subcarriers are correlated in the frequency domain. The fading affecting the frequency subcarriers has cross correlation because of the coherence bandwidth of the wireless channel [10]. A frequency selective Rayleigh fading channel is modeled based on [10–12]. The frequency selective Rayleigh subcarriers are generated with correlation between them in the frequency domain, where the complex valued correlation is formulated as a function of frequency separation between the subcarriers. In order to minimize the bit error rate and improve the OFDMA system reliability, we consider the worst case subcarrier fading in each subband for the SNR and link budget calculations. Although the worst case subcarrier fading is considered in a subband while selecting an ACM scheme, the overall SNR calculation does not significantly change because the fading difference between subcarriers within a subband is insignificant because the fading coefficients are highly correlated.
3. PF Scheduling Algorithm for OFDMASystems
Closed-form expressions are subsequently derived for the throughput and fairness index for the PF scheduling algorithm that we proposed in [8]. The algorithm is briefly explained, followed by its analytical performance analysis.
According to the PF scheduling algorithm that we develop in [8] for OFDMA systems, the user with the index is ranked first among the N users on subband . Here, is the instantaneous data rate of user i, on subband j at time frame n, and is the time-average data rate of user at time frame . The time-average data rate is updated at the end of a time frame for each user i on all the available subbands as follows: where represents the set of subbands assigned to user i during time frame n, and is the averaging window expressed in time frames which controls the amount of historical information taken into account when sharing the resources among multiple users and can be chosen to achieve a desirable throughput-fairness tradeoff. User i is scheduled on time frame n if and is not scheduled if .
Since the packet arrival is assumed to be bursty, the best user (chosen by (1)) might have empty buffer. In this case, the subband assigned to the best user should be given to the second best user if this has nonempty buffer. If not, the subband is assigned to the third best users and so on, where the ranking of users is based on the same criterion used in (1), that is, . As such, we modify (2) as follows: where , , represents a selector indicator which equals 1 if user i is ranked kth on subband j and frame n and equals 0 otherwise, and α is the probability that the buffer of user i is not empty. We assume that α is the same for all users. The terms in the right-hand side of (3) represent the potential achievable throughput for a user. The first term reflects the average throughput achieved by the round-robin (RR) algorithm, while the remaining N terms represent the additional average throughput provided by our algorithm when compared with RR. The first term (out of the remaining N terms) represents the additional average throughput when user i is ranked first and assigned subband . The second term (out of the remaining terms) reflects the additional average throughput when user is ranked second and assigned subband because the user ranked first has empty buffer, and so on.
The PF scheduling algorithm consists of two steps [8]. In the first step, all users in the system are ranked. A resource matrix that contains the ranking of all users on all subbands is generated based on (1). The instantaneous data rate, , represents the efficiency factor, whereas the historical average rate combined with represents the fairness factor. As such, the ranking of the users reflects both the channel gain and shortage of service. In the second step, scheduling is performed based on the ranking and demands of the users on one hand and the resource accessibility on the other hand. The algorithm iteratively serves the user with the highest rank among all users on all subbands.
A user will be excluded from the waiting users’ list if all waiting packets are served. This algorithm allows subband sharing in time domain, where different time symbols in the subband can be utilized by different users. A subband will be eliminated from the resource matrix if the remaining resources cannot support at least one packet for any requesting user within this time frame. The algorithm tracks the satisfaction levels of all users at the end of each time frame by updating the historical data rate, , using (2).
4. Performance Analysis
4.1. Average Throughput
It is shown that assuming a linear relationship between the instantaneous data rate, , and the SNR is unrealistic under Rayleigh fading environment [9, 13]. Actually, it is demonstrated that it is more realistic to assume that follows a Gaussian distribution with mean and variance given, respectively, as follows [9]: where denotes the expectation operator. According to the PF algorithm presented in (1) and (2), one can express the average achievable throughput of user on all the available subbands in the time frame n as follows:
We can rewrite (5) as follows:
where is the probability that user is ranked kth on subband and time frame . Under the assumption of stationary throughput [9], , and independent subbands, one can further express (6) as follows:
By applying the Bayes’ theorem, (7) can be rewritten as follows: where denotes the probability density function (pdf) of . By assuming independent and based on the PF selection criterion presented in (1), we can determine the conditional ranking probabilities as follows:
where is the cumulative distribution function (cdf) of , while and are the indexes of the users ranked the first and the second (on subband ), respectively. By using (9) and the Gaussian pdf of , and under the assumptions that and is an ergodic process (such that its moving average equals the statistical average), now (9) can be re-written as follows:
Hence, (8) can be expressed as follows: By assuming a Gaussian distribution of the instantaneous traffic rate, (11) becomes
Now, assume , so, can be re-written as [8] where (·) represents the standard normal cdf with zero-mean and unit-variance. Furthermore, we assume a proportional relationship between the mean and standard deviation of all users in the system [8]; hence, the previous expression can be approximated as
After some mathematical manipulations, one can further express (12) as
It is straightforward to show that
Then, one can easily find that
and, finally, through the mathematical induction, we can write
Thus, (15) can be expressed as follows:
The probability of the nonempty buffer for any user, , in terms of average throughput and traffic rate, is given as follows: where is the average arrival traffic rate per user. By substituting (20) into (19), becomes
As represents the throughput of user i in the system, the average throughput of the entire system is
4.2. Fairness Index
Jain’s fairness index is a well-known quantitative metric that is widely used in wireless communications to measure fairness, and it is defined as follows [14]: where is the amount of resources accessed by user among competing users. Based on the result for the average throughput for user , as given in (21), it is straightforward to express the Jain’s fairness index of the users’ throughput as follows: For nonbursty traffic (full-buffer scenario), the analysis is the same as for bursty traffic given above, except that α (the probability of having non-empty buffer) is equal to 1.
4.3. Average Packet Delay
In order to calculate the packet delay, we model the system by using the M/G/1 queuing model. Hence, the average packet delay is given by where is the throughput variance. In order to determine , we calculate using (3) as follows:
By assuming stationary throughput per user, we can use . Therefore, (26) can be re-written as follows:
In order to determine , we need to find , which can be expressed as follows: and then can be re-written as
The first term in the right-hand side of (29) can be further written as follows:
Using (9) and the assumption of stationary first-order ergodic [9], (30) becomes which can be simplified to
Then, by simply expressing , (32) can be re-written as follows:
Thus, can be expressed as follows:
Next, we determine the second term in the right-hand side of (29), which can be re-written as follows:
From (29), (34) and (35), can be expressed as follows:
Then, we simplify the second term in the right-hand side of (27) as follows:
Substituting (36) and (37) in (27), it can be easily shown that the throughput variance is expressed as:
By substituting (21) and (38) in (25), we can calculate the average packet delay ().
5. Numerical and Simulation Results
The accuracy of the analytical closed-form expressions for the average throughput, fairness index, and packet delay (derived in Section 4) is examined by comparing the analytical results with simulation results. Computer simulations of one cell with N users are conducted independently of the analytical expressions derived in the previous section to estimate the average throughput, fairness index, and packet delay. We set the signal bandwidth to 20 MHz, the carrier frequency to 2 GHz, the noise power to −130 dBW, and to 5000 frames (except in Figures 2, 3, and 10). In addition, we consider a path loss exponent of 4, the standard deviation of the lognormal shadowing equal to 10 dB, the cell radius set to 1500 m, the number of users, N, in the cell equal to 32, the frame duration of 2 ms, and the packet size of 180 bits. The number of subbands, M, is 32 and the number of subcarriers, S, is 256. We use Poisson traffic with an arrival rate of λ, which is kept as a variable to control the traffic load given by λN.
(a)
(b)
We first analyze the effect of the averaging window () and the impact of using OFDMA instead of OFDM. In OFDM, all subcarriers are given to the selected user by the PF. As shown in Figure 2 (when ) the larger the the higher the throughput. When increases, PF needs more time to compensate disadvantaged users (with low SNR), which leads to a higher throughput for the advantaged users (with good SNR). As a result, the average throughput increases. On the other hand, when , PF losses its fairness and becomes an opportunistic scheduling algorithm which favors advantaged users, and it is known that opportunistic scheduling algorithms achieve the highest average throughput (but at the expense of the fairness). Also, it is evident from Figure 2 that PF with OFDMA has higher throughput than that of PF with OFDM, as the former efficiently utilizes the resources in the frequency domain, and can handle efficiently the bursty traffic because of the subband sharing.
The Jain’s fairness index of PF with OFDMA and PF with OFDM is depicted in Figure 3. Both algorithms show approximately the same values of Jain’s fairness index with a slight improvement for PF with OFDMA. Also, we can notice that as , increases (when 0), the fairness index decreases, as the algorithm becomes less fair (as discussed above). Furthermore, the lowest Jain’s fairness index is associated with because this is the case when PF becomes completely opportunistic, as discussed above.
In Figures 4 and 5, the throughput and the Jain’s fairness index of the system are, respectively, shown versus the total traffic load in the cell. Results obtained from both analytical expressions in (20) and (21) and simulations are presented. It is noteworthy the good agreement between these results, which validate our analytical solution. From Figure 4, one can observe that (as expected) the average throughput increases sharply at low traffic load, and then it saturates at high traffic load. On the other hand, as shown in Figure 5, the fairness index decreases with the traffic load increase, and it saturates at high traffic load. This is because as the traffic load increases, fewer resources become available and it becomes more difficult to satisfy the demand of all users.
The performance of the PF scheduling algorithm that we propose in [8] and the agreement between analytical and simulation results are also investigated for a different number of users, N, where the traffic load expected from each user is assumed to be 10 Mbps and the averaging window, , for the simulation, is selected to be 5000. Figures 6 and 7 show the average throughput and Jain’s fairness index versus the number of users, respectively. Again, it is straightforward to notice that there is good matching between analytical and simulation results. From Figure 6, one can see the increase in the average throughput when the number of users increases for both analytical and simulation bars. This can be easily explained as follows: as the number of users increases, the traffic loads increase in the system. Also, as the number of users increases, the chance of scheduling users on subbands with preferable channel gain increases, so the scheduling algorithm utilizes the multiuser diversity. From Figure 7, we notice a slight fairness index decrease when the number of users increases. This fairness index decrease is expected, as the competition when the number of users increases.
Figure 8 shows the throughput performance at different number of subbands (M). The available frequency bandwidth is divided into different number of subbands to study the behavior of the system with different numbers of subbands. It is evident that the analytical results and the simulation results agree very well. We also notice that the throughput reaches the maximum when the number of subbands equals 64. When the number of subbands is small, the number of subcarriers per subband is larger. Hence, the use of the adaptive coding and modulation for all the subcarriers, based on the subcarriers with worst channel conditions, will waste the resources of many subcarriers with favorable channel conditions. On the other hand, when the number of subbands is large, few subcarriers are grouped to create a subband, which degrades the throughput because of the increasing amount of unused fractions of subbands at the end of time frames. In other words, when the number of subbands increases, the number of subbands that are not fully utilized at the end of time frames increases, which degrades the throughput performance.
Figure 9 shows the Jain’s fairness index at different number of subbands. We notice that the number of subbands does not affect the fairness of the system, as all users suffer from the same degradation of subbands utilization. Thus, the chance of accessing the resources will be affected equally for all users in the system, which keeps the fairness performance the same, regardless of the number of subbands.
Figure 10 shows the packet delay versus traffic load for the proposed scheduling algorithm, for equals 5000, 3000, and 1000. It is evident that as the traffic load increases, the competition between users becomes harder, which causes more packets to wait longer time in the users queues. Also, we notice that when increases, the packet delay increases. This can be explained as follows. When increases, the scheduler tries to maximize the system throughput by forcing greedy treatment among users by allocating most of the resources to a few of users who have favorable channel conditions. That behavior blocks more packets for requesting users, which increases the average packet delay in the system.
Figure 11 shows the packet delay versus traffic load for the proposed scheduling algorithm (PF with OFDMA), analytically and by simulation, and the packet delay for the PF with OFDM, where the observation window equals 5000. As we notice, the analytical curve agrees very well with the simulation curve. Also, we notice a slight improvement of the proposed scheduling algorithm over the PF with OFDM. We notice that on high traffic load (650 Mbps) our proposed scheduling algorithm mean packet delay equals 3.75 seconds while the mean packet delay of PF with OFDM equals 3.45 seconds.
It is noteworthy that there is a small difference between the analytical and simulation results. This result difference can be explained because of the approximations that have been introduced while deriving the analytical model. Such approximations simplify the model at the cost of minor result deviations.
6. Conclusion
In this work, the PF scheduling is investigated for OFDMA wireless systems. The main contribution of this work is the analytical evaluation of the performance of PF scheduling algorithm in OFDMA systems. We derive approximate closed-form expressions for the average throughput, Jain’s fairness index, and packet delay as the performance metrics. The algorithm performance is investigated for a broad range of the traffic load and number of subbands. We compare the performance of the proposed algorithm (PF with OFDMA) with that of PF with OFDM. In addition, we verify the correctness and accuracy of the analytical solution through simulations. Analytical and simulation results are in good agreement, which validates our analytical performance analysis. In future work, we plan to extend the analysis to the case of different probabilities of the non-empty buffer for different users. We will also consider other fading distributions, such as the Rician distribution.
Acknowledgments
The authors are grateful to the anonymous reviewers and the editor for their constructive comments that improved the quality of the paper. This work has been supported by the NSERC Discovery Grant Program.