Energy-Efficient Packet Scheduling with Finite Blocklength Codes: Convexity Analysis and Efficient Algorithms
This paper considers an energy-efficient packet scheduling problem over quasi-static block fading channels. The goal is to minimize the total energy for transmitting a sequence of data packets under the first-in-first-out rule and strict delay constraints. Conventionally, such design problem is studied under the assumption that the packet transmission rate can be characterized by the classical Shannon capacity formula, which, however, may provide inaccurate energy consumption estimation, especially when the code blocklength is finite. In this paper, we formulate a new energy-efficient packet scheduling problem by adopting a recently developed channel capacity formula for finite blocklength codes. The newly formulated problem is fundamentally more challenging to solve than the traditional one because the transmission energy function under the new channel capacity formula neither can be expressed in closed form nor possesses desirable monotonicity and convexity in general. We analyze conditions on the code blocklength for which the transmission energy function is monotonic and convex. Based on these properties, we develop efficient offline packet scheduling algorithms as well as a rolling-window based online algorithm for real-time packet scheduling. Simulation results demonstrate not only the efficacy of the proposed algorithms but also the fact that the traditional design using the Shannon capacity formula can considerably underestimate the transmission energy for reliable communications.
One of the most urgent tasks in constructing the future 5G communication network is to mitigate the energy consumption despite greatly increased demands for data transmission rate . This calls for advanced packet scheduling designs that not only account for the quality of services (e.g., delay constraints and packet error probabilities) but also minimize the transmission energy expenditure for green communications. Energy-efficient packet scheduling problems have been extensively studied in the literature; see, e.g., [3, 4, 5, 6, 7]. In particular, work  has studied the energy-efficient packet scheduling problem in additive white Gaussian noise (AWGN) channels by assuming that all packets have a common deadline. Work  extends  to the setting where the packets have individual delay constraints and follow the first-in-first-out (FIFO) rule. While [3, 4] have focused on optimizing the optimal packet blocklength, works [6, 7, 5] aimed at finding the optimal packet transmission rates for minimizing the total transmission energy. Notably, works [6, 7, 5] have considered quasi-static block fading channels instead of AWGN channels.
An assumption that is commonly made in the aforementioned works [3, 4, 5, 6, 7] is that the transmission power and rate obey the classical Shannon capacity formula, which, however, is valid only when the channel code has an extremely long length . Unfortunately, the future 5G system is expected to support a wide range of services for emerging applications, such as metering and traffic safety , where the packet blocklength is short and sometimes under stringent delay and reliability constraints . This implies that the long code required by the Shannon capacity formula may become prohibitive, and thus previous designs in [3, 4, 5, 6, 7] do not fit these 5G applications. Therefore, it is paramount to investigate energy-efficient packet scheduling problems for finite blocklength codes. In fact, recent studies in information theory  have also revealed the fact that the Shannon capacity may yield inaccurate engineering insights into the system design once the code blocklength is constrained. In view of this, a new channel capacity formula for the finite blocklength codes has been developed in , which predicts the rate performance of short packet transmission more accurately than the Shannon capacity formula . Note that this new capacity formula has recently been considered in [12, 13, 14, 15, 16, 17, 18] for network performance analysis, though the results therein cannot be used for packet scheduling designs.
In this paper, we study the energy-efficient packet scheduling problem using the new capacity formula for the finite blocklength codes in . Specifically, we consider a scenario where a scheduler wants to transmit a sequence of packets using a minimal transmission energy subject to FIFO and strict delay constraints over quasi-static block fading channels. In [3, 4, 5, 6, 7], the packet scheduling algorithms are developed under the assumption that the transmission energy is a monotonic and convex function of the blocklength (or rates in [5, 6, 7]). Such desirable properties naturally hold true when the traditional Shannon capacity formula is adopted. However, when the new capacity formula for the finite blocklength codes is considered, the packet scheduling problem is fundamentally more challenging. First, the monotonicity and convexity of the transmission energy function may no longer hold in the finite blocklength regime. Second, due to the complex structure of the new channel capacity formula, the transmission energy function does not even have an explicit expression. This implies that the packet scheduling problem cannot be directly solved by off-the-self solvers even if it is a convex optimization problem. To the best of our knowledge, the current paper is the first to investigate the energy-efficient packet scheduling problem for finite blocklength codes. The main contributions of this paper are summarized as follows.
We formulate the energy-efficient packet scheduling problem for finite blocklength codes over quasi-static block fading channels. Specifically, we consider the finite-blocklength channel capacity formula in  and propose to jointly optimize the packet transmission power and code blocklength to minimize the total transmission energy subject to strict delay constraints. By applying the implicit function theorem , we analytically show that the energy function under the finite blocklength codes can still preserve the monotonicity and convexity under mild conditions on the code blocklength.
Two offline packet scheduling algorithms are proposed to solve the considered packet scheduling problem. When the packet scheduling problem is a (strictly) convex problem, we show that the multi-level water filling (MLWF) algorithm in  can be modified to solve the considered packet scheduling problem. In particular, the analyzed monotonicity and convexity of the energy function can be utilized to implement the MLWF algorithm without the need of knowing explicit expression of the energy function. For the general case where the objective function may not be convex, we modify the successive upper-bound minimization (SUM) method in  to handle the considered packet scheduling problem in the absence of explicit expression of the energy function. Inspired by the proposed offline scheduling algorithms, we further develop an online algorithm for real-time packet scheduling.
Numerical simulations are conducted to demonstrate the importance of the newly formulated packet scheduling problem and the performance advantage of the proposed algorithms. Simulation results show that the transmission energy required by the finite-blocklength packet scheduling problem is higher than that using the traditional Shannon capacity formula, which illustrates the fact that the latter may considerately underestimate the required transmission energy for reliable communications. Specifically, based on our numerical results, the traditional design underestimates about 10 transmission energy for achieving packet error probability.
Synopsis: Section II describes the system model and the finite blocklength packet scheduling problem. In Section III, the monotonicity and convexity properties of the transmission energy function are analyzed. Two offline and one online packet scheduling algorithms are proposed in Section IV. Simulation results and conclusions are given in Sections V and VI, respectively.
Ii System Model and Problem Formulation
Ii-a System Model and Finite Blocklength Codes
We consider a packet scheduling problem where a transmitter schedules the transmission of a sequence of data packets. We assume long or medium range communications, where the energy consumption is mainly contributed by data transmission and the circuit power consumption is negligible . The purpose is to minimize the expenditure of total transmission energy while satisfying the transmission deadline constraints imposed on the packets. We assume that each packet , which contains data bits, arrives at time and has to be completely delivered before time (see Fig. 1). It is assumed that the scheduler obeys the FIFO rule [3, 4], i.e., and for all . Without loss of generality, we set and , and assume for . The latter assumption implies that these packets belong to a “scheduling interval”, otherwise the scheduling problem can be decomposed into multiple independent scheduling problems. For example, if it happens that for some , then the task of scheduling packets boils down to two independent problems, one for scheduling packet to packet and the other for scheduling the remaining packets.
To deliver the packets, the scheduler encodes the data bits of each packet into a codeword block (data payload of a packet) with a length of symbols, and transmits the codeword with a power . Note that rather than transmitting independent modulated symbols, each symbol in the codeword may depend on all data bits and correlate with other symbols in the same block. We assume that some capacity-approaching coding strategy is used (e.g. low-density parity-check (LDPC) codes in ). In the existing packet scheduling designs such as those in [3, 4, 5, 6, 7], it is assumed that the transmitted codeword can be successfully decoded by the receiver if , and satisfy the Shannon channel capacity formula, i.e.,
where and is a complex channel coefficient during transmitting packet . In (1), the noise power is assumed to be one. It is important to note that, according to the Shannon’s channel coding theorem , (1) is valid only when the block length approaches infinity [8, 12]. Obviously, under the deadline constraint, block length must be finite and satisfies . This implies that for delay-constrained applications, the existing designs [3, 4, 5, 6, 7] that use (1) may fail to predict the true system performance.
Targeting at solving the aforementioned inaccuracy issue, the work  has generalized the Shannon capacity to the finite blocklength regime. It shows that, given a packet error probability , a transmission power and a block length , the achievable data rate is given by
where is the Gaussian -function and denotes the inverse function of . The approximation in (2) is made by assuming that is no smaller than a threshold so that the term becomes negligible. Notably, according to , (2) is valid even when the threshold is as small as . This is strongly contrast to the traditional Shannon capacity in (1) which is approximately true only if . Therefore, (2) is particularly suitable for the packet scheduling problems with finite-blocklength codes. However, this new formula, which is adopted in our work, is much more complicated than the Shannon capacity formula, as explained shortly.
It is worthwhile to notice that the new formula (2) reduces to (1) if one sets in (2), i.e., . In other words, any scheduling solutions and obtained based on (1) correspond to a packet error probability of in (2). Therefore, the conventional designs in [3, 4, 5, 6, 7] using (1) actually cannot guarantee reliable performance for finite-blocklength packet transmission. In the next subsection, we use (2) to formulate an energy-efficient packet scheduling problem.
Ii-B Packet Scheduling Problem with Finite Blocklength Codes
In this subsection, we formulate an offline packet scheduling problem by assuming that the packet arrival times , deadlines and channel coefficients are known a priori. The importance of studying the offline scheduling problem is twofold. First, offline solutions serve as performance lower bounds for an online algorithm. Second, offline solutions usually provide useful insights into the development of efficient online algorithms. To formulate the problem, let us make the following assumption.
(No-idling assumption) The scheduler starts to transmit each packet right after the transmission of packet is complete, for .
The no-idling assumption is intuitively justified as there is no benefit to delay the transmissions of packets, especially when the packets are subject to deadline constraints. Mathematically, the no-idling assumption is automatically satisfied if the transmission energy is a decreasing function of the blocklength and the scheduler targets at minimizing the transmission energy. As we will show shortly, this property is indeed true under some mild conditions on the packet blocklength . Note that, under the no-idling assumption, the accumulated blocklength represents the end time of the transmission of packet as well as the start time of the transmission of packet .
We define the transmission energy of packet as . Under the FIFO rule and the no-idling assumption, we formulate the energy-efficient packet scheduling problem as follows
is a continuously differentiable function.
Problem (3) aims to optimize the transmission power and blocklength , in order to minimize the total transmission energy subject to the finite blocklength channel capacity formula (3b) and some scheduling constraints (3c)-(3f). Among the scheduling constraints, (3c) is the minimum blocklength constraint for (3b) holding true. The constraints (3d) and (3e) are known as the causality constraint and deadline constraint, respectively [3, 4]. Specifically, for each packet , (3d) indicates that the packet cannot be transmitted before its arrival time, while (3e) suggests that the transmission should be completely finished before its deadline. Notice that (3d) and (3e) ensure111For each , we have . Thus, . for all . Equation (3f) indicates the maximum transmission power constraint.
We can see that is a function of only, thus in the sequel we use instead for brevity.
and the energy function is given by
It can be shown that in (6) is a monotonically decreasing function of , and thus (5e) is equivalent to an explicit lower-bound constraint . In addition, one can verify that in (7) is a monotonically decreasing and convex function of . Therefore, under the Shannon capacity formula, Assumption 1 is automatically satisfied. Moreover, problem (5) is a convex optimization problem, which is efficiently solvable by off-the-shelf convex solvers (e.g., CVX ).
Unfortunately, such monotonicity and convexity are no longer guaranteed when the finite-blocklength capacity formula (2) is considered. In fact, one even cannot obtain an explicit expression for the functions and under (2). This implies that problem (5) for the finite-blocklength case imposes a much greater challenge than the existing works in . To solve the problem, in the next section, we propose to characterize analytic conditions under which preserves desirable monotonicity and convexity. Later in Section IV, we further present two efficient optimization algorithms for handling problem (5).
Iii Monotonicity and Convexity of
As one of the key results, the following proposition states the conditions for which and are monotonically decreasing.
Proposition 1 has two significant aspects. First, according to the monotonic property of in Proposition 1(a), one can reformulate the implicit constraint (5e) as an explicit one. Specifically, by Proposition 1(a), (5e) is equivalent to bounding from the bottom, i.e., , where . From (3b), one can show that has a closed form as
Given , the energy function under (2) is a strictly convex function of blocklength for
Proof: See Appendix B.
Theorem 1 implies that problem (11) is a convex optimization problem if . It will be seen in the next section that problem (11) can be globally solved by a low complexity algorithm as long as it is a (strictly) convex problem. In the general case for which problem (11) may not be convex, we also present an efficient approximation algorithm. Before ending this section, we have two remarks regarding , and .
It is worthwhile to note that the upper bounds and characterized by the function in (9) are independent of the channel gain . Moreover, the upper bounds and are arguably large enough, and in general do not have an impact on the solutions to problem (11). To see this, we numerically draw the curves of and with respect to in Fig. 2 and with respect to in Fig. 2, respectively. One can see from the two figures that the gaps between and and are fairly large (e.g., for and , we have and ). This implies that, for the scenarios with small values of for all , the constraint (11e) is automatically satisfied and problem (11) is a convex optimization problem.
The condition of in Theorem 1 is minor. Specifically, one can readily show that is equivalent to . For , the condition can be satisfied whenever , which is true in practical scenarios.
Iv Offline and Online Scheduling Algorithms
In the previous section, we have shown that the transmission energy function using finite blocklength codes in (11a) can still preserve the monotonicity and convexity under mild conditions on the code blocklength. In this section, we first present a feasibility condition of problem (11). Then, we respectively propose two efficient offline algorithms for solving problem (11) in Section IV-B and IV-C. Finally, an online algorithm is proposed in Section IV-D.
Iv-a Feasibility Condition
Due to the deadline constraint, problem (11) may not have a feasible solution. In that case, the mechanism of admission control may be adopted, which however is beyond the scope of the current paper. Here we present a sufficient condition for which problem (11) is feasible.
Suppose that the packet arrival times and deadlines satisfy
Then problem (11) has a feasible solution.
Proof: We show that , , is a feasible solution to problem (11) given (14). First, since for all from the “same scheduling interval” assumption in Section II-A, (14a) and (14b) respectively imply that satisfies (11d) and (11e). Second, note that . So, satisfies the constraint (11b) with equality and also satisfies the constraint (11c).
By assuming that problem (11) is feasible (e.g., the feasibility condition (14) holds), we next study efficient algorithms for solving problem (11). We remark that solving (11) is challenging due to the following two reasons. First, problem (11) is in general not convex without adding the additional constraints from Theorem 1. Second, even under conditions for which problem (11) is convex, standard optimization tools (such as CVX ) cannot be employed to solve problem (11) since the energy function does not have an explicit, close-form expression. In the next two subsections, we respectively present two efficient offline algorithms for overcoming these difficulties.
Iv-B Multi-level Watering-Filling Algorithm for Convex Packet Scheduling
In this subsection, we assume that problem (11) is a (strictly) convex optimization problem. For example, this can be guaranteed if the constraint is imposed, i.e., (11e) is replaced with . As aforementioned, standard convex solvers cannot be used for solving problem (11). Fortunately, the multi-level water-filling (MLWF) algorithm proposed in  can be modified to solving problem (11) without the need of explicit expressions of . Note that in  the MLWF algorithm was proposed to solve a rate-controlled packet scheduling problem assuming a strictly convex energy function. While  has considered a different system setup, the optimization problem studied therein happens to have a similar form as problem (11) and thereby the MLWF algorithm can be modified to solve problem (11).
To briefly illustrate how to apply the MLWF algorithm for problem (11), let us denote as the optimal solution to problem (11), and denote and as the optimal Lagrange multipliers associated with the constraint (11b) and (11c), respectively. Then, satisfy the following Karush-Kuhn-Tucker (KKT) optimality conditions  of problem (11):
where , ,
and is the the inverse function of (the gradient of ). Clearly, once the “water levels” , are obtained, the optimal packet length can be evaluated through (15). It is shown in  that, by carefully exploiting the structure of problem (11), , can be determined by a low-complexity search algorithm. Due to the space limit, we refer the readers to [7, Section III] for the details.
However, we emphasize here that, to implement the MLWF algorithm, one must be able to evaluate the function value of in (15). This task is non-trivial for our problem (11). When the Shannon capacity formula in (1) is used, it can be shown that has a closed form , where is the Lambert W function and is the Euler’s number. However, when the finite blocklength channel capacity in (2) is used, no longer has a close-form expression. Fortunately, based on the monotonicity of and as proved in Proposition 1 and Theorem 1, we are able to evaluate via bisection search. Note that is monotonically increasing as is monotonically increasing when is strictly convex. Specifically, we present the bisection algorithm for evaluating in Algorithm 1. In Step 4, we can evaluate for a given by the following formula
where the second equality is obtained by applying the implicit function theorem  to (see (3b)). Explicit expressions of and are given in (25a) and (26a) in Appendix A, respectively. As seen, it remains to calculate . This again can be achieved by bisection search based on the monotonicity of , as we show in Algorithm 2.
The computational complexity of the MLWF algorithm is given as follows. By , given a total number of packets, the MLWF algorithm requires rounds of search to attain the global optimal solution. In each round of the MLWF algorithm, one needs to evaluate the function values of , by Algorithm 1, and in each iteration of Algorithm 1 one has to run Algorithm 2 for obtaining . Algorithm 1 is a bisection search method which is known to have a complexity order ; similarly, the complexity order of Algorithm 2 is . Thus, the MLWF algorithm has a total complexity of .
Iv-C Non-Convex Packet Scheduling Based on Successive Upper-bound Minimization
In the absence of constraints , , problem (11) in general is not a convex problem. In that case, we propose to solve problem (11) by the successive upper-bound minimization (SUM) method . Specifically, the SUM method for solving problem (11) involves solving a sequence of the following subproblems: for iterations
is a proximal first-order approximation of around and is a penalty parameter; see Algorithm 3.
The SUM method has several advantages. Firstly, the quadratic objective function can be explicitly computed since and can be respectively evaluated by Algorithm 2 and (19). This method therefore avoids handling problem (11) directly where has no closed-form expression. Secondly, the objective function is strictly convex with respect to , and therefore the standard convex solvers or even the MLWF algorithm in the previous subsection can be used to solve problem (20) efficiently. Finally, in contrast to the MLWF algorithm which relies on the specific problem structure of (11), the SUM method is more flexible in the sense that it can be extended to handle more complex scheduling constraints.
According to , when is Lipschitz continuous and for a large enough , Algorithm 3 is guaranteed to converge to the set of stationary points of problem (11). Moreover, if problem (11) is convex, Algorithm 3 converges to the global optimal solution set. According to , the iteration number of Algorithm 3 is , where is the desired solution accuracy. When the MLWF algorithm is used to solve the subproblem (20) (which requires a complexity of ), Algorithm 3 has a complexity of .
Iv-D Rolling-Window Based Online Scheduling Algorithm
In the previous two subsections, offline scheduling algorithms are developed by assuming that the scheduler has full knowledge of the arrival times and deadlines of all the packets. However, in practical situations, only the information of arrived packets are known and an online algorithm that can perform real-time scheduling is desired. In this subsection, we present a rolling-window based online scheduling algorithm for such a purpose.
The idea of the proposed online algorithm is to always schedule the most urgent packet at the current time for transmission, while taking into account the scheduling constraints of the packets that have arrived at and before the current time. To illustrate this online strategy, let us consider the example in Fig. 3. As shown in Fig. 3(a), suppose that, at current time , the packet , packet and packet have arrived but not been scheduled yet. Then, the scheduler considers a scheduling window from the current time to . Note that, given the arrived packets, this is the longest scheduling window one can choose at current time. An obvious advantage of this strategy is that the deadline information of all arrived packets can be taken into account in the optimization which avoids myopic scheduling solutions.
Specifically, the scheduler sets the arrival times of the three packets to zero, and sets their deadlines to , and , respectively. Then, the scheduler applies the offline scheduling algorithm (e.g., the proposed algorithms in Section IV-B and IV-C) to the scheduling window222Similar to , in the online case, the future channel coefficients are assumed known or can be estimated through channel prediction methods such as Kalman filtering . and obtains the optimal packet lengths and , respectively. The scheduler, however, discards and and applies to the transmission of packet only. At time , when the transmission of packet finishes, the scheduler then repeats the optimization by moving the window forward which contains all the arrived and unscheduled packets (e.g., packets and shown in Fig. 3(b)). Note that the complexity of the online algorithm depends on the offline algorithm used and the number of packets appearing in each scheduling window. We will show in the next section that the proposed online scheduling algorithm outperforms some myopic strategies.
V Simulation Results
V-a Simulation Setup
In the simulations, we assume that the packets contain equal size of bits. The block fading channel follows Rayleigh distribution with a scale parameter . The packet error probabilities for all packets are set the same, i.e., . The maximum transmission power is set to dBW. Note that in the considered energy-efficient problem, the maximum power may not always be used up, i.e., The transmission energy of each packet is , where the symbol duration is set to s following the LTE standard .
The packet arrival interval is generated according to a truncated exponential distribution with mean in the time window . Similarly, the lifetime of packet follows a truncated exponential distribution with mean in the time window . In general, a smaller value of indicates a smaller packet arrival interval while a smaller value of implies a more stringent delay constraint for scheduling. One can check that if , then the FIFO rule (i.e., ) and the scheduling interval assumption (i.e., ) are both satisfied. Moreover, if , then , that is, problem (11) must be a strictly convex problem. All the simulation results to be presented are obtained by averaging over independent channel realizations and independent packet generations per channel realization.
V-B Energy Underestimation due to Shannon Capacity Formula
Let us first examine the scheduling performance of problem (11). The MLWF algorithm discussed in Section IV-B is used to solve problem (11). Fig. 4 displays the average transmission energy versus packet error probability , under different values of packet lifetime parameters . The controlling parameter for packet arrival interval is set to six. As discussed in Section II-A, the traditional design based on the Shannon capacity formula corresponds to problem (11) with packet error probability. From curves in Fig. 4, we can see that the traditional design based on the Shannon capacity formula suffers significant energy underestimation. For example, from the curve with , the average transmission energy of the considered problem (11) is Joule for , whereas the transmission energy obtained by the traditional design () is Joule. Thus, the traditional design underestimates a total -Joule transmission energy (about 10) for achieving packet error probability. Indeed, from Fig. 4, energy underestimation always exists for and the amount of underestimated energy increases when the packet error probability decreases. We can also observe from Fig. 4 that a larger value of results in less transmission energy consumption. This is because larger implies less stringent delay constraint and a longer code blocklength is allowed according to our simulation setup. By the fact that the energy function is decreasing with the blocklength (see Proposition 1), less energy is consumed for larger value of .
To emphasize the energy underestimation issue due to the Shannon capacity formula, we further show in Fig. 4 the amount of underestimated energy in Fig. 4 versus the packet error probability. One can observe that the energy underestimated by the traditional design using Shannon capacity formula could be significant, especially when the desired packet error probability is small and the delay constraint is stringent (small ). Specifically, for , and , the amount of underestimated energy can respectively be up to , and of the predicted energy from problem (11) using new capacity formula. These simulation results not only confirm the intuition that energy consumption is increasing with lower latency and higher communication reliability, but also well demonstrate the necessity of the finite-blocklength channel capacity for energy-efficient packet scheduling.
Fig. 5 and Fig. 5 respectively show the average transmission energy and the corresponding underestimated energy versus packet error probability , under different values of for controlling the packet arrival interval. It can be seen from Fig. 5 that a shorter packet arrival interval results in more energy consumption. This is because shorter packet arrival intervals enforces shorter code blocklength, and more energy will be consumed by the decreasing property of the energy function. Due to the same reason, a smaller value of results in more serious energy underestimation as shown in Fig. 5.
V-C Performance Comparison of Online and Offline Algorithms
Here we compare the performance of the proposed two offline algorithms and the online algorithm. As a benchmark, a myopic online scheme is also considered. In this myopic scheme, whenever a data packet is ready to transmit, the scheduler always encodes the packet with a maximum blocklength which is equal to the difference between the current time and the packet deadline. We set , , and . Under this setting, the energy function is strictly convex. Therefore, both the MLWF algorithm and SUM method can be employed to solve this convex problem and obtain the optimal solution. In the SUM method, we used the MLWF algorithm to handle the subproblem (20). We assume that there are three packets arrived before time 0.
Fig. 6 presents the average transmission energies of different scheduling algorithms under consideration. As seen from the figure, the two proposed offline scheduling algorithms attain the same average energy consumption and perform better than the other two online algorithms. This is because the offline algorithms are under the ideal assumptions that global knowledge of the packet arrivals is completely available. Without global knowledge, one can see that the proposed online algorithm still performs much better than the myopic algorithm. The reason is that the proposed online algorithm always chooses a longest possible scheduling window to fully utilize the deadline information of all arrived packets. Finally, as observed from the figure without surprise, the average energy consumption decreases when the channel gain increases.
In this paper, we have investigated the energy-efficient packet scheduling problem by considering the new finite-blocklength channel capacity formula. While the newly formulated scheduling problem is inherently more complicated than the traditional designs that use the Shannon capacity formula, we have analytically shown that the packet transmission energy is a monotonically decreasing and convex function of the code blocklength as long as the code blocklength is properly upper bounded. These appealing properties are therefore automatically valid for scenarios where the packets are subject to short delay constraints. To solve the packet scheduling problem efficiently, we have also presented the MLWF algorithm and the SUM algorithm for offline packet scheduling as well as a rolling-window based online algorithm for real-time packet scheduling. The presented simulation results have shown that, in comparison with the proposed finite-blocklength packet scheduling design, the traditional design using the Shannon capacity formula can considerably underestimate the required transmission energy for reliable communications. We have also shown that the proposed online algorithm substantially outperforms the myopic scheduling schemes.
In the current work, we have assumed long or medium-range wireless communications where the energy consumption is mainly contributed by the data transmission power and the circuit power due to signal processing is negligible. However, for other scenarios (such as low-range wireless communications), the circuit power may have to be taken into account in the packet scheduling design; see [28, 32]. Generalization of the current work to that with circuit power consumption would be an interesting direction for future research.
Appendix A Proof of Proposition 1
For notational simplicity, we remove the subindex of all variables and let . Moreover, we write if (i.e., and have the same sign). From (3b), we also define
where the inequality holds when , i.e., . Secondly, according to the implicit function theorem , we have
Based on (22), it can be readily shown that
Thus, we can conclude that for any given , and , we always have from (24), (25b) and (26d). That is equivalently to say, if (3b) holds true with , then is always decreasing with , which completes this proof.
Proof of Proposition 1(b): To prove the monotonicity of the energy function , we have the derivative of as