I Introduction
To support autonomous driving and various kinds of onboard infotainment services, future vehicles will possess strong computing capabilities. It is predicted that each vehicle needs about dhrystone million instructions executed per second (DMIPS) [1] computing power to enable selfdriving. To deliver safety messages or disseminate infotainment contents, vehicles also need to communicate with other vehicles or infrastructures through vehicletovehicle (V2V) and vehicletoinfrastructure (V2I) communication protocols [2], such as dedicated shortrange communication (DSRC) [3] protocol and LTEV [4]. Consequently, vehicles will be connected with each other and abundant in computing resources in the future.
To improve the utilization of vehicular computing resources, the concept of vehicleasaninfrastructure has been proposed [5], where vehicles can contribute their surplus computing resources to the network, forming Vehicular Edge Computing (VEC) systems [6, 7, 8]. VEC has huge potential to enhance edge intelligence, and can enable a variety of emerging applications that require intensive computing. Typical use cases include safetyrelated cooperative collision avoidance and collective environment perception for autonomous driving[9, 10], vehicular crowdsensing for road monitoring and parking navigation [11], and entertainments such as virtual reality, augmented reality and cloud gaming for passengers [12].
In VEC, computation tasks are generated by onboard driving systems, passengers or pedestrians, and can possibly be executed by vehicles through task offloading
. In this context, vehicles who provide cloud execution are called service vehicles (SeVs), while vehicles that require task offloading are called task vehicles (TaVs). In the literature, a semiMarkov decision process based formulation for centralized task offloading is given in
[13], in order to minimize the average utility related to delay and energy cost. However, centralized task scheduling requires to collect the complete state information of vehicles frequently, and the proposed algorithm is highly complex to run. An alternative way is to offload tasks in a distributed manner, i.e., each TaV makes task offloading decisions individually [14]. In this case, TaV may not be able to obtain the global state information of channel states and computation loads of all available SeVs, which can be learned while offloading tasks based on multiarmed bandit (MAB) theory, as shown in our previous work [15].Compared with mobile edge computing (MEC) [12], in which computing resources are deployed at static base stations, VEC has two major differences. On the one hand, vehicles move fast, making the network topology and wireless channels vary rapidly over time. On the other hand, the density of SeVs is much higher than static edge clouds, and thus the computing resources of VEC are more redundant than MEC.
To further improve the delay performance and service reliability in VEC system, while exploiting the redundancy of computing resources, task replication is a promising method, in which task replicas are offloaded to multiple SeVs at the same time and executed independently. Once one of these SeVs transmits back the result, the task is completed. The basic idea of task replication is to exchange the redundancy of computing resources for QoS improvement. A centralized task replication algorithm is proposed in [16]
, in order to maximize the probability of completing a task before a given deadline. However, the optimal task assignment policy is derived under the assumption that the arrival of SeV follows Poisson process, which may not be the realistic vehicle mobility model.
In this paper, we propose a learningbased task replication algorithm (LTRA) based on combinatorial multiarmed bandit (CMAB) theory [17]. To be specific, we first propose a distributed task replication framework, in order to minimize the average offloading delay. Based on CMAB theory, we then design LTRA to deal with the challenge that TaV lacks global state information of channel states and computation loads of candidate SeVs, and characterize the upper bound of its learning regret. We simulate the traffic in a realistic highway scenario via traffic simulator Simulation for Urban MObility (SUMO), and compare LTRA with our previously proposed single offloading algorithm in [15]. Results show that both the average offloading delay and service reliability can be improved substantially through task replication.
The rest of this paper is organized as follows. In Section II, we present the system model and problem formulation. The task replication algorithm is then proposed in Section III, followed by the performance analysis in Section IV. Simulation results are shown in Section V. And finally, we conclude the work in Section VI.
Ii System Model and Problem Formulation
Iia System Overview
In the VEC system, moving vehicles are classified into two categories according to their roles in task offloading: TaVs and SeVs. TaVs are the vehicles who generate computation tasks that require cloud execution, while SeVs can share their surplus computing resources and execute these computation tasks. Note that each vehicle may be either a TaV or a SeV, and its role can change over time, depending on whether it has surplus computing resources to share.
Each TaV first discovers the SeVs within its communication range for task offloading. In order to maintain a relatively long contact duration, each TaV only selects its neighboring SeVs with the same moving direction as candidates. Such information can be acquired from V2V communication protocols such as beaconing messages in DSRC [3]. Moreover, we do not make any assumptions on the mobility model of vehicles.
We adopt task replication technique to improve the reliability, and thus the delay of task offloading. Besides, we consider distributed offloading in this work: each TaV makes the task offloading decision on which SeVs should be selected to serve each task independently, without intervehicle coordinations. An exemplary task replication in VEC system is shown in Fig. 1, where TaV 1 finds SeVs 13 as candidates, and decides to offload the current task replicas to SeV 1 and SeV 3.
IiB Task Offloading Procedure
Since tasks are offloaded in a distributed manner, we then focus on a single TaV of interest and design the corresponding task offloading algorithm. Consider a discretetime system with a total number of time periods. The candidate SeV set at time period is denoted as , which may change over time. Assume that the density of SeV is high enough such that for , otherwise the TaV may seek help from cloud servers at RSUs or in the Internet. The computation task that requires to be offloaded at time period is modeled by three parameters according to [12]: is the input data size (in bits) to be transmitted from TaV to SeV, is the output data size (in bits) which is the computation result transmitted back from SeV to TaV, and is the computation intensity (in CPU cycles per bit) representing how many CPU cycles are required to process one bit input data. The total required CPU cycles to execute the task is then given by .
There are three offloading steps:
Task upload: During time period , the TaV selects a subset of candidate SeVs with , and offloads the task replica to them simultaneously. We assume that the number of selected SeVs is fixed as , i.e., . For each SeV , denote the uplink wireless channel state as , and the interference power . The channel bandwidth and transmission power are fixed as and , and the noise power is . Then the uplink transmission rate between the TaV and SeV can be written as
(1) 
Thus the delay of uploading the task from TaV to SeV is
(2) 
Task execution: After receiving the input data from TaV, each SeV executes the task independently. Denote the maximum CPU frequency of SeV as (in CPU cycles per second). Each SeV may process multiple computation tasks at the same time, either from its own user equipments or other TaVs, and the allocated CPU frequency for the TaV of interest is . Then the computation delay of SeV in time period is
(3) 
Result feedback: The computation result is finally transmitted back from each selected SeV to the TaV. Similar to (1), the downlink transmission rate between SeV and TaV in time period is given by
(4) 
where and are the downlink channel state and the interference at the TaV respectively. Therefore the downlink delay from SeV to TaV is
(5) 
As a result, the offloading delay of SeV is the sum of uplink and downlink transmission delay and the computation delay, written as
(6) 
The actual offloading delay of each task that the TaV experiences only depends on
(7) 
However, we still require all the other SeVs to finish execution and transmit the result, in order to record the offloading delay for the learning purposes, which will be introduced in detail in Section III.
IiC Problem Formulation
Given a total number of time periods, our objective is to minimize the average offloading delay of tasks, by deciding which subset of SeVs should be selected to serve each task. The problem is formulated as:
(8) 
The delay performance of each SeV mainly depends on three variables: uplink transmission rate , allocated CPU frequency , and downlink transmission rate . If these variables are known to the TaV before it offloads each task, the TaV can then calculate the exact offloading delay of each SeV , and select single SeV . However, due to the movements of vehicles, the transmission rates and are fast varying and hard to predict. Meanwhile, the allocated CPU frequency is not easy to know in prior due to the varying computation loads of SeVs. Thus TaV may lack the exact global state information, and can not distinguish which SeV provides the fastest computation for each task.
Our solution is learning while offloading: we let the TaV learn the delay performance of candidate SeVs through delay observations while offloading tasks. To be specific, till time period , the TaV gets delay records , …,
, estimates the delay performance at the current time period, and selects a subset
to offload the task replica.Iii Learning while Offloading
In this section, we design learningbased task replication algorithm, which guides the TaV to learn the delay performance of candidate SeVs while offloading tasks, in order to minimize the average offloading delay. We consider a simplified scenario by assuming that tasks are of equal input, output data size , and computation intensity for . In fact, tasks often have similar input and output data size ratio and computation intensity if they are generated by the same kind of applications. And tasks with diverse input data size can be partitioned into several subtasks of the same input data size and offloaded in sequence, e.g., a long video frame for object detection or classification can be divided into short video clips through video segmentation [18].
The task replication is an online sequential decision making problem, which have been investigated under the MAB framework. In classical MAB problem [19], there are a fixed number of base arms with unknown loss distributions. In each time period, a decision maker tries a candidate base arm, observes its loss, and update the estimates of its loss distribution. The objective is to minimize the cumulative loss over time. The classical MAB problem has been further extended to the CMAB problem [17], where in each time period the decision maker can try a subset of base arms (defined as a super arm), observe the loss of all the base arms composing this super arm, and minimize the cumulative loss of the system.
Our problem is similar to the CMAB problem with nonlinear loss function: each candidate SeV corresponds to a base arm with unknown delay distribution, while the TaV is the decision maker who selects a subset
of SeVs in each time period . The TaV can observe the delay (loss) of all selected SeVs, and the system loss, i.e., the offloading delay, is the minimum of the observed delay , which is a nonlinear function.The major difference between our task replication problem and the existing CMAB problem is that, the candidate SeV set may change over time since vehicles are moving, and it is difficult to predict when SeVs may appear or disappear, and how long they can act as candidates. How to efficiently learn the delay performance of candidate SeVs under such a dynamic environment has not been investigated in the existing work of CMAB.
We thus take into consideration the time varying feature of candidate SeVs, and revise the existing CMAB algorithm in [20] into learningbased task replication algorithm (LTRA), as shown in Algorithm 1. Let be the normalized delay, where is the delay observed by TaV, and is the maximum delay allowed of each task offloading. If in time period , the computation result from SeV is not successfully received by the TaV till , we regard that the task is failed by SeV , and set the observed delay for learning purpose. And thus . Denote as the empirical distribution of the normalized delay of SeV , and
the cumulative distribution function (CDF) of
. Let be the number of tasks offloaded to SeV so far, a constant factor, and the occurrence time of SeV .(9) 
(10) 
In Algorithm 1, Lines 24 are the initialization phase, during which the TaV selects a subset of SeVs that contains at least one newly appeared SeV. Note that the initialization phase not only happens at the beginning of task offloading, but whenever new SeVs occur.
Lines 610 are the main learning phase. Due to the nonlinearity of the offloading delay , the offloading decision depends on the entire delay distribution of each candidate SeVs, rather than their means. Thus the learning algorithm keeps updating the empirical CDF to learn the entire distribution, and makes offloading decisions according to . In Line 6, the CDF defined in (9) is a numerical upper confidence bound on the real delay CDF of each SeV , which can balance the explorationexploitation tradeoff during the learning process: The TaV tends to explore SeVs with fewer selected times to learn good estimates of their delay distributions, while at the same time to exploit
SeVs with better empirical delay performance to optimize the instantaneous offloading delay. The padding term
also considers the occurrence time of each SeV , such that the newly appeared SeVs can be well explored, while the empirical information of the existing SeVs can be exploited.In Line 7, the TaV selects a subset of candidate SeVs that minimizes the expectation of offloading delay according to (10), where is the distribution of CDF , and
is the joint distribution of all candidate SeVs. Calculating
is actually a minimum element problem, which can be solved by greedy algorithms [21]. Then the TaV offloads the task replica to all the selected SeVs , waits for their feedbacks to observe the delay, and finally updates the empirical CDF of normalized delay and selected times .Iiia Implementation Considerations
Since the offloading delay is continuous, LTRA may suffer from large storage usage and computational complexity as grows. To be specific, the observed delay values of each SeV might be different in each time period, and thus the required storage for each empirical CDF is . Meanwhile, it takes time to calculate the numerical upper confidence bound , and the minimum element problem in (10) is more complex to solve. To reduce the storage usage and computational complexity of the algorithm, we can discretize the empirical CDF to be , by partitioning the range into segments with equal interval . The support of the discretized CDF is , and if the normalized delay belongs to , the delay used to update is .
Iv Algorithm Performance
In this section, we characterize the performance of the proposed LTRA. To carry out theoretical analysis, we assume that the candidate SeV set remains constant as for the total time periods, and the delay of each candidate SeV is independent from other SeVs and i.i.d across time. We will prove later through simulations in Section V that without the aforementioned two assumptions, LTRA can still work well.
Let
be the delay vector of all candidate SeVs in time period
with , and the loss function. The expected loss for choosing a subset of candidate SeVs does not change over time due to the i.i.d assumption, thus we omit the subscript and let . Moreover, let be the optimal subset of SeV, and its expected loss.Define the cumulative learning regret as
(11) 
which is the expected loss brought with learning as compared to the optimal decisions, since the TaV does not know which candidate SeV performs the best.
For any suboptimal subset , let the expected delay gap . Define
(12) 
and let be the set of candidate SeVs which is contained in at least one suboptimal subset.
In the following theorem, we provide an upper bound of the cumulative learning regret of LTRA.
Theorem 1.
Let , then is upper bounded by:
(13) 
where and are two constants.
Proof.
See Appendix A. ∎
Theorem 1 shows that, our proposed LTRA can provide a delay performance with bounded regret, compared to the genieaided case, where the delay distributions of candidate SeVs are known in prior. To be specific, the cumulative learning regret grows logarithmically with , and is also related to the number of selected SeVs and the performance gap between different subsets of SeVs.
V Simulations
In this section, we carry out simulations to evaluate the delay performance and service reliability of the proposed LTRA. We first use SUMO^{1}^{1}1http://www.sumo.dlr.de/userdoc/SUMO.html to simulate the traffic, and then import the floating car data generated by SUMO into MATLAB to evaluate the performance of LTRA.
The road used for traffic simulation is a segment of G6 Highway in Beijing, with two lanes and two ramps, downloaded from Open Street Map (OSM)^{2}^{2}2http://www.openstreetmap.org/. Vehicles come from either the start of the road or the ramps, and when a vehicle meets a ramp, it leaves the highway with a probability of . The maximum speed allowed of both SeVs and TaVs is . The arrival rate of SeV ranges from to , and the arrival rate of TaV ranges from to .
The floating car data of SUMO includes the type, ID, position, speed and angle of each vehicle, so that we can calculate the distance of each SeV and TaV in MATLAB. The communication range is set to , and the wireless channel , with and the distance between TaV and SeV, according to [22]. The channel bandwidth , transmission power , and noise power .
For each task, we set the input data size , its computation intensity , and the output data size is very small and omitted. The maximum CPU frequency of each SeV is uniformly chosen within . In each time period, the allocated CPU frequency for TaVs is randomly distributed from to (each SeV also needs to process tasks from its own driving system or UEs, so it can not allocate all the computing resources for TaVs). Note that each SeV may provide service for multiple TaVs at the same time, and in the simulation, tasks offloaded by TaVs are served by the firstcomefirstserve queue discipline. Moreover, parameter in (9) is , and the default number of discretization segments is .
We compare our proposed LTRA with 3 other algorithms: 1) Genieaided Policy: assume that the TaV knows the global state information of all candidate SeVs, and always selects single SeV with minimum delay. This policy can not be realized in the realistic VEC system. 2) Random Policy: a naive policy, in which TaV randomly selects a SeV in each time period to offload the task. 3) Single Offloading: a learningbased task offloading policy proposed in our previous work [15], in which each TaV only selects a single SeV for each task.
Fig. 2 shows the average offloading delay of LTRA with the number of task replicas . On average, there are about candidate SeVs and other TaV around our target TaV. It is shown that with task replication, the delay performance is improved to about , while learningbased single offloading algorithm can only achieve . With increasing number of task replicas, the average offloading delay is closer to the genieaided policy.
Fig. 3 shows the delay performance and service reliability under different SeV densities. The xcoordinate, ranges from to , is the average number of candidate SeVs around our target TaV, and still there is another TaV around. In Fig. 3(a), the average offloading delay of LTRA decreases along with the increasement of candidate SeVs, since LTRA can exploit the redundant computing resources through task replication. However, more task replicas do not always bring performance improvement. When computing resources are insufficient, too many task replicas may lead to long task queues at candidate SeVs, which is not efficient. Fig. 3(b) shows the task completion ratio given deadline . When there are more than candidate SeVs, the task completion ratio of LTRA outperforms single offloading. And when there are more than candidate SeVs, the service reliability of LTRA can reach over , while single offloading only achieves about . Therefore, with sufficient computing resources in the VEC system, task replication is a promising method to enhance the reliability of computing services .
In Fig. 4, the density of SeV is fixed, with about candidates around the target TaV. As more TaVs competing the computing resources with each other, the average offloading delay of LTRA increases. To be specific, when the density ratio of TaV and SeV is below , LTRA with task replicas outperforms LTRA with only replicas. However, as the density ratio grows higher, fewer number of replicas achieves better delay performance. Thus the number of task replica should be carefully selected under different traffic conditions.
Finally, we explore the impact of discretization level on the average offloading delay and the runtime of the algorithm. When the delay distribution is discretized into very few segments, the runtime of LTRA is low, but the average offloading delay is very poor and fluctuates severely. When the discretization level is too high, the delay performance does not improve much, but it takes more time to run LTRA. To get good estimates of the realistic delay distributions, while saving the runtime of LTRA at the same time, the discretization level should be carefully selected. For example, under our settings, the discretization level should be about to .
Vi Conclusions
In this work, we have investigated the task offloading problem in VEC system, and proposed LTRA by combining the task replication and sequential learning techniques, in order to minimize the average offloading delay. LTRA enables each TaV to learn the delay performance of candidate SeVs while offloading tasks, and can adapt to the highly dynamic vehicular environment. We have carried out simulations under a realistic highway scenario, and compared the delay performance and service reliability of LTRA to the existing single offloading algorithm. Simulation results have shown that the average delay of LTRA is close to the optimal genieaided policy and better than the single offloading policy. And when there are sufficient SeVs, the performance can be highly improved through a small number of task replications. Specifically, with a given deadline 0.6s, the task completion ratio of LTRA can reach with only two replicas, while single offloading can only achieve about .
Acknowledgment
This work is sponsored in part by the Nature Science Foundation of China (No. 91638204, No. 61571265, No. 61621091), and Intel Collaborative Research Institute for Mobile Networking and Computing.
Appendix A Proof of Theorem 1
We prove that, under the assumption that the number of candidate SeVs is fixed, our delay minimization problem is equivalent to the reward maximization problem of standard CMAB investigated in [20], and the proposed algorithm LTRA is equivalent to the stochastically dominant confidence bound (SDCB) algorithm proposed in [20].
First, the objective functions are equivalent, since
(14) 
Since , the reward function , satisfying assumption 2 in [20] with upper bound . Also, is monotone, which satisfies assumption 3 in [20].
Second, the numerical upper confidence bound can be transformed to CDF defined in the SDCB algorithm in [20]. Define as the CDF of , and the CDF of . It is easy to see that . Thus
(15) 
References
 [1] Intel, “Selfdriving car technology and computing requirements,” [Online] Available: https://www.intel.com/content/www/us/en/automotive/ drivingsafetyadvanceddriverassistancesystemsselfdrivingtechnol ogypaper.html
 [2] S. Zhang, W. Quan, J. Li, W. Shi, P. Yang, and X. Shen, “Airground integrated vehicular network slicing with content pushing and caching,” [Online]. Available: https://arxiv.org/abs/1806.03860.
 [3] J. B. Kenney, “Dedicated shortrange communications (DSRC) standards in the United States,” Proceedings of the IEEE, vol. 99, no. 7, pp. 11621182, Jul. 2011.
 [4] S. Chen, J. Hu, Y. Shi, and L. Zhao, “LTEV: A TDLTEbased V2X solution for future vehicular network,” IEEE Internet Things J., vol. 3, no. 6, pp. 9971005, Dec. 2016.
 [5] X. Hou, Y. Li, M. Chen, D. Wu, D. Jin, and S. Chen, “Vehicular fog computing: A viewpoint of vehicles as the infrastructures,” IEEE Trans. Veh. Technol., vol. 65, pp. 38603873, Jun. 2016.
 [6] S. Abdelhamid, H. Hassanein, and G. Takahara, “Vehicle as a resource (VaaR),” IEEE Netw., vol. 29, no. 1, pp. 1217, Feb. 2015.
 [7] S. Bitam, A. Mellouk, and S. Zeadally, “VANETcloud: A generic cloud computing model for vehicular ad hoc networks,” IEEE Wireless Commun., vol. 22, no. 1, pp. 96102, Feb. 2015.
 [8] J. S. Choo, M. Kim, S. Pack, and G. Dan, “The softwaredefined vehicular cloud: A new level of sharing the road,” IEEE Veh. Technol. Mag., vol. 12, no. 2, pp. 7888, Jun. 2017.
 [9] 3GPP, “Study on enhancement of 3GPP support for 5G V2X services,” 3GPP TR 22.886, V15.1.0, Mar. 2017,
 [10] S. Zhang, J. Chen, F. Lyu, N. Cheng, W. Shi, and X. Shen, “Vehicular communication networks in automated driving era,” [Online]. Available: https://arxiv.org/abs/1805.09583.
 [11] J. Ni, A. Zhang, X. Lin and X. S. Shen, “Security, Privacy, and Fairness in FogBased Vehicular Crowdsensing,” IEEE Commun. Mag., vol. 55, no. 6, pp. 146152, Jun. 2017.
 [12] Y. Mao, C. You, J. Zhang, K. Huang, and K. B. Letaief, “A survey on mobile edge computing: The communication perspective,” IEEE Commun. Surveys Tut., vol. 19, no. 4, pp. 23222358, Fourthquarter 2017.
 [13] K. Zheng, H. Meng, P. Chatzimisios, L. Lei, and X. Shen, “An SMDPbased resource allocation in vehicular cloud computing systems,” IEEE Trans. Ind. Electron., vol. 62, no. 12, pp. 79207928, Dec. 2015.
 [14] J. Feng, Z. Liu, C. Wu, and Y. Ji, “AVE: autonomous vehicular edge computing framework with acobased scheduling,” IEEE Trans. Veh. Technol., vol. 66, no. 12, pp. 1066010675, Dec. 2017.
 [15] Y. Sun, X. Guo, S. Zhou, Z. Jiang, X. Liu, and Z. Niu, “Learningbased task offloading for vehicular cloud computing systems,” IEEE Int. Conf. Commun. (ICC) 2018, accepted.
 [16] Z. Jiang, S. Zhou, X. Guo, and Z. Niu, “Task replication for deadlineconstrained vehicular cloud computing: Optimal policy, performance analysis and implications on road traffic,” IEEE Internet Things J., vol. 5, no. 1, pp. 93107, Feb. 2018.

[17]
W. Chen, Y. Wang, and Y. Yuan. “Combinatorial multiarmed bandit: General framework and applications,”
Int. Conf. on Machine Learning (ICML)
, Atlanta, GA, USA, Jun. 2013.  [18] M. Grundmann, V. Kwatra, M. Han, and I. Essa, “Efficient hierarchical graphbased video segmentation,” in Proc. IEEE Conf. Comput. Vis. Pattern Recog. (CVPR), San Francisco, CA, USA, Jun. 2010.
 [19] P. Auer, N. CesaBianchi, and P. Fischer, “Finitetime analysis of the multiarmed bandit problem,” Machine learning, vol. 47, no. 23, pp. 235–256, 2002.
 [20] W. Chen, W. Hu, F. Li, J. Li, Y. Liu, and P. Lu, “Combinatorial multiarmed bandit with general reward functions,” Advances in Neural Information Processing Systems, vol. 29, 2016.
 [21] A. Goel, S. Guha, and K. Munagala, “How to probe for an extreme value,” ACM Trans. on Algorithms, vol. 7, no. 1, Nov. 2010.
 [22] M. Abdulla, E. Steinmetz and H. Wymeersch, ”Vehicletovehicle communications with urban intersection path loss models,” in Proc. IEEE Global Commun. Conf. (GLOBECOM), Washington, DC, USA, Dec. 2016.
Comments
There are no comments yet.