×
梅德利纳·埃拉什库;佛罗里达州米科塔;丹妮拉·扎哈里

使用优化模理论、数学编程和对称破缺，在基于组件的应用程序云中进行可扩展的优化部署。 （英语） Zbl 1518.68021号

J.日志。阿尔盖布。方法计划。 121，文章ID 100664，23 p.（2021）.
摘要：自动化部署属于基于组件的应用程序在云计算中，包括分配各种云提供商提供的虚拟机（VM），以满足组件之间的交互和组件硬件/软件需求引起的约束，并优化性能目标（例如，成本最小化）。它可以表示为一个约束优化问题，因此，原则上，优化可以自动执行。如果虚拟机提供的数据集很大（几百个），计算量很大，使用当前的通用优化模理论（OMT）和数学规划（MP）工具几乎无法实现自动优化。我们通过方法学分析问题的特殊性来克服困难，目的是确定搜索空间缩减方法。这些方法利用：（i）这个对称一般云部署问题，（ii）这个图形表示与特定于每个特定应用的结构约束相关，以及（iii）它们的组合。使用六种对称破坏策略和两种类型的优化求解器，对四类现实世界中的问题进行了广泛的实验分析。
因此，当使用OMT解决由此产生的优化问题时，将变量约简策略与柱状对称破缺器相结合将导致可扩展的部署解决方案。

MSC公司：

68英里11 互联网主题
90 C90 数学规划的应用

关键词：

云计算;资源调配;优化模理论;数学规划;对称性破坏

软件：

算法864;KeY-ABS公司;CPLEX公司;z3（零3）;悉尼商学院;中美合作所;斑疹病毒2;优化数学卫星;vZ（虚拟Z）
PDF格式BibTeX公司 XML格式引用
\textit{M.Erašcu}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100664，23 p.（2021；Zbl 1518.68021）
全文： 内政部 arXiv公司

参考文献：

[1] Humble，J。；Farley，D.，《持续交付：通过构建、测试和部署自动化的可靠软件发布》（2010），Addison-Wesley Professional
[2] N.Björner，SpecOps:Infusing Azure with Verifible Reliability（邀请谈话），软件定义网络的正式基础（与VI IEEE网络功能虚拟化和软件定义网络会议一起举行），2020年。
[3] Din，C.C。；布贝尔，R。；Hähnle，R.，KeY-ABS：并发建模语言ABS的演绎验证工具，（Felty，a.P.；Middeldorp，a.，《自动演绎-CADE-25》（2015），Springer International Publishing:Springer国际出版公司Cham），517-526·Zbl 1465.68174号
[4] 艾伯特·E。；阿雷纳斯，P。；Flores-Montoya，A。；根奈姆，S。；Gómez-Zamalloa，M。；Martin-Martin，E。；普埃布拉，G。；Román-Díez，G.，中美合作所：并发对象的静态分析器，（An brahám，E.；Havelund，K.，《系统构建和分析的工具和算法》（2014），施普林格：施普林格柏林，海德堡），562-567
[5] （Burns，B.；Beda，J.；Hightower，K.，Kubernetes:《向基础设施的未来进军》（2019），O'Reilly）
[6] 杜塔，S。；Gera，S。；Verma，A。；Viswanathan，B.，SmartScale:企业云中的自动应用程序扩展，（2012年IEEE第五届云计算国际会议（2012）），221-228
[7] 甘，Y。；Zhang，Y。；Cheng，D。；Shetty，A。；Rathi，P。；北卡罗来纳州卡塔基。；布鲁诺，A。；胡，J。；Ritchken，B。；B.杰克逊。；胡克。；潘乔利，M。；何毅。；克兰西，B。；Colen，C。；文，F。；Leung，C。；王，S。；扎鲁文斯基，L。；埃斯皮诺萨，M。；林·R。；刘，Z。；Padilla，J。；Delimitrou，C.，《云与边缘系统的微服务及其硬件软件影响的开源基准套件》，（第二十四届国际编程语言和操作系统体系结构支持会议论文集。第二十四届编程语言与操作系统体系架构支持国际会议论文集，ASPLOS’19（2019），计算机械协会：美国纽约州纽约市计算机械协会），3-18
[8] Martello，S。；Pisinger，D。；维戈，D。；Boef，E.D。；Korst，J.，《864算法：三维装箱问题的一般和机器人可包装变体》，ACM Trans。数学。软质。，33，1（2007），7-es
[9] 科夫曼，E.G。；Garey，M.R。；Johnson，D.S.，《二进制分组在多处理器调度中的应用》，SIAM J.Compute。，7, 1, 1-17 (1978) ·Zbl 0374.68032号
[10] 费尔南德斯·德拉维加（Fernandez de la Vega，W.）。；Lueker，G.S.，Bin-packing可以在线性时间内1+ϵ内求解，组合数学，1,4349-355（1981）·Zbl 0485.68057号
[11] 别洛格拉佐夫，A。；Buyya，R.，虚拟化云数据中心中的能效资源管理，（2010年第10届IEEE/ACM集群、云和网格计算国际会议论文集。2010年第十届IEEE/ACM集群、云与网格计算国际大会论文集，CCGRID’10（2010），IEEE计算机学会：IEEE计算机协会（美国华盛顿特区），826-831
[12] de Carvalho，J.M.V.，《装箱和切割库存问题的LP模型》，欧洲期刊Oper。研究，141，2，253-273（2002）·Zbl 1059.90095号
[13] Korte，B。；Vygen，J.，《组合优化：理论与算法》（2012），Springer Publishing Company，Incorporated·Zbl 1237.90001号
[14] B.詹宁斯。；Stadler，R.，《云资源管理：调查和研究挑战》，J.Netw。系统。管理。，23, 3, 567-619 (2015)
[15] IBM、IBM ILOG IBM ILOG CPLEX Optimization Studio CPLEX用户手册。第12版（2016）
[16] 比约纳，N。；Phan，A。；Fleckenstein，L.，ΓZ-一个优化SMT求解器，（系统构建和分析的工具和算法-第21届国际会议。系统构建和分析的工具和算法-第21届国际会议，TACAS 2015，英国伦敦，2015年4月11日至18日。会议记录（2015），194-199
[17] E·阿尔布拉哈姆。；科齐利厄斯，F。；约翰森，E.B。；Kremer，G。；Mauro，J.，Zephyrus2：使用SMT和CP技术进行动态部署优化，（可靠软件工程：理论、工具和应用——第二届国际研讨会。可靠软件工程——理论、工具与应用——第2届国际研讨会，2016年11月9日至11日，中国北京，SETTA 2016，Proceedings（2016）），229-245
[18] de Moura，L。；Björner，N.，Z3:高效SMT求解器，（Ramakrishnan，C.R.；Rehof，J.，《系统构建和分析的工具和算法》（2008），施普林格：施普林格柏林，海德堡），337-340
[19] 卡索拉，V。；Benedictis，A.D。；Erascu，M。；莫迪克，J。；Rak，M.，《在云中自动实施安全SLA》，IEEE Trans。服务。计算。，10, 5, 741-755 (2017)
[20] Erascu，M。；Iuhasz，G。；Micota，F.，云资源管理机构的架构，（第20届科学计算符号和数字算法国际研讨会。第20届国际科学计算符号与数字算法研讨会，2018年SYNASC，2018年9月20日至23日，罗马尼亚蒂米索拉），288-295
[21] Cosmo，R.D。；Lienhardt，M。；Treinen，R。；扎奇罗利，S。；兹沃拉科夫斯基，J。；艾切，A。；Agahi，A.，《云应用程序的自动合成和部署》，（ACM/IEEE自动化软件工程国际会议。ACM/EEE自动化软件工程问题国际会议，ASE’14，瑞典瓦斯特拉斯，2014年9月15日至19日（2014年）），211-222
[22] 弗莱纳，P。；弗里希，A。；Hnich，B。；克孜尔坦，Z。；米格尔，I。；Walsh，T.，矩阵建模：利用约束规划中的常见模式，（Frisch，A.，《重构约束满足问题国际研讨会论文集》（2002）），27-41
[23] 弗莱纳，P。；弗里希，A.M。；赫尼奇，B。；克孜尔坦，Z。；米格尔，I。；皮尔逊，J。；Walsh，T.，打破矩阵模型中的行和列对称性，（约束规划的原理和实践-CP 2002，第八届国际会议。约束规划的原理和实践-CP 2002，第八届国际会议，CP 2002，美国纽约伊萨卡，2002年9月9日至13日，会议记录（2002）），462-476
[24] （Rossi，F.；van Beek，P.；Walsh，T.，《约束编程手册》，《人工智能基础》，第2卷（2006），Elsevier）·Zbl 1175.90011号
[25] 塞巴斯蒂亚尼，R。；Trentin，P.，OptiMathSAT:优化模理论的工具
[26] 李毅。；Albarghouthi，A。；金凯，Z。；Gurfinkel，A。；Chechik，M.，用SMT求解器进行符号优化，（第41届ACM SIGPLAN-SIGACT编程语言原理研讨会。第41届APM SIGPLAN SIGACT程序设计语言原理研讨会，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月20日至21日（2014）），607-618·Zbl 1284.68410号
[27] Erascu，M。；Metes，R.，优化模理论的约束优化基准：云资源管理问题，（SMT 2019第17届可满足模理论国际研讨会。SMT 2018第17届国际可满足模论研讨会，与SAT相关，2019年7月7日至8日，葡萄牙里斯本（2019）），7-8
[28] 古普塔，S。；J·多米尼克。；马修斯，P。；Muntés Mulero，V。；Omerovic，A.，决策工具包原型–最终版本（2015年），技术代表。
[29] 埃拉什库姆。；Micota，F。；Zaharie，D.，《云中应用程序放置的可扩展混合方法》，（2015年会议网格，科学中的云高性能计算，2015年会议栅格，科学中云高性能计算机，ROLCG（2015）），1-4
[30] 卡索拉，V。；Benedictis，A.D。；Rak，M。；美国维拉诺，《多云应用程序中的安全设计：优化方法》，《信息科学》。，454-455、344-362（2018）
[31] 张杰。；黄，H。；Wang，X.，《云计算中的资源提供算法：一项调查》，J.Netw。计算。申请。，64, 23-42 (2016)
[32] De Cauwer，M。；梅塔，D。；O'Sullivan，B.，《时态bin-packing问题：数据中心工作量管理的应用》，（2016年IEEE第28届人工智能工具国际会议，2016年第28届国际人工智能工具会议，ICTAI（2016）），157-164
[33] Roselli，S.F。；Bengtsson，K。；Akesson，K.，《灵活车间调度问题的SMT求解器：计算分析》，（2019年IEEE第15届国际自动化科学与工程会议，2019年第15届IEEE国际自动化科学和工程会议，CASE（2019））
[34] Anjos，M.F。；奥斯特罗斯基，J.P。；Vannelli，A.，《调度问题中的对称性》（2010）
[35] 雷金，J。；Rezgui，M.，《关于约束编程bin-packing模型的讨论》，（AI for Data Center Management and Cloud Computing，2011年AAAI Workshop论文。AI for DataCenter Management and云计算，2011年美国加州旧金山AAAI研讨会论文，2011年8月7日（2011））
[36] 克孜尔坦，Z。；Hnich，B.，机架配置问题中的对称性破坏，（IJCAI 2001约束问题建模和解决研讨会论文集（2001））
[37] Gervet，C.，关于集合的推理的区间传播：实用语言的定义和实现，约束，1,3191-244（1997）·Zbl 0870.68039号
[38] Jans，R。；Desrosiers，J.，作业分组问题的有效对称破缺公式，计算。操作。研究，40，4，1132-1142（2013）·Zbl 1349.90646号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。