Ref.14 Price-Based - Resource - Allocation - For - Edge - Computing - A - Market - Equilibrium - Approach
Ref.14 Price-Based - Resource - Allocation - For - Edge - Computing - A - Market - Equilibrium - Approach
1, JANUARY-MARCH 2021
Abstract—The emerging edge computing paradigm promises to deliver superior user experience and enable a wide range of Internet
of Things (IoT) applications. In this paper, we propose a new market-based framework for efficiently allocating resources of
heterogeneous capacity-limited edge nodes (EN) to multiple competing services at the network edge. By properly pricing the
geographically distributed ENs, the proposed framework generates a market equilibrium (ME) solution that not only maximizes the
edge computing resource utilization but also allocates optimal resource bundles to the services given their budget constraints. When
the utility of a service is defined as the maximum revenue that the service can achieve from its resource allotment, the equilibrium can
be computed centrally by solving the Eisenberg-Gale (EG) convex program. We further show that the equilibrium allocation is Pareto-
optimal and satisfies desired fairness properties including sharing incentive, proportionality, and envy-freeness. Also, two distributed
algorithms, which efficiently converge to an ME, are introduced. When each service aims to maximize its net profit (i.e., revenue minus
cost) instead of the revenue, we derive a novel convex optimization problem and rigorously prove that its solution is exactly an ME.
Extensive numerical results are presented to validate the effectiveness of the proposed techniques.
Index Terms—Market equilibrium, Fisher market, fairness, algorithmic game theory, edge computing, fog computing
1 INTRODUCTION
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 303
computational capacity of large DCs is virtually unlimited Similarly, an application provider (e.g., Uber, Pokemon
and network delay is high, EC is characterized by relatively Go) or a sensor network may own a number of ENs in a city
low network latency but considerable processing delay due and need to allocate the edge resources to handle requests
to the limited computing power of ENs. Also, there are a of different groups of users/sensors. The budget can be
massive number of distributed computing nodes compared decided based on criteria such as the populations of users/
to a small number of large DCs. Additionally, ENs may sensors in different areas and/or payment levels (subscrip-
come with different sizes (e.g., number of computing units) tion fees) of different groups of users. Another example is
and configurations (e.g., computing speed) ranging from a that a university (or other organizations) can grant different
smartphone to an edge cloud with tens/hundreds of servers. virtual budgets to different departments or research labs so
These nodes are dispersed in numerous locations with vary- that they can fairly share the edge servers on the campus.
ing network and service delay towards end-users. The first model may also emerge in the setting of cloud fed-
On the other hand, different services may have different eration at the edge where several companies (i.e., services)
requirements and properties. Some services can only be pool their resources together and each of them contributes a
handled by ENs satisfying certain criteria. Furthermore, dif- fixed portion of resource of every EN. Here, the budgets are
ferent services may be given different priorities. While proportional to the initial contributions of the companies.
every service not only wants to obtain as much resource as Instead of resource pooling, these companies may agree
possible but also prefers to be served by its closest ENs with upfront on their individual budgets, and then buy/rent a
low response time, the capacities of ENs are limited. Also, given set of ENs together.
due to the diverse preferences of the services towards the In these scenarios, it is important to consider both fair-
ENs, some nodes can be under-demanded while other are ness and efficiency. Thus, conventional schemes such as
over-demanded. Thus, a fundamental problem is: given a set social welfare maximization, maxmin fairness, and auction
of geographically distributed heterogeneous ENs, how can we effi- models may not be suitable. In particular, a welfare maximi-
ciently allocate their limited computing resources to competing zation allocation often gives most of the resources to users
services with different desires and characteristics, considering ser- who have high marginal utilities while users with low mar-
vice priority and fairness? This work introduces a novel mar- ginal utilities receive a very small amount of resources,
ket-based solution framework which aims not only to even nothing. Similarly, in auction models, the set of losers
maximize the resource utilization of the ENs but also to are not allocated any resource. Hence, these solutions can
make every service happy with the allocation decision. be unfair to some users. On the other hands, a maxmin fair-
The basic idea behind our approach is to assign different ness solution often allocates too many resources to users
prices to resources of different ENs. In particular, highly with low marginal utilities, hence, it may not be efficient.
sought-after resources are priced high while prices of under- To strive the balance between fairness and efficiency, we
demanded resources are low. We assume that each service advocate the General Equilibrium Theory [4], with a specific
has a certain budget for resource procurement. The budget focus on the Fisher market model [5], as an effective solu-
can be virtual or real money. Indeed, budget is used to cap- tion concept for this problem. Specifically, the first model
ture service priority/differentiation. It can also be inter- can be cast as a Fisher market in which services act as
preted as the market power of each service. Given the buyers and ENs act as different goods in the market. For the
resource prices, each service buys the favorite resource bun- linear additive utility function as considered in this work,
dle that it can afford. When all the resources are fully allo- given resource prices, a service may have an infinite set of
cated, the resulting prices and allocation form a market optimal resource bundles, which renders difficulty in
equilibrium (ME). If there is only one EN, an ME can be found designing distributed algorithms. We suggest several meth-
easily by adjusting the price gradually until demand equals ods to overcome this challenge. Moreover, we show that the
supply or locating the intersection of the demand and supply obtained allocation is Pareto-optimal, which means there is
curves. However, when there are multiple heterogeneous no other allocation that would make some service better off
ENs and multiple services with diverse objectives and differ- without making someone else worse off [6]. In other words,
ent buying power, the problem becomes challenging since there is no strictly “better” allocation. Thus, a Pareto-opti-
the services have more options to buy resources. We consider mal allocation is efficient.
two distinct market models in this work. We furthermore link the ME to the fair division literature
In the first model, the money does not have intrinsic [7] and prove that the allocation satisfies remarkable fair-
value to the services. Given resource prices, each service ness properties including envy-freeness, sharing-incentive,
aims to maximize its revenue from the allocated resources, and proportionality, which provides strong incentives for
without caring about how much it has to pay as long as the the services to participate in the proposed scheme. Indeed,
total payment does not exceed its budget. This model arises these properties were rarely investigated explicitly in the
in many real-world scenarios. For example, in 5G networks, ME literature. Envy-freeness means that every service prefers
the Mobile Edge Computing (MEC) servers of a Telco are its allocation to the allocation of any other service. In an
shared among different network slices, each of which runs a envy-free allocation, every service feels that its share is at
separate service (e.g., voice, video streaming, AR/VR, con- least as good as the share of any other service, and thus no
nected vehicles, sensing) and serves a group of customers service feels envy. Sharing-incentive is another well-known
who pay for the service. The Telco can allot different budg- fairness concept. It ensures that services get better utilities
ets to the slices depending on their importance and/or than what they would get in the proportional sharing scheme
potential revenue generation (e.g., the total fee paid by the that gives each service an amount of resource from every
users/subscribers of each slice). EN proportional to its budget. Note that proportional
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
304 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
sharing is an intuitive way to share resources fairly in terms Centralized solution. The unique ME in the first model
of quantity. For the federation setting, sharing-incentive can be determined by the EG program. We also
implies that every service gets better off by pooling their prove some salient fairness features of the ME.
resources (or money) together. Finally, it is natural for a ser- Decentralized algorithms. We introduce several dis-
vice to expect to obtain a utility of at least b=B of the maxi- tributed algorithms that efficiently overcome the dif-
mum utility that it can achieve by getting all the resources, ficulty raised by the non-unique demand functions
where b is the payment of the service and B is the total pay- of the services and converge to the ME.
ment of all the services. The proportionality property guaran- Extended Fisher market. We systematically derive a
tees that the utility of every service at the ME is at least new convex optimization problem whose optimal
proportional to its payment/budget. Thus, it makes every solution is an exact ME in the extended Fisher mar-
service feel fair in terms of the achieved utility. ket model where buyers value the money.
In the second model, the money does have intrinsic value Performance Evaluation. Simulations are conducted to
to the services. The services not only want to maximize their illustrate the efficacy of the proposed techniques.
revenues but also want to minimize their payments. In par- The rest of the paper is organized as follows. Section 2
ticular, each service aims to maximize the sum of its remain- describes related work. The system model and problem for-
ing budget (i.e., surplus) and the revenue from the procured mulation are given in Sections 3 and 4, respectively. The
resources, which is equivalent to maximizing the net profit centralized solution using the EG program is analyzed in
(i.e., revenue minus cost). This model is prevalent in prac- Section 5. Then, we introduce several distributed algorithms
tice. For example, several service providers (SP), each of in Section 6. The market model in which buyers aim to max-
which has a certain budget, may compete for the available imize their net profits is studied in Section 7. Simulation
resources of an edge infrastructure provider (e.g., a Telco, a results are shown in Section 8 followed by conclusions and
broker). The SPs only pay for their allocated resources and discussion of future work in Section 9.
can take back their remaining budgets. Obviously, a SP will
only buy a computing unit if the potential gain from that 2 RELATED WORK
unit outweighs the cost. It is natural for the SPs to maximize
their net profits in this case. The classical Fisher market The potential benefits and many technical aspects of EC
model does not capture this setting since the utility func- have been studied extensively in the recent literature. First,
tions of the services depend on the resource prices. the hybrid edge/fog-cloud system can be leveraged to
It is worth mentioning that, conventionally, the optimal improve the performance of emerging applications such as
dual variables associated with the supply demand con- cloud gaming and healthcare [11], [12]. In [13] , A. Mukher-
straints (i.e., the capacity constraints of the ENs) are often jee et al. present a power and latency aware cloudlet selec-
interpreted as the resource prices [32] and common tion strategy for computation offloading in a multi-cloudlet
approaches such as network utility maximization (NUM) environment. The tradeoff between power consumption
[33] can be used to compute an ME. However, these and service delay in a fog-cloud system is investigated in
approaches do not work for our models that take budget [14] where the authors formulate a workload allocation
into consideration. Indeed, the main difficulty in computing problem to minimize the system energy cost under latency
an ME in both models stems from the budget constraints constraints. A latency aware workload offloading scheme in
which contain both the dual variables (i.e., prices) and pri- a cloudlet network is formulated in [15] to minimize the
mal variables (i.e., allocation). In the second model, the pri- average response time for mobile users.
ces also appear in the objective functions of the services. In [16], M. Jia et al. explore the joint optimization of
Therefore, the ME computation problem becomes challeng- cloudlet placement and user-to-cloudlet assignment to min-
ing. Note that the pair of equilibrium prices and equilibrium imize service latency while considering load balancing. A
allocation has to not only clear the market but also simulta- unified service placement and request dispatching frame-
neously maximize the utility of every service (as elaborated work is presented in [17] to evaluate the tradeoffs between
in Section 4). the user access delay and service cost. Reference [18]
Fortunately, for a wide class of utility functions, the ME employs Stackelberg game and matching theory to study
in the first model can be found by solving a simple Eisen- the joint optimization among data service operators (DSO),
berg-Gale (EG) convex program [8], [9], [10]. However, the data service subscribers (DSS), and a set of ENs in a three-
EG program does not capture the ME in the second model. tier edge network where the DSOs can obtain computing
Interesting, by reverse-engineering the structure of the pri- resources from different ENs to serve their DSSs.
mal and dual programs in the first model, we can rigorously Another major line of research has recently focused on the
construct a novel convex optimization problem whose solu- joint allocation of communication and computational resour-
tion is an ME of the second model. This technique can also ces for task offloading in the MEC environment [19], [20],
be used to find the ME that considers other practical con- [21]. MEC allows mobile devices to offload computational
straints (e.g., operation cost of the edge servers). Our main tasks to resource-rich servers located near or at cellular BSs,
contributions include: which could potentially reduce the devices’ energy con-
sumption and task execution delay. However, these benefits
Modeling. We formulate a new market-based EC could be jeopardized if multiple users offload their tasks to
resource allocation framework and advocate the MEC servers simultaneously. In this case, a user may not
General Equilibrium theory as an effective solution only suffer severe interference but also receive a very small
method for the proposed problem. amount of EC resource, which would consequently reduce
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 305
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
306 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
ity, we assume that the values of ENs to the services are Each service is a player in our market game. Given a
fixed. Our model can be extended to capture time-varying price vector p, service i aims to P maximize its utility Ui ðxi ; pÞ
valuation in a multi-period model by considering each pair subject to the budget constraint j xi;j pj Bi .
of an EN and a time slot as an independent EN. Definition 4.1. An ME solution (p ; X ) needs to satisfy two
following conditions:
4 PROBLEM FORMULATION
Condition 1: Given the equilibrium resource price
4.1 EC Resource Allocation Problem vector p ¼ ðp1 ; p2 ; . . . ; pM Þ, xi is an optimal resource
Let M, N , M, and N be the sets of ENs and services, and the bundle of service i, for all i, i.e., we have
numbers of ENs and services, respectively. Denote i as the
service index and j as the EN index. We assume that each xi ¼ ðxi;1 ; . . . ; xi;M Þ 2 arg
P max Ui ðxi ; p Þ (1)
xi 0; p x Bi
EN j has cj homogeneous computing units (e.g., servers) j j i;j
[18]. If an EN has several types of computing units, we can
always divide the EN into several clusters, each of which Condition P
2: All the resources are fully allocated, i.e.,
contains only homogeneous units. Then, each cluster can be we have: i xi;j ¼ 1; 8j.
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 307
The first condition can be interpreted as the user satisfaction We model the processing delay at ENs using the widely
condition while the second condition is often called the market used M/G/1 queues and assume that the workload is
clearing condition in Economics [6]. The first condition ensures evenly shared among computing units [18], [27], [28], [41].
that the equilibrium allocation xi maximizes the utility of ser- The average response time dpi;j of EN j for processing service
vice i at the equilibrium prices p considering the user budget i can be computed as follows:
constraint. The second condition maximizes the resource uti- 1
lization of the ENs. It also means the ENs’ resources are fully dpi;j ¼
; 8i; j; (3)
sold in the market, which consequently maximizes the profit mi;j xi;j
i;j
of every EN since the equilibrium prices are non-negative.
where mi;j be the service rate of one computing unit of EN j
The services are players competing for the limited EC resour-
for handling service i, and i;j is the request arrival rate (i.e.,
ces, while the platform tries to satisfy the market clearing
number of requests per time unit) of service i to EN j. For
condition. Prices are used to coordinate the market. i;j
queue stability, we have xi;j < mi;j ; 8i; j: Otherwise, the
Let ui ðxi Þ be the gain/profit/revenue of service i can
achieve from the procured resources. We consider two mod- queuing delay will be infinite as requests accumulated.
els. In the first model (basic model), every service i wants to From (3), we have
1
maximize Ui ðxi ; pÞ ¼ ui ðxi Þ and does not care about how i;j
Timax dni;j
much it has to pay as long as the total payment is under its mi;j xi;j
(4)
budget. Here, utility of a service is its revenue. In the second 1
model, instead of revenue, the services aim to maximize their ) i;j xi;j mi;j max :
Ti di;j
net profits (i.e., revenue minus cost).
P The service utility in
this model is Ui ðxi ; pÞ ¼ ui ðxi Þ j pj xi;j ; 8i. We focus on Therefore, if dni;j < Timax , the maximum number of requests
the first model throughout the paper. The second model is that service i can process at EN j is
examined in Section 7.
n 1 o
4.2 Service Utility Model max ¼ max xi;j mi;j ; 0
i;j
Timax di;j (5)
In practice, the services may use different criteria to define ¼ xi;j qi;j ; 8i; j
ui ðxi Þ. Our framework takes ui ðxi Þ as an input to compute
an ME solution. How each service evaluates the ENs is not where qi;j ¼ maxfðmi;j T max1d Þ; 0g. Define a successful
i i;j
our focus. While the proposed model is generic, we consider request as the request whose total delay is smaller or equal
linear functions for the ease of exploring the framework. Let to the maximum delay tolerance. Let ri be the benefit of suc-
ai;j be the gain of serviceP i from one resource unit of EN j. cessfully serving one request of service i [18]. Then, given
Then, we have: ui ðxi Þ ¼ j ai;j xi;j ; 8i. Extensions to more xi;j computing units, the revenue of service i is
general functions will be discussed throughout the paper.
In the following, we present an example of how ai;j can be ui;j ðxi;j Þ ¼ ri qi;j xi;j ¼ ai;j xi;j ; 8i; j; (6)
computed. We consider only delay-sensitive services, which
are also a main target application of EC. For simplicity, we with ai;j ¼ ri qi;j . Thus, we have
assume that the transmission bandwidth is sufficiently large X
M X
M
and the data size of a request is small (e.g., Apple Siri, Goo- ui ðxi Þ ¼ ui;j ¼ ai;j xi;j ; 8i; (7)
gle Voice Search, Google Maps, AR, and Translation). Thus, j¼1 j¼1
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
308 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
way to model the service utility function. It can be justi- The KKT conditions give
fied by the fact that non-delay-sensitive services can be
handled effectively by cloud DCs and the precious edge @L Bi
¼ hi ¼ 0; 8i (13)
resources can be reserved for important low-latency serv- @ui ui
ices. Nevertheless, our model is generic enough to handle
other service types as long as we can define the utility of @L ai;j
¼ Bi pj þ ni;j ¼ 0; 8i; j (14)
a service as a suitable function of its allocated EC resour- @xi;j ui
ces. Finally, although we consider computing resources X X
only, the proposed framework can apply to a system in ui ¼ ai;j xi;j ; 8i; pj 1 xi;j ¼ 0; 8j (15)
which each service evaluates an EN based on a combina- j i
tion of different resource types of the EN, such as com- ni;j xi;j ¼ 0; 8i; j; pj 0; 8j; ni;j 0; 8i; j: (16)
puting, storage, and bandwidth.
We can infer the following
5 CENTRALIZED SOLUTION
ui ai;j
In the first model, 8i; j : (17)
P each service i aims to maximize Bi pj
Ui ðxi ; pÞP¼ ui ðxi Þ ¼ j ai;j xi;j subject to the budget con-
ui ai;j
straint j pj xi;j Bi , 8i. If p is a price vector, the ratio 8i; j : if xi;j > 0 ) ni;j ¼ 0 ) ¼ (18)
ai;j =pj is defined as the bang-per-buck of EN j to service i, Bi pj
which indicates the utility gained by service i through one X X
8j : pj > 0 ) xi;j ¼ 1; xi;j < 1 ) pj ¼ 0: (19)
unit of money spent on EN j (assuming 0/0 = 0). The maxi- i i
mum bang-per-buck (MBB) of service i over the set of ENs is
ai ¼ maxj fai;j =pj g [22]. The demand set Di ðpÞ of service i The dual variable pj in the EG program can be interpreted as
includes all ENs giving it the MBB value, i.e., Di ðpÞ ¼ the price of EN j. Conditions (17) and (18) imply that xi;j > 0
fj : ai;j =pj ¼ ai g; 8i. Intuitively, to maximize its utility, each if and only if j 2 Di ðpÞ, i.e., each service buys resources only
service will spend full budget to buy resources from only from ENs giving it the MBB. This also maximizes ui ðxi Þ.
ENs giving it the MBB. Therefore, a pair ðX; pÞ is an ME if: i) Note that ui =Bi ¼ ai ; 8i. The following theorem captures
given prices p, service i will exhaust its budget to buy some properties of the equilibrium as well as the relationship
resources only from ENs in Di ðpÞ; and ii) the market clears between the EG program and the ME solution.
at prices p. In the following, we will show that the ME in the
Theorem 5.1. The optimal solution to the EG convex program (8),
first model can be inferred from the optimal solution of a
(9), (10), and (11) is an ME. Specifically, the Lagrangian dual
convex optimization problem. Also, we will describe some
variables corresponding to the ENs’ capacity constraints (10) are
properties of the equilibrium. Specifically, for the case of
the equilibrium prices. At the equilibrium, the resource allocation
buyers with linear utilities, the ME can be found by solving
not only maximizes the utility but also exhausts the budget of
the EG convex program given below [8], [9]:
every service. Furthermore, each service purchases resources
X
N
only from ENs giving its MBB. Additionally, the optimal utili-
maximize Bi ln ui (8) ties of the services as well as equilibrium prices are unique.
X ;u
i¼1
subject to Proof. Let X and ui be the optimal solution to the EG pro-
X
M
gram. Then, X and ui need to satisfy the KKT conditions
ui ¼ ai;j xi;j ; 8i (9) (13), (14), (15), (16), (17), (18), and (19). Denote h , p , and
j¼1
n as the optimal dual variables. From (14), we have
X
N ai;j
xi;j 1; 8j (10) Bi ¼ pj ni;j ; 8i; j: (20)
ui
i¼1
ni;j as the dual variables associated with constraints (9), (10), solution to the EG program (8), (9), (10), and (11) fully
and (11), respectively. We have the Lagrangian exhausts the budget of every service. Furthermore, as
X X X shown above, at the optimality, each service buys resour-
Lðu; X; h; p; nÞ ¼ Bi ln ui þ pj ð1 xi;j Þ ces only from ENs giving its MBB value. In other words,
i j i the optimal solution to the EG program maximizes the
X X XX (12)
þ hi ai;j xi;j ui þ ni;j xi;j : utility of every service subject to the budget constraint
i j i j because every service uses all of its money to purchase its
MBB resources. This can be inferred from (17) and (18).
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 309
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
310 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 311
P
Finally, ui ðt 1Þ ¼ j ui;j ðt 1Þ is the total utility of service i strategy converges, it converges to an NE. As mentioned in
at iteration t 1. The salient feature of this algorithm is that it [30], the algorithm normally converges after a few rounds.
can be implemented efficiently in a distributed manner. In Interestingly, our simulation shows that buyers do not
particular, each EN only needs to know the total bid that it gain significantly by playing BR. Indeed, most of buyers
receives to compute the price while each buyer only needs to achieve lower utilities in the PropBR scheme compared to
know its own information and learns its utilities achieved in the PropDyn scheme. Furthermore, to play BR dynamics,
the previous iteration to compute its new bids. The algorithm each buyer has to know total bids of others and the actual
terminates when the price deviation of every EN is suffi- capacity of every EN [30]. In PropDyn, buyers only need to
ciently small [29]. The major difference between this novel know their own information. Therefore, in a proportional
algorithm and traditional distributed algorithms is that in sharing system, buyers may not have incentives to play BR.
each iteration, every service computes its new bids as men-
tioned above instead of its optimal demand bundle. 7 NET PROFIT MAXIMIZATION
Different from the basic model, in the second model, the serv-
Algorithm 1. Function Approximation Algorithm
ices try to optimize their net profits (i.e., revenue minus
1: Initialization: iteration t = 0, set initial prices of ENs cost) insteadP of revenue. Specifically, the net profit of service
pð0Þ ¼ p0 , and set step size að0Þ and tolerance g to be small. i is vi ðxi Þ ¼ j ðai;j pj Þxi;j ; 8i: Given prices p, the objective
2: repeat of service i is to maximize Ui ðxi ; pÞ ¼ vi ðxi Þ subject to:
3: At iteration t, the platform broadcasts prices p(t) to the P
j xi;j pj Bi ; 8i and xi;j 0; 8i; j. Indeed, maximizing
P
buyers.
the net profitP vi ðxi Þ is equivalent to maximizing
P j ðai;j
4: Each buyer computes its optimal demand xi ðtÞ using (32)
pj Þxi;j þ Bi ¼ j ai;j xi;j þ si , where si ¼ Bi j pj xi;j is the
and sends it to the platform.
surplus money of service i after purchasing xi . Inspired by
5: The platform updates the prices PN
pj ðtþ 1Þ ¼ max fpj ðtÞ
the EG program for the basic model, we would like to con-
þ aðtÞ 1 i¼1 xi;j ðtÞ ; 0g; 8j struct a similar convex program to capture the ME in this
6: until pj ðt þ 1Þ pj ðtÞ < g; 8j, or the number of iterations t
is too large. new model.
7: Output: equilibrium prices p and optimal allocation X . Note that without budget consideration, this game-theo-
retic problem can be solved efficiently by writing down a
social welfare maximization problem (i.e., maximizing sum
Algorithm 2. Best Response Dynamics Algorithm [30] of utilities of all the services), then use the dual decomposi-
1: Sort ENs according to the decreasing order of bi;j
a
i;j
. tion method [33] to decompose it into sub-problems, each of
Output a sorted list Li ¼ fi1 ; i2 ; . . . ; iM g: which is solved by one service. Each sub-problem is exactly
2: Find the largest k such that a net profit maximization problem of a service. Unfortu-
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
ai;i bi;ik Pk nately, this strategy fails when we consider budget since the
Pk pkffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi ðBi þ j¼1 bi;ij Þ bi;ik 0 social welfare maximization problem cannot be decom-
ai;ij bi;ij
j¼1
3: Set bil ¼ 0 for l > k, and for 1 l k, set posed due to the coupling budget constraints.
pffiffiffiffiffiffiffiffiffiffiffiffiffiffi Our derivation of the new convex optimization problem
ai;i bi;il Pk
bil ¼ Pk plffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi Bi þ j¼1 bi;ij bi;il is based on reverse-engineering the basic model.
ai;ij bi;ij
j¼1
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
312 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 313
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
314 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 315
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
316 IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 9, NO. 1, JANUARY-MARCH 2021
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.
NGUYEN ET AL.: PRICE-BASED RESOURCE ALLOCATION FOR EDGE COMPUTING: A MARKET EQUILIBRIUM APPROACH 317
Duong Tung Nguyen received the BSc degree Vijay K. Bhargava (S’70-M’74-SM’82-F’92-LF’13)
in electronics and telecommunications from the received the BASc, MASc, and PhD degrees from
Hanoi University of Science and Technology, Queens University, Kingston, in 1970, 1972, and
Hanoi, Vietnam, in 2011, and the MSc degree in 1974, respectively. He is currently a professor
telecommunications from the Institut National de with the Department of Electrical and Computer
du Que
la Recherche Scientifique, Universite bec, Engineering, The University of British Columbia,
Montre al, QC, Canada, in 2014. Currently, he is Vancouver, where he served as the Department
working toward the PhD degree in the Depart- Head from 2003 to 2008. Previously, he was with
ment of Electrical and Computer Engineering, the Indian Institute of Science from 1974 to 1975,
University of British Columbia, Canada. His the University of Waterloo in 1976, Concordia Uni-
research focuses on networking and economics. versity from 1976 to 1984, and the University of
He is a student member of the IEEE. Victoria from 1984 to 2003. He has held visiting appointments with the
Ecole Polytechnique de Montreal, the NTT Research Laboratory, the
Tokyo Institute of Technology, the University of Indonesia, The Hong Kong
Long Bao Le (S’04-M’07-SM’12) received the University of Science and Technology, Tohoku University, and Friedrich
BEng degree from Ho Chi Minh City University of Alexander University, Germany. He is currently a honorary professor with
Technology, Vietnam, in 1999, the MEng degree the University of Electronic Science and Technology of China, Chengdu,
from Asian Institute of Technology, Pathumthani, and a gandhi distinguished professor with IIT Bombay. He is currently with
Thailand, in 2002, and the PhD degree from the the Institute for Scientific Information Highly Cited list. He served as the
University of Manitoba, Winnipeg, MB, Canada, Founder and president of Binary Communications Inc., from 1983 to 2000.
in 2007. He was a post-doctoral researcher with He has co-authored/co-editor of seven books the latest of which is
the University of Waterloo from 2007 to 2008, Wireless-Powered Communication Networks (Cambridge University
and the Massachusetts Institute of Technology Press, 2016). He is a fellow of The Royal Society of Canada, The Canadian
from 2008 to 2010. Since 2010, he has been with Academy of Engineering and the Engineering Institute of Canada. He is a
the Institut National de la Recherche Scientifique foreign fellow of the National Academy of Engineering, India, and has
(INRS), Universite du Quebec, Montre al, QC, Canada, where he is cur- served as a distinguished visiting fellow of the Royal Academy of Engineer-
rently an associate professor. He co-authored the books Radio ing, United Kingdom. He has received numerous awards for his teaching,
Resource Management in Multi-Tier Cellular Wireless Networks (Wiley, research, and service to the IEEE. The latest awards are the Killam Prize in
2013) and Radio Resource Management in Wireless Networks: An Engi- Engineering awarded by the Canada Council for the Arts and the Humboldt
neering Approach (Cambridge University Press, 2017). His current Research Prize awarded by the Alexander von Humboldt Foundation of
research interests include smartgrids, cognitive radio, radio resource Germany. A long-time Volunteer of the IEEE, he has served as a director of
management, network control and optimization, and emerging enabling Region 7, in 1992 and 1993, a vice president of Regional Activities Board-
technologies for 5G wireless systems. He is a member of the Editorial RAB (now MGA), from 1994 to 1995, a president of the Information Theory
Board of the IEEE Transactions on Wireless Communications and the Society in 2000, a president of the IEEE Communications Society, in 2012
IEEE Communications Surveys and Tutorials. He has served as a Tech- and 2013, and he is currently the director for Division III, in 2018and 2019.
nical Program Committee chair/co-chair for the several IEEE conferen- He has served as an editor of the IEEE Transactions on Communications
ces including the IEEE WCNC, the IEEE VTC, and the IEEE PIMRC. He and as the editor-in-chief of the IEEE Transactions on Wireless Communi-
is a senior member of the IEEE. cations. He is a life fellow of the IEEE.
Authorized licensed use limited to: NATIONAL INSTITUTE OF TECHNOLOGY KURUKSHETRA. Downloaded on April 25,2022 at 18:06:34 UTC from IEEE Xplore. Restrictions apply.