A cut-and-solve algorithm for virtual machine consolidation problem

The virtual machine consolidation problem attempts to determine which servers to be activated, how to allocate virtual machines to the activated servers, and how to migrate virtual machines among servers such that the summation of activated, allocation, and migration costs is minimized subject to th...

Full description

Saved in:
Bibliographic Details
Published inFuture generation computer systems Vol. 154; pp. 359 - 372
Main Authors Luo, Jiang-Yao, Chen, Liang, Chen, Wei-Kun, Yuan, Jian-Hua, Dai, Yu-Hong
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.05.2024
Subjects
Online AccessGet full text
ISSN0167-739X
1872-7115
DOI10.1016/j.future.2024.01.010

Cover

Loading…
Abstract The virtual machine consolidation problem attempts to determine which servers to be activated, how to allocate virtual machines to the activated servers, and how to migrate virtual machines among servers such that the summation of activated, allocation, and migration costs is minimized subject to the resource constraints of the servers and other practical constraints. In this paper, we first propose a new mixed integer linear programming formulation for the virtual machine consolidation problem. We show that compared with existing formulations, the proposed formulation is much more compact in terms of smaller numbers of variables or constraints, which makes it suitable for solving large-scale problems. We then develop a cut-and-solve algorithm, a tree search algorithm to efficiently solve the virtual machine consolidation problem to optimality. The proposed cut-and-solve algorithm is based on a novel relaxation of the virtual machine consolidation problem that provides a stronger lower bound than the natural continuous relaxation of the virtual machine consolidation problem, making a smaller search tree. By extensive computational experiments, we show that (i) the proposed formulation significantly outperforms existing formulations in terms of solution efficiency; (ii) compared with standard mixed integer linear programming solvers, the proposed cut-and-solve algorithm is much more efficient; and (iii) compared with an existing heuristic algorithm, the proposed cut-and-solve algorithm is better able to balance workload distribution across servers and achieve higher resource utilization. •New MILP formulations are proposed for the virtual machine consolidation problem.•The proposed new formulation is much more compact than existing formulations.•A cut-and-solve algorithm is developed to solve the problem to optimality.•The proposed cut-and-solve algorithm relies on a novel relaxation of the problem.
AbstractList The virtual machine consolidation problem attempts to determine which servers to be activated, how to allocate virtual machines to the activated servers, and how to migrate virtual machines among servers such that the summation of activated, allocation, and migration costs is minimized subject to the resource constraints of the servers and other practical constraints. In this paper, we first propose a new mixed integer linear programming formulation for the virtual machine consolidation problem. We show that compared with existing formulations, the proposed formulation is much more compact in terms of smaller numbers of variables or constraints, which makes it suitable for solving large-scale problems. We then develop a cut-and-solve algorithm, a tree search algorithm to efficiently solve the virtual machine consolidation problem to optimality. The proposed cut-and-solve algorithm is based on a novel relaxation of the virtual machine consolidation problem that provides a stronger lower bound than the natural continuous relaxation of the virtual machine consolidation problem, making a smaller search tree. By extensive computational experiments, we show that (i) the proposed formulation significantly outperforms existing formulations in terms of solution efficiency; (ii) compared with standard mixed integer linear programming solvers, the proposed cut-and-solve algorithm is much more efficient; and (iii) compared with an existing heuristic algorithm, the proposed cut-and-solve algorithm is better able to balance workload distribution across servers and achieve higher resource utilization. •New MILP formulations are proposed for the virtual machine consolidation problem.•The proposed new formulation is much more compact than existing formulations.•A cut-and-solve algorithm is developed to solve the problem to optimality.•The proposed cut-and-solve algorithm relies on a novel relaxation of the problem.
Author Luo, Jiang-Yao
Chen, Liang
Chen, Wei-Kun
Dai, Yu-Hong
Yuan, Jian-Hua
Author_xml – sequence: 1
  givenname: Jiang-Yao
  orcidid: 0000-0002-7985-3860
  surname: Luo
  fullname: Luo, Jiang-Yao
  email: luoshui3000@bupt.edu.cn
  organization: School of Science, Beijing University of Posts and Telecommunications, 100876, Beijing, China
– sequence: 2
  givenname: Liang
  orcidid: 0000-0002-3316-8331
  surname: Chen
  fullname: Chen, Liang
  email: chenliang@lsec.cc.ac.cn
  organization: LSEC, ICMSEC, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China
– sequence: 3
  givenname: Wei-Kun
  orcidid: 0000-0003-4147-1346
  surname: Chen
  fullname: Chen, Wei-Kun
  email: chenweikun@bit.edu.cn
  organization: School of Mathematics and Statistics/Beijing Key Laboratory on MCAACI, Beijing Institute of Technology, Beijing 100081, China
– sequence: 4
  givenname: Jian-Hua
  surname: Yuan
  fullname: Yuan, Jian-Hua
  email: jianhuayuan@bupt.edu.cn
  organization: School of Science, Beijing University of Posts and Telecommunications, 100876, Beijing, China
– sequence: 5
  givenname: Yu-Hong
  surname: Dai
  fullname: Dai, Yu-Hong
  email: dyh@lsec.cc.ac.cn
  organization: LSEC, ICMSEC, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China
BookMark eNqFkM1Kw0AUhQepYFt9AxfzAol3Mvl1IZTiHxTcKLgbJndu7JQkUyaTgm9val25UDhwNuc73HsWbNa7nhi7FhALEPnNLm7GMHqKE0jSGMQkOGNzURZJVAiRzdh8ihVRIav3C7YYhh0AiEKKOVuvOI4h0r2JBtceiOv2w3kbth1vnOcH68OoW95p3NqeOLp-ilmjg3U933tXt9RdsvNGtwNd_fiSvT3cv66fos3L4_N6tYlQQh4iYyqsqcyrrBQmJ5OUJemC6lTWhTTGEAJqkGmSIWayKtEYafImxwwJRIpyyW5PvejdMHhqFNrwfUnw2rZKgDrOoXbqNIc6zqFATIIJTn_Be2877T__w-5OGE2PHSx5NaClHslYTxiUcfbvgi_8wYCZ
CitedBy_id crossref_primary_10_25728_ubs_2024_109_12
crossref_primary_10_1007_s11235_024_01184_9
Cites_doi 10.1016/j.future.2019.08.004
10.1109/TSC.2016.2596289
10.1007/s10898-020-00967-z
10.1016/j.future.2012.05.015
10.1016/j.cosrev.2021.100366
10.1007/s12532-008-0001-1
10.1007/s10589-008-9183-8
10.1016/j.rcim.2011.07.002
10.1109/CCGrid.2012.112
10.1109/TSC.2014.2382555
10.1016/j.ejor.2012.03.047
10.1287/ijoc.10.4.427
10.1016/j.is.2015.03.003
10.1002/cpe.1867
10.1007/s13675-017-0084-4
10.1016/j.ejor.2018.11.062
10.1023/A:1009841107478
10.4236/jsea.2013.66039
10.1016/j.jcss.2013.02.004
10.1109/TSC.2016.2616868
10.1007/s10107-010-0359-5
10.1016/j.artint.2006.02.005
10.1016/j.cor.2019.07.007
10.1016/j.future.2011.04.017
10.1016/j.future.2017.07.048
10.1287/moor.14.4.760
10.1145/1866739.1866751
10.1007/s10898-015-0294-3
10.1016/j.future.2011.04.016
10.1109/TSC.2010.25
10.1145/2797211
10.1145/3470972
10.1287/ijoc.12.1.75.11898
10.1016/j.future.2016.12.022
10.1145/945445.945462
10.1016/j.future.2016.05.013
ContentType Journal Article
Copyright 2024 Elsevier B.V.
Copyright_xml – notice: 2024 Elsevier B.V.
DBID AAYXX
CITATION
DOI 10.1016/j.future.2024.01.010
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1872-7115
EndPage 372
ExternalDocumentID 10_1016_j_future_2024_01_010
S0167739X24000104
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1~.
1~5
29H
4.4
457
4G.
5GY
5VS
7-5
71M
8P~
9JN
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABFNM
ABJNI
ABMAC
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
AEBSH
AEKER
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CS3
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBLVA
GBOLZ
HLZ
HVGLF
HZ~
IHE
J1W
KOM
LG9
M41
MO0
MS~
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
PC.
Q38
R2-
RIG
ROL
RPZ
SBC
SDF
SDG
SES
SEW
SPC
SPCBC
SSV
SSZ
T5K
UHS
WUQ
XPP
ZMT
~G-
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABWVN
ACRPL
ADNMO
AEIPS
AFJKZ
AFXIZ
AGCQF
AGQPQ
AGRNS
AIIUN
ANKPU
APXCP
BNPGV
CITATION
SSH
ID FETCH-LOGICAL-c306t-dd9cbe869581d6ed288ea7eb43b73dddec0ca03425cc5398cdd3d6f6c5ce014c3
IEDL.DBID .~1
ISSN 0167-739X
IngestDate Tue Jul 01 02:30:14 EDT 2025
Thu Apr 24 23:10:07 EDT 2025
Sat Feb 24 15:49:07 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Cut-and-solve
Mixed integer linear programming
Cutting plane
Exact algorithm
Virtual machine consolidation
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c306t-dd9cbe869581d6ed288ea7eb43b73dddec0ca03425cc5398cdd3d6f6c5ce014c3
ORCID 0000-0002-7985-3860
0000-0002-3316-8331
0000-0003-4147-1346
PageCount 14
ParticipantIDs crossref_citationtrail_10_1016_j_future_2024_01_010
crossref_primary_10_1016_j_future_2024_01_010
elsevier_sciencedirect_doi_10_1016_j_future_2024_01_010
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate May 2024
2024-05-00
PublicationDateYYYYMMDD 2024-05-01
PublicationDate_xml – month: 05
  year: 2024
  text: May 2024
PublicationDecade 2020
PublicationTitle Future generation computer systems
PublicationYear 2024
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References He, Zou, Zhang, Chen, Jin, Jarvis (b12) 2014; 32
Mann (b24) 2015; 48
Achterberg (b19) 2009; 1
Zhou, Abawajy, Chowdhury, Hu, Li, Cheng, Alelaiwi, Li (b49) 2018; 86
Marotta, Avallone (b13) 2015
Jiang, Feng, Zhao, Li (b15) 2017; 74
Alibaba (b28) 2022
Dias, Correia, Malheiros (b8) 2021; 54
Gadegaard, Klose, Nielsen (b35) 2018; 6
Dargie (b29) 2014
Pisinger (b41) 2000; 12
Wolsey (b38) 2020
Chen, Chen, Yang, Dai (b42) 2021; 81
Yang, Chen, Chu, Wang (b34) 2019; 275
Xu (b1) 2012; 28
Ferreto, Netto, Calheiros, De Rose (b20) 2011; 27
Beloglazov, Buyya (b7) 2011; 24
Barham, Dragovic, Fraser, Hand, Harris, Ho, Neugebauer, Pratt, Warfield (b4) 2003; 37
Dantzig, Thapa (b37) 2003
Alibaba Cloud (b48) 2018
Zemel (b46) 1989; 14
Helali, Omri (b23) 2021; 39
Gu, Nemhauser, Savelsbergh (b44) 1998; 10
Dhyani, Gualandi, Cremonesi (b27) 2010
Wu, Ishikawa, Zhu, Xia (b10) 2019; 12
Speitkamp, Bichler (b5) 2010; 3
Farahnakian, Ashraf, Pahikkala, Liljeberg, Plosila, Porres, Tenhunen (b14) 2015; 8
Gu, Nemhauser, Savelsbergh (b45) 2000; 4
Laili, Tao, Wang, Zhang, Lin (b21) 2021; 14
M. Bichler, T. Setzer, B. Speitkamp, Capacity planning for virtualized servers, in: Workshop on Information Technologies and Systems, WITS, 2006.
Zetina, Contreras, Cordeau (b36) 2019; 111
Kaparis, Letchford (b43) 2010; 124
Sharma, Reddy (b11) 2019; 12
Wolke, Tsend-Ayush, Pfeiffer, Bichler (b22) 2015; 52
H. Goudarzi, M. Ghasemazar, M. Pedram, SLA-based optimization of power and migration cost in cloud computing, in: 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID, 2012, pp. 172–179.
Beloglazov, Abawajy, Buyya (b6) 2012; 28
Li, Yu, Yu, Guo, Chang (b16) 2020; 102
Mazumdar, Pranzo (b17) 2017; 70
Ryan (b2) 2011; 54
Yang, Chu, Chen (b33) 2012; 221
GUROBI (b18) 2022
Anselmi, Amaldi, Cremonesi (b26) 2008
Rybina, Dargie, Strunk, Schill (b30) 2013
Avella, Boccia, Vasilyev (b39) 2010; 45
CPLEX (b31) 2022
Wang (b3) 2013; 6
Vasilyev, Boccia, Hanafi (b40) 2016; 66
Climer, Zhang (b32) 2006; 170
Nemhauser, Wolsey (b50) 1988
Gao, Guan, Qi, Hou, Liu (b47) 2013; 79
Farahnakian (10.1016/j.future.2024.01.010_b14) 2015; 8
Helali (10.1016/j.future.2024.01.010_b23) 2021; 39
Mann (10.1016/j.future.2024.01.010_b24) 2015; 48
Beloglazov (10.1016/j.future.2024.01.010_b7) 2011; 24
Jiang (10.1016/j.future.2024.01.010_b15) 2017; 74
Gu (10.1016/j.future.2024.01.010_b44) 1998; 10
Ryan (10.1016/j.future.2024.01.010_b2) 2011; 54
10.1016/j.future.2024.01.010_b25
Anselmi (10.1016/j.future.2024.01.010_b26) 2008
Yang (10.1016/j.future.2024.01.010_b33) 2012; 221
Ferreto (10.1016/j.future.2024.01.010_b20) 2011; 27
Marotta (10.1016/j.future.2024.01.010_b13) 2015
Sharma (10.1016/j.future.2024.01.010_b11) 2019; 12
Dhyani (10.1016/j.future.2024.01.010_b27) 2010
Gao (10.1016/j.future.2024.01.010_b47) 2013; 79
Beloglazov (10.1016/j.future.2024.01.010_b6) 2012; 28
Chen (10.1016/j.future.2024.01.010_b42) 2021; 81
Dias (10.1016/j.future.2024.01.010_b8) 2021; 54
Nemhauser (10.1016/j.future.2024.01.010_b50) 1988
Wang (10.1016/j.future.2024.01.010_b3) 2013; 6
Speitkamp (10.1016/j.future.2024.01.010_b5) 2010; 3
Gu (10.1016/j.future.2024.01.010_b45) 2000; 4
GUROBI (10.1016/j.future.2024.01.010_b18) 2022
Achterberg (10.1016/j.future.2024.01.010_b19) 2009; 1
Dantzig (10.1016/j.future.2024.01.010_b37) 2003
Avella (10.1016/j.future.2024.01.010_b39) 2010; 45
Barham (10.1016/j.future.2024.01.010_b4) 2003; 37
Wolsey (10.1016/j.future.2024.01.010_b38) 2020
Li (10.1016/j.future.2024.01.010_b16) 2020; 102
Zhou (10.1016/j.future.2024.01.010_b49) 2018; 86
He (10.1016/j.future.2024.01.010_b12) 2014; 32
Climer (10.1016/j.future.2024.01.010_b32) 2006; 170
10.1016/j.future.2024.01.010_b9
Wolke (10.1016/j.future.2024.01.010_b22) 2015; 52
Dargie (10.1016/j.future.2024.01.010_b29) 2014
Zemel (10.1016/j.future.2024.01.010_b46) 1989; 14
Xu (10.1016/j.future.2024.01.010_b1) 2012; 28
Gadegaard (10.1016/j.future.2024.01.010_b35) 2018; 6
Kaparis (10.1016/j.future.2024.01.010_b43) 2010; 124
Pisinger (10.1016/j.future.2024.01.010_b41) 2000; 12
Vasilyev (10.1016/j.future.2024.01.010_b40) 2016; 66
Mazumdar (10.1016/j.future.2024.01.010_b17) 2017; 70
Yang (10.1016/j.future.2024.01.010_b34) 2019; 275
Zetina (10.1016/j.future.2024.01.010_b36) 2019; 111
CPLEX (10.1016/j.future.2024.01.010_b31) 2022
Alibaba (10.1016/j.future.2024.01.010_b28) 2022
Alibaba Cloud (10.1016/j.future.2024.01.010_b48) 2018
Laili (10.1016/j.future.2024.01.010_b21) 2021; 14
Wu (10.1016/j.future.2024.01.010_b10) 2019; 12
Rybina (10.1016/j.future.2024.01.010_b30) 2013
References_xml – volume: 12
  start-page: 158
  year: 2019
  end-page: 171
  ident: b11
  article-title: Multi-objective energy efficient virtual machines allocation at the cloud data center
  publication-title: IEEE Trans. Serv. Comput.
– volume: 8
  start-page: 187
  year: 2015
  end-page: 198
  ident: b14
  article-title: Using ant colony system to consolidate VMs for green cloud computing
  publication-title: IEEE Trans. Serv. Comput.
– start-page: 345
  year: 2008
  end-page: 352
  ident: b26
  article-title: Service consolidation with end-to-end response time constraints
  publication-title: 34th Euromicro Conference Software Engineering and Advanced Applications
– volume: 45
  start-page: 543
  year: 2010
  end-page: 555
  ident: b39
  article-title: A computational study of exact knapsack separation for the generalized assignment problem
  publication-title: Comput. Optim. Appl.
– volume: 54
  start-page: 1
  year: 2021
  end-page: 38
  ident: b8
  article-title: A systematic literature review on virtual machine consolidation
  publication-title: ACM Comput. Surv. (CSUR)
– volume: 48
  start-page: 1
  year: 2015
  end-page: 34
  ident: b24
  article-title: Allocation of virtual machines in cloud data centers—a survey of problem models and optimization algorithms
  publication-title: ACM Comput. Surv.
– volume: 3
  start-page: 266
  year: 2010
  end-page: 278
  ident: b5
  article-title: A mathematical programming approach for server consolidation problems in virtualized data centers
  publication-title: IEEE Trans. Serv. Comput.
– volume: 102
  start-page: 789
  year: 2020
  end-page: 809
  ident: b16
  article-title: Energy-efficient and quality-aware VM consolidation method
  publication-title: Future Gener. Comput. Syst.
– volume: 66
  start-page: 127
  year: 2016
  end-page: 150
  ident: b40
  article-title: An implementation of exact knapsack separation
  publication-title: J. Global Optim.
– volume: 12
  start-page: 75
  year: 2000
  end-page: 82
  ident: b41
  article-title: A minimal algorithm for the bounded knapsack problem
  publication-title: INFORMS J. Comput.
– volume: 52
  start-page: 83
  year: 2015
  end-page: 95
  ident: b22
  article-title: More than bin packing: Dynamic resource allocation strategies in cloud data centers
  publication-title: Inf. Syst.
– volume: 170
  start-page: 714
  year: 2006
  end-page: 738
  ident: b32
  article-title: Cut-and-solve: An iterative search strategy for combinatorial optimization problems
  publication-title: Artificial Intelligence
– start-page: 1
  year: 2013
  end-page: 8
  ident: b30
  article-title: Investigation into the energy cost of live migration of virtual machines
  publication-title: Sustainable Internet and ICT for Sustainability (SustainIT)
– year: 2022
  ident: b18
  article-title: GUROBI optimizer reference manual
– volume: 1
  start-page: 1
  year: 2009
  end-page: 41
  ident: b19
  article-title: SCIP: solving constraint integer programs
  publication-title: Math. Program. Comput.
– reference: M. Bichler, T. Setzer, B. Speitkamp, Capacity planning for virtualized servers, in: Workshop on Information Technologies and Systems, WITS, 2006.
– volume: 6
  start-page: 313
  year: 2013
  end-page: 318
  ident: b3
  article-title: Influences of cloud computing on e-commerce businesses and industry
  publication-title: J. Softw. Eng. Appl.
– volume: 275
  start-page: 467
  year: 2019
  end-page: 480
  ident: b34
  article-title: An effective hybrid approach to the two-stage capacitated facility location problem
  publication-title: European J. Oper. Res.
– volume: 81
  start-page: 659
  year: 2021
  end-page: 689
  ident: b42
  article-title: An exact separation algorithm for unsplittable flow capacitated network design arc-set polyhedron
  publication-title: J. Global Optim.
– volume: 74
  start-page: 132
  year: 2017
  end-page: 141
  ident: b15
  article-title: DataABC: A fast ABC based energy-efficient live VM consolidation policy with data-intensive energy evaluation model
  publication-title: Future Gener. Comput. Syst.
– volume: 4
  start-page: 109
  year: 2000
  end-page: 129
  ident: b45
  article-title: Sequence independent lifting in mixed integer programming
  publication-title: J. Comb. Optim.
– start-page: 1
  year: 2014
  end-page: 8
  ident: b29
  article-title: Estimation of the cost of VM migration
  publication-title: 23rd International Conference on Computer Communication and Networks
– volume: 39
  year: 2021
  ident: b23
  article-title: A survey of data center consolidation in cloud computing systems
  publication-title: Comput. Sci. Rev.
– year: 2003
  ident: b37
  article-title: Linear Programming 2: Theory and Extensions
– volume: 221
  start-page: 521
  year: 2012
  end-page: 532
  ident: b33
  article-title: A cut-and-solve based algorithm for the single-source capacitated facility location problem
  publication-title: European J. Oper. Res.
– year: 1988
  ident: b50
  article-title: Integer and Combinatorial Optimization
– volume: 12
  start-page: 550
  year: 2019
  end-page: 563
  ident: b10
  article-title: Energy and migration cost-aware dynamic virtual machine consolidation in heterogeneous cloud datacenters
  publication-title: IEEE Trans. Serv. Comput.
– volume: 28
  start-page: 75
  year: 2012
  end-page: 86
  ident: b1
  article-title: From cloud computing to cloud manufacturing
  publication-title: Robot. Comput.-Integr. Manuf.
– start-page: 97
  year: 2010
  end-page: 101
  ident: b27
  article-title: A constraint programming approach for the service consolidation problem
  publication-title: International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming
– volume: 70
  start-page: 4
  year: 2017
  end-page: 16
  ident: b17
  article-title: Power efficient server consolidation for cloud data center
  publication-title: Future Gener. Comput. Syst.
– volume: 124
  start-page: 69
  year: 2010
  end-page: 91
  ident: b43
  article-title: Separation algorithms for 0-1 knapsack polytopes
  publication-title: Math. Program.
– reference: H. Goudarzi, M. Ghasemazar, M. Pedram, SLA-based optimization of power and migration cost in cloud computing, in: 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID, 2012, pp. 172–179.
– year: 2022
  ident: b28
  article-title: Cluster data
– year: 2020
  ident: b38
  article-title: Integer Programming
– year: 2018
  ident: b48
  article-title: Alibaba global scheduling algorithm competition
– volume: 14
  start-page: 760
  year: 1989
  end-page: 764
  ident: b46
  article-title: Easily computable facets of the knapsack polytope
  publication-title: Math. Oper. Res.
– volume: 27
  start-page: 1027
  year: 2011
  end-page: 1034
  ident: b20
  article-title: Server consolidation with migration control for virtualized data centers
  publication-title: Future Gener. Comput. Syst.
– volume: 6
  start-page: 1
  year: 2018
  end-page: 27
  ident: b35
  article-title: An improved cut-and-solve algorithm for the single-source capacitated facility location problem
  publication-title: EURO J. Comput. Optim.
– volume: 28
  start-page: 755
  year: 2012
  end-page: 768
  ident: b6
  article-title: Energy-aware resource allocation heuristics for efficient management of data centers for cloud computing
  publication-title: Future Gener. Comput. Syst.
– volume: 54
  start-page: 36
  year: 2011
  end-page: 38
  ident: b2
  article-title: Cloud computing privacy concerns on our doorstep
  publication-title: Commun. ACM
– year: 2022
  ident: b31
  article-title: User’s manual for CPLEX
– volume: 37
  start-page: 164
  year: 2003
  end-page: 177
  ident: b4
  article-title: Xen and the art of virtualization
  publication-title: Proc. ACM Symp. Operat. Syst. Principles
– start-page: 445
  year: 2015
  end-page: 452
  ident: b13
  article-title: A simulated annealing based approach for power efficient virtual machines consolidation
  publication-title: IEEE 8th International Conference on Cloud Computing
– volume: 14
  start-page: 30
  year: 2021
  end-page: 43
  ident: b21
  article-title: An iterative budget algorithm for dynamic virtual machine consolidation under cloud computing environment
  publication-title: IEEE Trans. Serv. Comput.
– volume: 32
  start-page: 69
  year: 2014
  end-page: 81
  ident: b12
  article-title: Developing resource consolidation frameworks for moldable virtual machines in clouds
  publication-title: Future Gener. Comput. Syst.
– volume: 79
  start-page: 1230
  year: 2013
  end-page: 1242
  ident: b47
  article-title: A multi-objective ant colony system algorithm for virtual machine placement in cloud computing
  publication-title: J. Comput. System Sci.
– volume: 24
  start-page: 1397
  year: 2011
  end-page: 1420
  ident: b7
  article-title: Optimal online deterministic algorithms and adaptive heuristics for energy and performance efficient dynamic consolidation of virtual machines in cloud data centers
  publication-title: Concurr. Comput.: Pract. Exper.
– volume: 10
  start-page: 427
  year: 1998
  end-page: 437
  ident: b44
  article-title: Lifted cover inequalities for 0-1 integer programs: Computation
  publication-title: INFORMS J. Comput.
– volume: 111
  start-page: 311
  year: 2019
  end-page: 324
  ident: b36
  article-title: Exact algorithms based on benders decomposition for multicommodity uncapacitated fixed-charge network design
  publication-title: Comput. Oper. Res.
– volume: 86
  start-page: 836
  year: 2018
  end-page: 850
  ident: b49
  article-title: Minimizing SLA violation and power consumption in Cloud data centers using adaptive energy-aware algorithms
  publication-title: Future Gener. Comput. Syst.
– volume: 102
  start-page: 789
  year: 2020
  ident: 10.1016/j.future.2024.01.010_b16
  article-title: Energy-efficient and quality-aware VM consolidation method
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2019.08.004
– volume: 12
  start-page: 158
  issue: 1
  year: 2019
  ident: 10.1016/j.future.2024.01.010_b11
  article-title: Multi-objective energy efficient virtual machines allocation at the cloud data center
  publication-title: IEEE Trans. Serv. Comput.
  doi: 10.1109/TSC.2016.2596289
– year: 2022
  ident: 10.1016/j.future.2024.01.010_b18
– volume: 81
  start-page: 659
  year: 2021
  ident: 10.1016/j.future.2024.01.010_b42
  article-title: An exact separation algorithm for unsplittable flow capacitated network design arc-set polyhedron
  publication-title: J. Global Optim.
  doi: 10.1007/s10898-020-00967-z
– volume: 32
  start-page: 69
  year: 2014
  ident: 10.1016/j.future.2024.01.010_b12
  article-title: Developing resource consolidation frameworks for moldable virtual machines in clouds
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2012.05.015
– volume: 39
  year: 2021
  ident: 10.1016/j.future.2024.01.010_b23
  article-title: A survey of data center consolidation in cloud computing systems
  publication-title: Comput. Sci. Rev.
  doi: 10.1016/j.cosrev.2021.100366
– year: 1988
  ident: 10.1016/j.future.2024.01.010_b50
– volume: 1
  start-page: 1
  issue: 1
  year: 2009
  ident: 10.1016/j.future.2024.01.010_b19
  article-title: SCIP: solving constraint integer programs
  publication-title: Math. Program. Comput.
  doi: 10.1007/s12532-008-0001-1
– volume: 45
  start-page: 543
  year: 2010
  ident: 10.1016/j.future.2024.01.010_b39
  article-title: A computational study of exact knapsack separation for the generalized assignment problem
  publication-title: Comput. Optim. Appl.
  doi: 10.1007/s10589-008-9183-8
– volume: 28
  start-page: 75
  issue: 1
  year: 2012
  ident: 10.1016/j.future.2024.01.010_b1
  article-title: From cloud computing to cloud manufacturing
  publication-title: Robot. Comput.-Integr. Manuf.
  doi: 10.1016/j.rcim.2011.07.002
– ident: 10.1016/j.future.2024.01.010_b9
  doi: 10.1109/CCGrid.2012.112
– volume: 8
  start-page: 187
  issue: 2
  year: 2015
  ident: 10.1016/j.future.2024.01.010_b14
  article-title: Using ant colony system to consolidate VMs for green cloud computing
  publication-title: IEEE Trans. Serv. Comput.
  doi: 10.1109/TSC.2014.2382555
– start-page: 1
  year: 2013
  ident: 10.1016/j.future.2024.01.010_b30
  article-title: Investigation into the energy cost of live migration of virtual machines
– volume: 221
  start-page: 521
  issue: 3
  year: 2012
  ident: 10.1016/j.future.2024.01.010_b33
  article-title: A cut-and-solve based algorithm for the single-source capacitated facility location problem
  publication-title: European J. Oper. Res.
  doi: 10.1016/j.ejor.2012.03.047
– volume: 10
  start-page: 427
  issue: 4
  year: 1998
  ident: 10.1016/j.future.2024.01.010_b44
  article-title: Lifted cover inequalities for 0-1 integer programs: Computation
  publication-title: INFORMS J. Comput.
  doi: 10.1287/ijoc.10.4.427
– volume: 52
  start-page: 83
  year: 2015
  ident: 10.1016/j.future.2024.01.010_b22
  article-title: More than bin packing: Dynamic resource allocation strategies in cloud data centers
  publication-title: Inf. Syst.
  doi: 10.1016/j.is.2015.03.003
– volume: 24
  start-page: 1397
  issue: 13
  year: 2011
  ident: 10.1016/j.future.2024.01.010_b7
  article-title: Optimal online deterministic algorithms and adaptive heuristics for energy and performance efficient dynamic consolidation of virtual machines in cloud data centers
  publication-title: Concurr. Comput.: Pract. Exper.
  doi: 10.1002/cpe.1867
– volume: 6
  start-page: 1
  issue: 1
  year: 2018
  ident: 10.1016/j.future.2024.01.010_b35
  article-title: An improved cut-and-solve algorithm for the single-source capacitated facility location problem
  publication-title: EURO J. Comput. Optim.
  doi: 10.1007/s13675-017-0084-4
– volume: 275
  start-page: 467
  issue: 2
  year: 2019
  ident: 10.1016/j.future.2024.01.010_b34
  article-title: An effective hybrid approach to the two-stage capacitated facility location problem
  publication-title: European J. Oper. Res.
  doi: 10.1016/j.ejor.2018.11.062
– volume: 4
  start-page: 109
  year: 2000
  ident: 10.1016/j.future.2024.01.010_b45
  article-title: Sequence independent lifting in mixed integer programming
  publication-title: J. Comb. Optim.
  doi: 10.1023/A:1009841107478
– start-page: 445
  year: 2015
  ident: 10.1016/j.future.2024.01.010_b13
  article-title: A simulated annealing based approach for power efficient virtual machines consolidation
– volume: 6
  start-page: 313
  issue: 6
  year: 2013
  ident: 10.1016/j.future.2024.01.010_b3
  article-title: Influences of cloud computing on e-commerce businesses and industry
  publication-title: J. Softw. Eng. Appl.
  doi: 10.4236/jsea.2013.66039
– volume: 79
  start-page: 1230
  issue: 8
  year: 2013
  ident: 10.1016/j.future.2024.01.010_b47
  article-title: A multi-objective ant colony system algorithm for virtual machine placement in cloud computing
  publication-title: J. Comput. System Sci.
  doi: 10.1016/j.jcss.2013.02.004
– ident: 10.1016/j.future.2024.01.010_b25
– volume: 12
  start-page: 550
  issue: 4
  year: 2019
  ident: 10.1016/j.future.2024.01.010_b10
  article-title: Energy and migration cost-aware dynamic virtual machine consolidation in heterogeneous cloud datacenters
  publication-title: IEEE Trans. Serv. Comput.
  doi: 10.1109/TSC.2016.2616868
– year: 2022
  ident: 10.1016/j.future.2024.01.010_b28
– volume: 14
  start-page: 30
  issue: 1
  year: 2021
  ident: 10.1016/j.future.2024.01.010_b21
  article-title: An iterative budget algorithm for dynamic virtual machine consolidation under cloud computing environment
  publication-title: IEEE Trans. Serv. Comput.
– year: 2022
  ident: 10.1016/j.future.2024.01.010_b31
– year: 2003
  ident: 10.1016/j.future.2024.01.010_b37
– start-page: 345
  year: 2008
  ident: 10.1016/j.future.2024.01.010_b26
  article-title: Service consolidation with end-to-end response time constraints
– volume: 124
  start-page: 69
  year: 2010
  ident: 10.1016/j.future.2024.01.010_b43
  article-title: Separation algorithms for 0-1 knapsack polytopes
  publication-title: Math. Program.
  doi: 10.1007/s10107-010-0359-5
– volume: 170
  start-page: 714
  issue: 8–9
  year: 2006
  ident: 10.1016/j.future.2024.01.010_b32
  article-title: Cut-and-solve: An iterative search strategy for combinatorial optimization problems
  publication-title: Artificial Intelligence
  doi: 10.1016/j.artint.2006.02.005
– volume: 111
  start-page: 311
  year: 2019
  ident: 10.1016/j.future.2024.01.010_b36
  article-title: Exact algorithms based on benders decomposition for multicommodity uncapacitated fixed-charge network design
  publication-title: Comput. Oper. Res.
  doi: 10.1016/j.cor.2019.07.007
– volume: 28
  start-page: 755
  issue: 5
  year: 2012
  ident: 10.1016/j.future.2024.01.010_b6
  article-title: Energy-aware resource allocation heuristics for efficient management of data centers for cloud computing
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2011.04.017
– year: 2018
  ident: 10.1016/j.future.2024.01.010_b48
– volume: 86
  start-page: 836
  year: 2018
  ident: 10.1016/j.future.2024.01.010_b49
  article-title: Minimizing SLA violation and power consumption in Cloud data centers using adaptive energy-aware algorithms
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2017.07.048
– volume: 14
  start-page: 760
  issue: 4
  year: 1989
  ident: 10.1016/j.future.2024.01.010_b46
  article-title: Easily computable facets of the knapsack polytope
  publication-title: Math. Oper. Res.
  doi: 10.1287/moor.14.4.760
– volume: 54
  start-page: 36
  issue: 1
  year: 2011
  ident: 10.1016/j.future.2024.01.010_b2
  article-title: Cloud computing privacy concerns on our doorstep
  publication-title: Commun. ACM
  doi: 10.1145/1866739.1866751
– volume: 66
  start-page: 127
  year: 2016
  ident: 10.1016/j.future.2024.01.010_b40
  article-title: An implementation of exact knapsack separation
  publication-title: J. Global Optim.
  doi: 10.1007/s10898-015-0294-3
– volume: 27
  start-page: 1027
  issue: 8
  year: 2011
  ident: 10.1016/j.future.2024.01.010_b20
  article-title: Server consolidation with migration control for virtualized data centers
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2011.04.016
– volume: 3
  start-page: 266
  issue: 4
  year: 2010
  ident: 10.1016/j.future.2024.01.010_b5
  article-title: A mathematical programming approach for server consolidation problems in virtualized data centers
  publication-title: IEEE Trans. Serv. Comput.
  doi: 10.1109/TSC.2010.25
– volume: 48
  start-page: 1
  issue: 1
  year: 2015
  ident: 10.1016/j.future.2024.01.010_b24
  article-title: Allocation of virtual machines in cloud data centers—a survey of problem models and optimization algorithms
  publication-title: ACM Comput. Surv.
  doi: 10.1145/2797211
– start-page: 1
  year: 2014
  ident: 10.1016/j.future.2024.01.010_b29
  article-title: Estimation of the cost of VM migration
– volume: 54
  start-page: 1
  issue: 8
  year: 2021
  ident: 10.1016/j.future.2024.01.010_b8
  article-title: A systematic literature review on virtual machine consolidation
  publication-title: ACM Comput. Surv. (CSUR)
  doi: 10.1145/3470972
– volume: 12
  start-page: 75
  issue: 1
  year: 2000
  ident: 10.1016/j.future.2024.01.010_b41
  article-title: A minimal algorithm for the bounded knapsack problem
  publication-title: INFORMS J. Comput.
  doi: 10.1287/ijoc.12.1.75.11898
– volume: 70
  start-page: 4
  year: 2017
  ident: 10.1016/j.future.2024.01.010_b17
  article-title: Power efficient server consolidation for cloud data center
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2016.12.022
– start-page: 97
  year: 2010
  ident: 10.1016/j.future.2024.01.010_b27
  article-title: A constraint programming approach for the service consolidation problem
– year: 2020
  ident: 10.1016/j.future.2024.01.010_b38
– volume: 37
  start-page: 164
  issue: 5
  year: 2003
  ident: 10.1016/j.future.2024.01.010_b4
  article-title: Xen and the art of virtualization
  publication-title: Proc. ACM Symp. Operat. Syst. Principles
  doi: 10.1145/945445.945462
– volume: 74
  start-page: 132
  year: 2017
  ident: 10.1016/j.future.2024.01.010_b15
  article-title: DataABC: A fast ABC based energy-efficient live VM consolidation policy with data-intensive energy evaluation model
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2016.05.013
SSID ssj0001731
Score 2.4143565
Snippet The virtual machine consolidation problem attempts to determine which servers to be activated, how to allocate virtual machines to the activated servers, and...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 359
SubjectTerms Cut-and-solve
Cutting plane
Exact algorithm
Mixed integer linear programming
Virtual machine consolidation
Title A cut-and-solve algorithm for virtual machine consolidation problem
URI https://dx.doi.org/10.1016/j.future.2024.01.010
Volume 154
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF5KvXjxLT7LHryuTbPJPo6lWKpiL1roLWQf0UiblpL26G93Ntn4AFEQcknYgfCxO_t98M0MQlciVNLyKCAyUwYESpzBmeOScKE4qGZGTeQKhR_GbDSJ7qbxtIUGTS2Ms1X63F_n9Cpb-y9dj2Z3mefdR2eg51ROnQvSqQpXwR5xZ-u7fvu0efS4n0kICcGtbsrnKo9X3bcDVGIYVc07XR3tT9fTlytnuId2PFfE_fp39lHLFgdot5nDgP2xPESDPtbrkqSFIbCTNhans-cFiP6XOQZKijf5yhWJ4Hnlm7QYFDAsy-thSthPlDlCk-HN02BE_HAEooHll8QYqZUVTMbAOJk1oRA25VZFVHFqIGnpQKeuv1-sdUyl0MZQwzKmY21BFml6jNrForAnCGeRFiEoQQBSAbvKFKBjM5mmjBkgFMEpog0mifadw90Ai1nSWMRekxrJxCGZBD14IIp8RC3rzhl_rOcN3Mm3HZBAcv818uzfkedo273VBsYL1C5Xa3sJJKNUnWoXddBW__Z-NH4HbzHSsQ
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JasMwEBVpcmgv3Uv36tCriGPZln0MocFtlksTyE1Yi1uXxAnByfd3ZMuhhdJCwSdbA2aQnt6DNzMIPYauiDTzHBKlQoFA8VM4cywiLBQMVHNAlWcKhUfjIJ56LzN_1kC9uhbG2Cot9leYXqK1fdO22Wyvsqz9agz0jEYz44I0qmIPtUx3Kq-JWt3nQTzeAXKH2bGEgAkmoK6gK21eVesOEIquV_bvNKW0P91QX26d_jE6tHQRd6s_OkENnZ-io3oUA7Yn8wz1ulhuCpLkisBm2mqczN-WoPvfFxhYKd5ma1MngheldVJjEMGwLKvmKWE7VOYcTftPk15M7HwEIoHoF0SpSAodBpEPpDPQyg1DnTAtPCoYVYBb0pGJafHnS-nTKJRKURWkgfSlBmUk6QVq5stcXyKcejJ0QQxCLgUQrFRAdnQaJUkQKOAUzhWidU64tM3DzQyLOa9dYh-8yiQ3meROBx6IIruoVdU844_1rE43_7YJOOD7r5HX_458QPvxZDTkw-fx4AYdmC-Vn_EWNYv1Rt8B5yjEvd1Tn7K_1WI
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+cut-and-solve+algorithm+for+virtual+machine+consolidation+problem&rft.jtitle=Future+generation+computer+systems&rft.au=Luo%2C+Jiang-Yao&rft.au=Chen%2C+Liang&rft.au=Chen%2C+Wei-Kun&rft.au=Yuan%2C+Jian-Hua&rft.date=2024-05-01&rft.issn=0167-739X&rft.volume=154&rft.spage=359&rft.epage=372&rft_id=info:doi/10.1016%2Fj.future.2024.01.010&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_future_2024_01_010
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-739X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-739X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-739X&client=summon