Energy-Efficient Resource Allocation for Multi-User Mobile Edge Computing

Similar documents
Optimal Resource Allocation for Multi-User MEC with Arbitrary Task Arrival Times and Deadlines

Energy-Efficient Resource Allocation for Cache-Assisted Mobile Edge Computing

THE rapid developments of Internet-of-things (IoT) and

Distributed Joint Offloading Decision and Resource Allocation for Multi-User Mobile Edge Computing: A Game Theory Approach

Optimal Offloading and Resource Allocation in Mobile-Edge Computing with Inter-user Task Dependency

Computation Offloading Strategy Optimization with Multiple Heterogeneous Servers in Mobile Edge Computing

Spectral and Energy Efficient Wireless Powered IoT Networks: NOMA or TDMA?

Traversing Virtual Network Functions from the Edge to the Core: An End-to-End Performance Analysis

arxiv: v1 [cs.it] 20 Sep 2016

EMM: Energy-Aware Mobility Management for Mobile Edge Computing in Ultra Dense Networks

Joint and Competitive Caching Designs in Large-Scale Multi-Tier Wireless Multicasting Networks

BS-assisted Task Offloading for D2D Networks with Presence of User Mobility

Privacy-Aware Offloading in Mobile-Edge Computing

EP2200 Course Project 2017 Project II - Mobile Computation Offloading

Exploiting Non-Causal CPU-State Information for Energy-Efficient Mobile Cooperative Computing

Analysis and Optimization of Caching and Multicasting for Multi-Quality Videos in Large-Scale Wireless Networks

Transmission Schemes for Lifetime Maximization in Wireless Sensor Networks: Uncorrelated Source Observations

Delay-Optimal Computation Task Scheduling for Mobile-Edge Computing Systems

Morning Session Capacity-based Power Control. Department of Electrical and Computer Engineering University of Maryland

Computation Rate Maximization for Wireless Powered Mobile-Edge Computing with Binary Computation Offloading

Capacity and Scheduling in Small-Cell HetNets

Average Throughput Analysis of Downlink Cellular Networks with Multi-Antenna Base Stations

TRANSMISSION STRATEGIES FOR SINGLE-DESTINATION WIRELESS NETWORKS

PERFORMANCE COMPARISON OF DATA-SHARING AND COMPRESSION STRATEGIES FOR CLOUD RADIO ACCESS NETWORKS. Pratik Patil, Binbin Dai, and Wei Yu

A polynomial-time approximation scheme for the two-machine flow shop scheduling problem with an availability constraint

Energy-Efficient Resource Allocation for

Short-Packet Communications in Non-Orthogonal Multiple Access Systems

Energy Harvesting Multiple Access Channel with Peak Temperature Constraints

Optimal Power Allocation for Cognitive Radio under Primary User s Outage Loss Constraint

Application of Optimization Methods and Edge AI

Massive MIMO for Maximum Spectral Efficiency Mérouane Debbah

Role of Large Scale Channel Information on Predictive Resource Allocation

Power Allocation over Two Identical Gilbert-Elliott Channels

Pilot Optimization and Channel Estimation for Multiuser Massive MIMO Systems

Online Scheduling for Energy Harvesting Broadcast Channels with Finite Battery

Optimal Power Allocation With Statistical QoS Provisioning for D2D and Cellular Communications Over Underlaying Wireless Networks

A New SLNR-based Linear Precoding for. Downlink Multi-User Multi-Stream MIMO Systems

Call Completion Probability in Heterogeneous Networks with Energy Harvesting Base Stations

Performance Analysis of a Threshold-Based Relay Selection Algorithm in Wireless Networks

NOMA: An Information Theoretic Perspective

Optimal Power Control in Decentralized Gaussian Multiple Access Channels

A POMDP Framework for Cognitive MAC Based on Primary Feedback Exploitation

Game Theoretic Approach to Power Control in Cellular CDMA

Wireless Networks for Mobile Edge Computing: Spatial Modeling and Latency Analysis

Throughput Maximization for Delay-Sensitive Random Access Communication

2312 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 15, NO. 3, MARCH 2016

Optimal Sleeping Mechanism for Multiple Servers with MMPP-Based Bursty Traffic Arrival

Task Offloading in Heterogeneous Mobile Cloud Computing: Modeling, Analysis, and Cloudlet Deployment

Revenue Maximization in a Cloud Federation

Stochastic Content-Centric Multicast Scheduling for Cache-Enabled Heterogeneous Cellular Networks

Dynamic Computation Offloading for Mobile-Edge Computing with Energy Harvesting Devices

Joint and Competitive Caching Designs in Large-Scale Multi-Tier Wireless Multicasting Networks

Energy minimization based Resource Scheduling for Strict Delay Constrained Wireless Communications

Stochastic Control of Computation Offloading to a Helper with a Dynamically Loaded CPU

Resource and Task Scheduling for SWIPT IoT Systems with Renewable Energy Sources

How long before I regain my signal?

Scheduling of Frame-based Embedded Systems with Rechargeable Batteries

4888 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 15, NO. 7, JULY 2016

NOMA: Principles and Recent Results

Energy Cooperation and Traffic Management in Cellular Networks with Renewable Energy

Resource Management and Interference Control in Distributed Multi-Tier and D2D Systems. Ali Ramezani-Kebrya

Lecture 2: Metrics to Evaluate Systems

QUANTIZATION FOR DISTRIBUTED ESTIMATION IN LARGE SCALE SENSOR NETWORKS

Energy-Efficient Admission of Delay-Sensitive Tasks for Mobile Edge Computing

Green Distributed Storage Using Energy Harvesting Nodes

User Selection and Power Allocation for MmWave-NOMA Networks

On Two Class-Constrained Versions of the Multiple Knapsack Problem

certain class of distributions, any SFQ can be expressed as a set of thresholds on the sufficient statistic. For distributions

USING multiple antennas has been shown to increase the

Online Work Maximization under a Peak Temperature Constraint

Mobile Network Energy Efficiency Optimization in MIMO Multi-Cell Systems

Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems

CSI Overhead Reduction with Stochastic Beamforming for Cloud Radio Access Networks

A Demand Response Calculus with Perfect Batteries

Communication constraints and latency in Networked Control Systems

Real-Time Scheduling and Resource Management

Delay QoS Provisioning and Optimal Resource Allocation for Wireless Networks

Distributed power allocation for D2D communications underlaying/overlaying OFDMA cellular networks

Cooperative Spectrum Sensing for Cognitive Radios under Bandwidth Constraints

IN this paper, we show that the scalar Gaussian multiple-access

EDF Feasibility and Hardware Accelerators

Battery-State Dependent Power Control as a Dynamic Game

Estimation of Performance Loss Due to Delay in Channel Feedback in MIMO Systems

User Cooperation in Wireless Powered Communication Networks

How Much Training and Feedback are Needed in MIMO Broadcast Channels?

Computing and Communications 2. Information Theory -Entropy

THE dramatically increased mobile traffic can easily lead

Cell throughput analysis of the Proportional Fair scheduler in the single cell environment

Front Inform Technol Electron Eng

Design of Spectrally Shaped Binary Sequences via Randomized Convex Relaxations

Fundamental Limits on Latency in Small-Cell Caching Systems: An Information-Theoretic Analysis

On the Fundamental Limits of Multi-user Scheduling under Short-term Fairness Constraints

Energy-efficient Mapping of Big Data Workflows under Deadline Constraints

Optimal Voltage Allocation Techniques for Dynamically Variable Voltage Processors

Maximizing Rewards for Real-Time Applications with Energy Constraints

On the Optimality of Myopic Sensing. in Multi-channel Opportunistic Access: the Case of Sensing Multiple Channels

AN EXACT SOLUTION FOR OUTAGE PROBABILITY IN CELLULAR NETWORKS

MICROPROCESSOR REPORT. THE INSIDER S GUIDE TO MICROPROCESSOR HARDWARE

Broadcasting with a Battery Limited Energy Harvesting Rechargeable Transmitter

Outage Probability for Two-Way Solar-Powered Relay Networks with Stochastic Scheduling

Transcription:

Energy-Efficient Resource Allocation for Multi-User Mobile Edge Computing Junfeng Guo, Zhaozhe Song, Ying Cui Department of Electronic Engineering, Shanghai Jiao Tong University, Shanghai, P. R. China arxiv:1611.01786v1 [cs.it] 6 Nov 2016 Abstract To increase mobile batteries lifetime and improve quality of experience for computation-intensive and latencysensitive applications, mobile edge computing has received significant interest. Designing energy-efficient mobile edge computing systems requires joint optimization of communication and computation resources. In this paper, we consider energy-efficient resource allocation for a multi-user mobile edge computing system. First, we establish on two computation-efficient models with negligible and non-negligible base station BS) executing durations, respectively. Then, under each model, we formulate the overall weighted sum energy consumption minimization problem by optimally allocating communication and computation resources. The optimization problem for negligible BS executing duration is convex, and we obtain the optimal solution in closed-form to this problem. The optimization problem for non-negligible BS executing duration is NP-hard in general, and we obtain a suboptimal solution with low-complexity to this problem, by connecting it to a three-stage flow-shop scheduling problem and wisely utilizing Johnson s algorithm. Finally, numerical results show that the proposed solutions outperform some baseline schemes. Index Terms Mobile edge computing, computation offloading, resource allocation, optimization, flow-shop scheduling problem. I. INTRODUCTION With the support of on-device cameras and embedded sensors, new applications with advanced features, e.g., navigation, Augmented Reality, interactive online gaming and multimedia transformation like Speech2Text, have been developed. These applications are both computation-intensive and latencysensitive. Mobile edge computing MEC) is a promising technology providing an IT service environment and cloudcomputing capabilities at the edge of the mobile network, within the Radio Access Network and in close proximity to mobile users to improve quality of experience. In an MEC system, computation tasks of mobile users are uploaded to the base station BS) and executed at the MEC servers. Then, the computation results are transmitted back to the mobiles. With the drastic demands of applications with crucial computation and latency requirements, the finite battery lifetime and limited communication and computation resources pose challenges for designing future energy-efficient MEC systems [1], [2]. Designing of energy-efficient MEC requires the joint allocation of communication and computation resources among distributed mobiles and MEC servers at BSs. Emerging research toward this direction considers optimal resource allocation for various types of MEC systems [3] [7]. For example, [3] and [4] consider single-user MEC systems with one BS and multiple elastic tasks, and study optimal offloading control and resource allocation such as CPU-cycle frequency allocation and power allocation) to minimize the average execution delay of all tasks under power constraints. In [5] and [6], the authors consider single-user MEC systems with one BS and a single inelastic task, and study optimal offloading control and resource allocation to minimize the total energy consumption under a hard deadline constraint. In particular, [5] obtains an optimal threshold-based offloading policy and optimal CPUcycle frequency and power allocation. In [6], optimal CPUcycle frequency allocation and time division between microwave power transfer and offloading are derived. Reference [7] considers a multi-user MEC system with one BS and an inelastic task for each user, and studies optimal task splitting and resource allocation to minimize the weighted sum mobile energy consumption under a hard deadline constraint. It is shown in [7] that the optimal task splitting policy is of a threshold-based structure. Note that all the aforementioned papers have the following limitations. i) All these papers assume that the size of the computation result for each task is negligible, and fail to take account of the resource consumption for downloading the computation results back to mobiles. Thus, the obtained solutions are not suitable for the applications with large-size computation results, such as Augmented Reality, interactive online gaming and multi-media transformation. ii) All these papers assume that BS executing duration is negligible, and hence do not consider the processing order of tasks for offloading and executing. This assumption is not reasonable when multiple users simultaneously offload computation-intensive and latency-sensitive tasks to the same BS for executing. Note that offloading and executing operations can be conducted in parallel, and the processing order and total completion time of tasks greatly affect the energy consumption. In summary, further studies are required to design energy-efficient multiuser MEC systems to ultimately provide satisfactory quality of experience for computation-intensive and latency-sensitive applications. In this paper, we shall address the above issues. We consider energy-efficient resource allocation for a multi-user MEC system with one BS of computing capability and multiple users each with an inelastic task. First, we propose a more practical

task model, specifying each task using three parameters, i.e., size of the task before computation, workload and size of the computation result. We establish on two computationoffloading models with negligible and non-negligible BS executing durations, respectively. Under each model, we formulate the overall weighted sum energy consumption minimization problem by optimally allocating communication and computation resources. The optimization problem for negligible BS executing duration is convex, and we obtain the optimal uploading and downloading duration allocation for each task in closed-form. The optimization problem for non-negligible BS executing duration is NP-hard in general, and we obtain a sub-optimal processing order for all tasks and the optimal uploading and downloading duration allocation for each task under this order, by connecting the problem to a three-stage flow-shop scheduling problem and wisely utilizing Johnson s algorithm. We show that the sub-optimal solution has promising performance and low-complexity. Finally, numerical results show that the proposed solutions outperform some baseline schemes. II. SYSTEM MODEL As illustrated in Fig. 1, we consider a multi-user MEC system consisting of one single-antenna base station BS) and K single-antenna mobiles, denoted by set K {1,2,...,K}. The BS has powerful computing capability by running IT based servers of a constant CPU-cycle frequency in number of CPUcycles per second) at the network edge. Each mobile has a computation-intensive and latency-sensitive computation) task, which is offloaded to the BS for executing. 1 a) Multi-user MEC system. Fig. 1: System model. b) Three operations. We first propose a more practical computation task model. The computation task at mobile k K, referred to as task k, is characterized by three parameters, i.e., the size of the task before computation L u,k > 0 in bits), workload N k > 0 in number of CPU-cycles), and the size of the computation result 1 We assume that all tasks have to be executed at the BS due to crucial computation and latency requirements. The optimization results obtained in this paper can be used to study optimal offloading control to determine the sets of tasks executed locally and offloaded to the BS for executing) by considering a discrete optimization problem. This is beyond the scope of this paper L d,k > 0 in bits). The computation of each task k has to be accomplished within T seconds. Remark 1 Task Model): Note that this computation task model generalizes those in [3] [7] in the sense that the size of the computation result is taken into consideration. Offloading task k to the BS for executing comprises three sequential operations: 1) uploading task k of L u,k bits from mobile k to the BS; 2) executing task k at the BS which requires N k BS CPU-cycles); 3) downloading the computation result of L d,k bits from the BS to mobile k. Let t u,k 0, t e,k 0 and t d,k 0 denote the uploading, executing and downloading durations in the three operations, respectively. Let F > 0 denote the fixed CPU-cycle frequency at the BS. The BS executing duration in seconds) is given by: t e,k = N k F. 1) Since F is usually large, t e,k is small. In the following, we first consider a computation-offloading model with negligible BS executing duration i.e., t e,k 0). In Section IV, we will consider a computation-offloading model with non-negligible BS executing duration. We consider Time Division Multiple Access TDMA) with Time-Division Duplexing TDD) operation. The processing order of K tasks does not matter when the BS executing duration is negligible, since the total completion time is always the sum of the uploading and downloading durations for all tasks. Thus, the uploading and downloading duration allocation satisfies: 0 t u,k T, k K, 2) 0 t d,k T, k K, 3) t u,k +t d,k ) T. 4) k K Similar to [7] and [8], we consider low CPU voltage at the BS, and model the energy consumption for BS executing as follows. 2 At the BS, the amount of energy consumption for computation in a single CPU-cycle with frequency F is µf 2, where µ is a constant factor determined by the switched capacitance at the MEC servers. Then, the energy consumption for executing task k at the BS is given by: E e,k µn k F 2. 5) We now introduce the energy consumption model for task uploading and downloading operations. Let h k denote the channel power gain for mobile k which is assumed to be constant during the T seconds. Let p k denote the transmission power of mobile k for uploading task k. Then, the achievable transmission rate in bit/s) for uploading task k is given by: r k = Blog 2 1+ p k h k 2 n 0 2 ), 6) 2 The circuit power is omitted here for simplicity but can be accounted for by adding a constant [7], [8].

where B and n 0 are the bandwidth in Hz) and the variance of complex white Gaussian channel noise, respectively. On the other hand, the transmission rate for uploading task k is fixed as r k = L u,k /t u,k, since this is the most energyefficient transmission method for transmitting L u,k bits in x t u,k seconds. Define gx) n 0 2 B 1 ). Then, we have Lu,k t u,k ). Thus, the energy consumption at mobile p k = 1 h k g 2 k for uploading task k to the BS is given by: E u,k t u,k ) p k t u,k = t u,k h k 2g t d,k Lu,k t u,k ). 7) Similarly, the energy consumption at the BS for transmitting the computation result of task k to mobile k is given by: E d,k t d,k ) t ) d,k Ld,k h k 2g. 8) Thus, the energy consumption at the BS for executing and transmitting task k is given by: E BS,k t d,k ) = E e,k +E d,k t d,k ). 9) The weighted sum energy consumption for executing task k by offloading to the BS is given by: E k t u,k,t d,k ) = E u,k t u,k )+βe BS,k t d,k ), 10) where β 0 is the corresponding weight factor. Therefore, the overall weighted sum energy consumption for executing the K tasks by offloading to the BS is given by: Et u,t d ) = k KE k t u,k,t d,k ), 11) where t u t u,k ) k K and t d t d,k ) k K. Remark 2 Energy Consumption Model): Note that the computation-offloading model with negligible BS executing duration considered in this paper is a generalization of those in [3] [7] in the sense that task downloading and the corresponding resource consumption are considered. III. MULTI-USER MEC WITH NEGLIGIBLE BS EXECUTING DURATION In this section, we first formulate the energy minimization problem for the multi-user MEC system with negligible BS executing duration. Then, we obtain the optimal solution. A. Problem Formulation We would like to minimize the overall weighted sum energy consumption under the uploading and downloading duration allocation constraints. Specifically, we have the following optimization problem. Problem 1 Negligible BS Executing Duration): E min t u,t d Et u,t d ) s.t. 2), 3), 4). B. Solution We can easily verify that Problem 1 is convex and Slater s condition is satisfied, implying that strong duality holds. Thus, Problem 1 can be solved using KKT conditions. Lemma 1 Solution to Problem 1): The optimal solution t u,t d ) to Problem 1 is given by: t u,k = t d,k = B B L u,k ln2 λ hk W 2 n 0 n 0 e βl d,k ln2 W λ hk 2 n 0 n 0 e ) ) +1 ) ) +1 3, k K, 12) where W ) denotes the Lambert function and λ satisfies: k K L u,k +βl d,k )ln2 ) ) = T. 13) B W λ h k 2 n 0 n 0e +1 Note that, λ in 13) can be easily obtained using the bisection method. Thus, using Lemma 1, we can compute t u,t d ) efficiently. Remark 3 Interpretation of Lemma 1): The optimal solution adapts to the operations and the channel conditions. In particular, for given λ, the uploading and downloading durations of a task increase with the size of the task and the size of the computation result, respectively, and both decrease with the channel power gain. IV. MULTI-USER MEC WITH NON-NEGLIGIBLE BS EXECUTING DURATION In this section, we consider a more practical scenario where the BS executing duration is non-negligible. We first elaborate on the computation-offloading model in this scenario. Then, we formulate the energy minimization problem for the multiuser MEC system with BS executing duration. Finally, we characterize the optimal solution and propose a low-complexity sub-optimal solution with promising performance. A. Computation-Offloading Model with Non-negligible BS Executing Duration In this part, task executing duration at the BS is considered. In addition, note that the execution of one task and the transmission of another task can be conducted at the same time. These make the computation-offloading model with nonnegligible BS executing duration sufficiently different from the one without BS executing duration, as illustrated in Fig. 2a). In the following, we introduce new notations and constraints to specify this model. Let s u,k, s e,k and s d,k denote the starting times for uploading, executing and downloading task k, respectively. Let c u,k, c e,k and c d,k denote the completion times for uploading, executing and downloading task k, respectively. As each of the three operations cannot be interrupted, we first have the

a) Arbitrary processing sequences and starting time. b) Same processing sequence for uploading,executing and downloading operation. c) Completing the uploading operations of all tasks before starting the downloading operation of any task. Fig. 2: Illustration example of three operations of all tasks at the BS, i.e., K = {1,2,3}. For each task, the required duration of each operation is represented by the length of the corresponding rectangle. following constraints: s u,k +t u,k = c u,k s e,k +t e,k = c e,k, k K. 14) s d,k +t d,k = c d,k To ensure that the uploading, executing and downloading operations of task k are conducted sequentially, we require: s u,k 0 s e,k c u,k, k K. 15) s d,k c e,k To ensure that the downloading operation of task k can be completed before deadline T, we have: c d,k T, k K. 16) Based on s u,k, s e,k and s d,k for all k K or c u,k, c e,k and c d,k for all k K), we can obtain three orders sequences) for uploading, executing, and downloading of the K tasks, respectively. Following the proof of Lemma 3 in [9], we can show that the three sequences can be made the same without increasing the total completion time for processing all tasks, as illustrated in Fig. 2b). Thus, without loss of generality, we consider the same sequence for uploading, executing and downloading operations for the K tasks, denoted by S S, where S denotes the set of the K! different permutations of all tasks in K. We let subscript [k] denote the task index at position k in sequence S. From Lemma 1 in [10], we know that, completing the uploading operations of all K tasks before starting the downloading operation of any task will not increase the total completion time, as illustrated in Fig. 2c). To ensure that at any time, there are at most one task under execution and at most one task under transmission, we have the following constraints: s u,[k] c u,[k 1] s e,[k] c e,[k 1], k = 2,3,...,K, 17) s d,[k] c d,[k 1] s d,[1] c u,[k]. 18) The energy consumption model remains the same as that in Section IV. Remark 4 Non-negligible BS Executing Duration): Note that the computation-offloading model further generalizes with non-negligible BS executing duration in Section III in the sense that task offloading and the corresponding resource consumption are considered. Under this model, offloading and executing operations can be conducted in parallel, and the processing order and total completion time of all tasks greatly affect the energy consumption. B. Problem Formulation We would like to minimize the overall weighted sum energy consumption for the multi-user MEC with non-negligible BS executing duration under the uploading and downloading duration allocation constraints. Specifically, we have the following optimization problem. Problem 2 Non-negligible BS Executing Duration): min Et u,t d ) S S,s u,s e,s d,t u,t d s.t. 2), 3), 14), 15), 16), 17), 18), where s u s u,k ) k K, s e s e,k ) k K and s d s d,k ) k K. Problem 2 is a mixed discrete-continuous optimization problem with two main challenges. One is the choice of the operation sequence selection discrete variable), and the other is the choice of the uploading and downloading duration allocation continuous variables). We thus propose an equivalent alternative formulation of Problem 2 which naturally subdivides Problem 2 according to these two aspects. Problem 3 Sequence Selection): Ẽ min Eseq S) S s.t. S S. Let S denote the optimal solution. E seqs) is given by the following sub-problem. Problem 4 Duration Allocation): For any S S, we have Eseq S) min Et u,t d ) s u,s e,s d,t u,t d s.t. 2), 3), 14), 15), 16), 17), 18). 4

C. Solution First, we obtain an optimal solution to Problem 4 for given S S. Problem 4 is a convex optimization problem. The number of variables in Problem 4 is 5K, which is huge for large K. Thus, the complexity for solving Problem 4 is very high when K is large. We would like to reduce the computational complexity. By exploiting structural properties of the constraints in Problem 4, we first obtain the minimum total completion time for all tasks under given S S,t u and t d, denoted by T F S,t u,t d ). Lemma 2 Minimum Total Completion Time): For given S S,t u and t d, the minimum total completion time is given by 19) at the top of the next page). We now introduce another convex optimization problem, by replacing the constraints in Problem 4 with a deadline constraint on the minimum total completion time T F S,t u,t d ) in 19). Problem 5 Equivalent Problem of Problem 4): For any S S, we have E seqs) min t u,t d Et u,t d ) s.t. T F S,t u,t d ) T, 2), 3). Let t us),t d S)) denote the optimal solution. Theorem 1 Relationship Between Problems 4 and 5): Problem 4 and Problem 5 are equivalent. Note that Problem 5 is convex with 2K variables and can be solved more efficiently. Thus, for given S S, we solve Problem 5 instead of Problem 4 to obtain Eseq S). Finally, we can solve Problem 3 by evaluating all possible choices for S S using exhaustive search. D. Solution Note that obtaining an optimal solution to Problem 3 requires solving Problem 5 K! times. The complexity is not acceptable when K is large. In this part, by exploiting more structural properties, we obtain a low-complexity sub-optimal solution to Problem 3. Specifically, we connect Problem 3 to the conventional three-stage flow-shop scheduling problem [9] and solve it by utilizing Johnson s algorithm in [9]. Obtaining the sub-optimal solution to Problem 3 only requires solving Problem 1 once and solving Problem 5 at most once. First, we introduce some background on M-stage flowshop scheduling problems. In an M-stage flow-shop scheduling problem, all tasks have to be processed on M machines following the same machine order. Each task requires certain fixed processing time on a machine. The objective is to find a sequence for processing the tasks on each machine so that a given criterion is optimal. The criterion that is most commonly studied in the literature is the total completion time. When M 3, an M-stage flow-shop scheduling problem is NP-hard in general. WhenM = 3, the three sequences for processing the tasks on the three machines can be set to be the same without losing optimality, and the optimal sequence can be obtained by Johnson s algorithm in a special case [9]. We now connect Problem 3 to a three-stage flow-shop scheduling problem. First, we transform Problem 3 to an equivalent problem. Problem 6 Equivalent Problem of Problem 3): E min t u,t d Et u,t d ) s.t. T F t u,t d ) T, 2), 3), Let t u,t d ) denote the optimal solution. T F t u,t d ) is the optimal value of the following problem. Problem 7 Three-Stage Scheduling Problem): For any t u and t d, we have TF t u,t d ) min T FS,t u,t d ) S S s.t. 14), 15), 16), 17), 18). By treating t u, t e and t d as the processing times for three separate machines i.e., uploading machine, executing machine and downloading machine), Problem 7 can be regarded as a three-stage flow-shop scheduling problem with an additional constraint in 18) i.e., the uploading machine and downloading machine cannot operate at the same time). By relaxing the additional constraint in 18) and using the minimum total completion time without the additional constraint), we can transform Problem 7 into a standard three-stage flow-shop scheduling problem [9]. Problem 8 Three-Stage Flow-Shop Scheduling Problem): For any t u and t d, we have T Ft u,t d ) min T F S,t u,t d ) S S s.t. 14), 15), 16), 17), where the minimum total completion time without the additional constrain) T F S,t u,t d ) is given by 20) at the top of next page) [9]. Let S t u,t d ) denote an optimal solution. It can be easily verified that Problem 8 is a three-stage flowshop scheduling problem. We now establish the relationship between Problem 7 and Problem 8. Lemma 3 Relationship Between Problems 7 and 8): Given t u and t d, an optimal solution S t u,t d ) to Problem 8 is also an optimal solution to Problem 7, i.e., T F t u,t d ) = T F S t u,t d ),t u,t d ). By Lemma 3, instead of solving Problem 7, we can focus on solving Problem 8. Johnson s algorithm [9] can guarantee to find an optimal sequence for a three-stage flow-shop problem in the special case where: min {t u,k} max {t e,k}. 21) k K k K In our case, 21) usually holds, as executing duration for each task at the BS is usually small due to the strong computing 5

T FS,t u,t d ) = max { T FS,t u,t d ) = max 1 i j K max 1 i j K j 6 j j 1 i )) i 1 K K t e,[k] t d,[k] )+ t u,[k] t e,[k], t u,[k] }+ t d,[k]. 19) j 1 t e,[k] t d,[k] )+ i i 1 K t u,[k] t e,[k] ))+ t d,[k]. 20) capability at the MEC servers. Thus, we use Johnson s algorithm to solve Problem 8 approximately. If 21) holds, the obtained solution is optimal; otherwise, it is usually a suboptimal solution with good performance. However, even though we can efficiently solve Problem 7, we cannot find a simple closed-form expression for TF t u,t d ). Thus, it is difficult to solve Problem 6 efficiently. To reduce the complexity for solving Problem 6, we first neglect the BS executing duration of each task, and use Lemma 1 to obtain the optimal uploading and downloading duration allocation with negligible BS execution duration, denoted as t u,t d ), as an approximation of the optimal solution t u,t d ) to Problem 6. Then, under t u,t d ), we solve Problem 8 by Johnson s algorithm to obtain a sub-optimal sequence S t u,t d ). We have the following theorem. Theorem 2 ity of t u,t d )): If T F S t u,t d ),t u,t d ) T, then t u,t d ) is optimal to Problem 6. Note that T F S t u,t d ),t u,t d ) T indicates that the executing operations of all tasks can be conducted within the uploading and downloading durations, and hence do not take extra time. In the worst case, T F S t u,t d ),t u,t d ) just slightly exceeds T, as the BS executing duration of each task is small. Thus, we can infer that S t u,t d ) is close to the optimal sequence S t u, t d ). Under S t u,t d ), we solve Problem 5 to obtain t us t u,t d )),t d S t u,t d ))) as an approximation of t u,t d ). Therefore, t u S t u,t d )),t d S t u,t d ))) serves as a sub-optimal solution to Problem 6. The details for obtaining this sub-optimal solution are summarized in Algorithm 1. Algorithm 1 : Solution to Problem 6 1: Calculate t u,t d by Lemma 1. 2: Treat t u,t e and t d as the processing times on the three machines and use Johnson s algorithm to obtain S t u,t d ). 3: if T FS,t u,t d ) T then 4: t u,t d ) is optimal to Problem 6 5: else 6: Obtain a sub-optimal solution t us t u,t d )),t ds t u,t d ))) by solving Problem 5 under S t u,t d ) 7: end if E. Comparison Between and Solutions Now, we use a numerical example to compare the optimal solution and the proposed sub-optimal solution in both overall weighted sum energy consumption and computational complexity. From Fig. 3a), we can see that the performance of the proposed sub-optimal solution is very close to that of the optimal solution. From Fig. 3b), we can see that the computation time for computing the sub-optimal solution grows at a much smaller rate than the optimal solution with respect to the number of users. This numerical example demonstrates the applicability and efficiency of the sub-optimal solution. Overall weighted sum energy consumption J) 10-3 10-4 1 2 3 4 5 0 1 2 3 4 5 a) K versus the b) K versus the overall weighted sum energy consumption. computation time. Computation time s) 20 15 10 5 Fig. 3: Comparison between optimal and sub-optimal solutions. V. SIMULATION RESULTS In this section, we show the performance of the proposed optimal and sub-optimal solutions for the multi-user MEC system with negligible and non-negligible BS executing durations using numerical results. Similar to [6] and [7], we consider the following simulation settings. We let β = 0.1, T = 80ms, µ = 10 29, and F = 6 10 9. Channel power gain h k for mobile k is modeled as Rayleigh fading with average power loss 10 3. The variance of complex white Gaussian channel noise is n 0 = 10 9 W. For each task k, L u,k and L d,k follow the uniform distribution over [1 10 5,5 10 5 ] bits), and N k follows the uniform distribution over [0.5 10 7,1.5 10 7 ] CPU-cycles). All random variables are independent. A. Multi-user MEC with Negligible BS Executing Duration In this part, we consider the multi-user MEC system with negligible BS executing duration. We compare the proposed optimal solution given in Lemma 1) with a baseline policy. The baseline policy allocates the total time T equally to the uploading and downloading operations of all tasks [6], [7], i.e., t u,k = t u,k = T 2K for all k K.

Overall weighted sum energy consumption J) 10 3 10-3 Baseline 1 4 7 3 16 19 a) K at T = 80ms. Overall weighted sum energy consumption J) 0.05 0.055 0.06 0.065 0.07 0.075 0.08 Time duration s) Baseline b) Time duration T at K = 10. Overall weighted sum energy consumption J) 10 3 10-3 Baseline1 Baseline2 1 4 7 3 16 19 a) K at T = 80ms. Overall weighted sum energy consumption J) 10 4 10 3 0.05 0.055 0.06 0.065 0.07 0.075 0.08 Time duration s) Baseline1 Baseline2 b) Time duration T at K = 10. 7 Fig. 4: The overall weighted energy consumption versus the number of users and the time duration for the multi-user MEC system with negligible BS executing duration. Fig. 5: The overall weighted energy consumption versus the number of users and the time duration for the multi-user MEC system with non-negligible BS executing duration. Fig. 4a) and Fig. 4b) illustrate the overall weighted sum energy consumption versus the number of users K and the time duration T, for the optimal solution and the baseline policy. From Fig. 4a) and Fig. 4b), we can observe that as the number of users increases or the time duration decreases, the overall weighted sum energy consumption increases. The optimal solution significantly outperforms the baseline policy, as it can optimally make use of task and channel information in reducing the overall weighted sum energy consumption. B. Multi-user MEC with Non-negligible BS Executing Duration In this part, we compare the proposed sub-optimal solution using Algorithm 1) with two baseline policies. Both baseline policies assume that the transmission and execution durations cannot be paralleled, and consider T K t e,k as the total transmission time K t u,k +t d,k ). In particular, Baseline 1 allocates the total transmission time T K t e,k equally to the uploading and downloading operations of all tasks, i.e., t u,k = t u,k = T K t e,k 2K for all k K [6], [7]. Baseline 2 optimally allocates the total time to uploading and downloading operations to minimize the overall weighted sum energy consumption, using Lemma 1. Fig. 5a) and Fig. 5b) illustrate the overall weighted sum energy consumption versus the number of users and the time duration, for the sub-optimal solution and the baseline policies. From Fig. 5a) and Fig. 5b), we can observe that as the number of users increases or the time duration decreases, the overall weighted sum energy consumption increases. The sub-optimal solution greatly outperforms Baseline 2, as it approximately maximizes the time duration over which the transmission and execution are conducted in parallel, hence maximizes the total transmission time. The sub-optimal solution significantly outperforms the baseline policies. VI. CONCLUSION In this paper, we consider energy-efficient resource allocation for a multi-user mobile edge computing system. First, we establish on two computation-offloading models with negligible and non-negligible BS executing durations, respectively. Then, under each model, we formulate the overall weighted sum energy consumption minimization problem. The optimization problem for negligible BS executing duration is convex, and we obtain the closed-form optimal solution for each task. The optimization problem for non-negligible BS executing duration is NP-hard in general, and we obtain a low-complexity suboptimal solution, by connecting the problem to a three-stage flow-shop scheduling problem and wisely utilizing Johnson s algorithm. Finally, numerical results show that the proposed solutions outperform some baseline schemes. REFERENCES [1] A. Ahmed and E. Ahmed, A survey on mobile edge computing, in the Proceedings of the 10th IEEE International Conference on Intelligent Systems and Control ISCO 2016), Coimbatore, India, 2016. [2] Y. C. Hu, M. Patel, D. Sabella, N. Sprecher, and V. Young, Mobile edge computing - a key technology towards 5g, ETSI White Paper, vol. 11, 2015. [3] Y. Mao, J. Zhang, and K. B. Letaief, Dynamic computation offloading for mobile-edge computing with energy harvesting devices, arxiv preprint arxiv:1605.05488, 2016. [4] J. Liu, Y. Mao, J. Zhang, and K. B. Letaief, Delay-optimal computation task scheduling for mobile-edge computing systems, arxiv preprint arxiv:1604.07525, 2016. [5] W. Zhang, Y. Wen, K. Guan, D. Kilper, H. Luo, and D. O. Wu, Energyoptimal mobile cloud computing under stochastic wireless channel, IEEE Transactions on Wireless Communications, vol. 12, no. 9, pp. 4569 4581, 2013. [6] C. You, K. Huang, and H. Chae, Energy efficient mobile cloud computing powered by wireless energy transfer, IEEE Journal on Selected Areas in Communications, vol. 34, no. 5, pp. 1757 1771, 2016. [7] C. You, K. Huang, H. Chae, and B.-H. Kim, Energy-efficient resource allocation for mobile-edge computation offloading, arxiv preprint arxiv:1605.08518, 2016. [8] A. P. Chandrakasan, S. Sheng, and R. W. Brodersen, Low-power cmos digital design, IEICE Transactions on Electronics, vol. 75, no. 4, pp. 371 382, 1992. [9] S. M. Johnson, two-and three-stage production schedules with setup times included, Naval research logistics quarterly, vol. 1, no. 1, pp. 61 68, 1954. [10] H. D. Mathes, A 2-machine sequencing problem with machine repetition and overlapping processing times, OR-Spektrum, vol. 21, no. 4, pp. 477 492, 1999.