塞尔达尔·卡迪奥卢 核心组布局：异构资源的分配和供应。 （英语） Zbl 1497.90175号 EURO J.计算。最佳方案。 7，第3号，243-264（2019）. 摘要：我们对一个最近引入的组合优化问题，即核心组布局问题进行了理论和实证研究。这个问题源于作为云管理中资源分配的一部分的真实业务需求。特别是，它侧重于为多个客户分配和供应一组异构资源，每个客户都有不同的服务级别协议。根据隐私、性能和容量要求，存在一些管理应用程序的业务规则。从理论角度来看，我们证明了该问题本质上是困难的，但从实际角度来看，本文展示了如何使用约束规划（CP），或者使用数学规划（MP），将其表示为一个约束优化程序。我们的实验结果表明，CP解决方案优于MP解决方案。然后，我们走向一个动态的环境，在这个环境中，问题会在现实世界中显现出来。我们表明，CP模型不仅解决了资源分配问题，而且还使资源调配能够在决策时考虑未来的考虑因素和系统增长。总的来说，CP解决方案是一个高效、易于维护且可以解决多种场景的高级声明性解决方案。 MSC公司： 90C27型 组合优化 91B32型 资源和成本分配（包括公平分配、分摊等） 关键词：云管理；异构资源分配；资源调配；约束编程；数学规划 软件：CPLEX公司；Gecode公司；斑疹病毒2；Lucene公司；索尔 PDF格式BibTeX公司 XML格式引用 \textit{S.Kadolu}，欧洲计算机杂志。最佳方案。7，第3号，243--264（2019；Zbl 1497.90175） 全文： 内政部 参考文献： [1] A brahám E、Corzilius F、Johnsen EB、Kremer G、Mauro J（2016）《Zephyrus2：使用SMT和CP技术的动态部署优化》。在：关于可靠软件工程的国际研讨会：理论、工具和应用。纽约州施普林格，第229-245页 [2] Ahuja RK、Magnanti TL、Orlin JB（1993）《网络流：理论、算法和应用》。Prentice-Hall公司，Upper Saddle River·Zbl 1201.90001号 [3] Apache（2016）Lucene核心。https://lucene.apache.org/。2017年8月16日访问 [4] Apt K（2003）约束编程原理。剑桥大学出版社·Zbl 1187.68132号 ·doi:10.1017/CBO9780511615320 [5] Boussemart F，Hemery F，Lecoutre C，Sais L（2004）通过加权约束促进系统搜索。In:ECAI，第16卷 [6] Cambazard H、Mehta D、OSullivan B、Simonis H（2013）《线性使用成本的垃圾箱包装——数据中心能源管理应用》。参加：约束规划原则和实践国际会议。纽约州施普林格，第47-62页 [7] De Cauwer M、Mehta D、O'Sullivan B（2016）《临时垃圾箱包装问题：数据中心工作量管理应用》。摘自：IEEE第28届人工智能工具国际会议（ICTAI），2016年，第157-164页 [8] Dupont C、Hermenier F、Schulze T、Basmadjian R、Somov A、Giuliani G（2015）Plug4green：一款灵活的能源感知虚拟机管理器，适合数据中心的特殊性。特设网络25:505-519·doi:10.1016/j.adhoc.2014.11.003 [9] Endo PT、de Almeida Palhares AV、Pereira NCVN、Gonçalves GE、Sadok D、Kelner J、Melander B、Mángs J（2011）《分布式云资源分配：概念和研究挑战》。IEEE Netw 25（4）：42-46。https://doi.org/10.109/MNET.2011.5958007 ·doi:10.1109/MNET.2011.5958007 [10] Hazewinkel M（2001）Minimax原理。《数学百科全书》。施普林格 [11] Hermenier F、Lawall J、Muller G（2013）Btrplace：高可用应用程序的灵活整合管理器。IEEE Trans可靠安全计算10（5）：273-286·doi:10.1109/TDSC.2013.5 [12] Hermenier F、Demassey S、Lorca X（2011）《虚拟化数据中心中的Bin重新打包调度》。In:约束编程原理与实践-CP 2011。纽约州施普林格第27-41页 [13] Hermenier F、Lorca X、Menaud JM、Muller G、Lawall J（2009）《熵：集群整合管理器》。收录：2009年ACM SIGPLAN/SIGOPS虚拟执行环境国际会议论文集。ACM，第41-50页 [14] IBM（2015）IBM ILOG CPLEX Optimization Studio 12.5 [15] Kadioglu S，Colena M，Sebbah S（2016）云管理中的异构资源分配。摘自：第15届IEEE网络计算和应用国际研讨会，2016年NCA，剑桥，波士顿，2016年，第35-38页。https://doi.org/10.109/NCA.2016.7778589 [16] Kant K（2009）《数据中心演变：最新技术、问题和挑战教程》。计算净值53（17）：2939-2965·doi:10.1016/j.comnet.2009.10.004 [17] Katriel I，Thiel S（2005）全局基数约束的完全界一致性。限制条件10（3）：191-217·兹比尔1084.68138 ·doi:10.1007/s10601-005-2237-y [18] Laurière J（1978）描述和解决组合问题的语言和程序。艺术情报10（1）：29-127。https://doi.org/10.1016/0004-3702(78)90029-2 ·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2 [19] Lim N，Majumdar S，Ashwood-Smith P（2015）基于约束编程的Hadoop调度器，用于处理云上具有截止日期的MapReduce作业。摘自：第六届ACM/SPEC性能工程国际会议记录，ICPE’15。ACM，纽约，第111-122页。https://doi.org/10.1145/2668930.2688058 [20] Lombardi M，Milano M（2012）资源分配和调度的最佳方法：一项跨学科调查。限制条件17（1）：51-85·doi:10.1007/s10601-011-9115-6 [21] Mitten L（1970）分枝定界法：一般公式和性质。运营研究18:24-34·Zbl 0225.90030号 ·数字对象标识代码：10.1287/opre.18.1.24 [22] Nemhauser G，Wolsey L（1988）整数与组合优化。Wiley-Interscience，纽约·Zbl 0652.90067号 ·doi:10.1002/9781118627372 [23] Oplobedu A，Marcovitch J，Tourbier Y（1989）Charme:un langage industriel de programmation par containtes，illustreépar une application chez renault。摘自：第九届专家系统及其应用国际研讨会会议记录：一般性会议，第55-70页 [24] Padberg M，Rinaldi G（1991）解决大规模旅行推销员问题的分支算法。SIAM版本33:66-100·Zbl 0734.90060号 ·数字对象标识代码：10.1137/1033004 [25] Rai A、Bhagwan R、Guha S（2012）《云的广义资源分配》。摘自：第三届ACM云计算研讨会论文集。ACM公司 [26] Rardin RL（2016）《运营研究中的优化》。德里皮尔逊 [27] Reale A、Bellavista P、Corradi A、Milano M（2014）《分布式流处理中规划动态资源供应的cp技术评估》。In：在约束编程中集成AI和OR技术。纽约州施普林格，第193-209页 [28] Refalo P（2004）约束编程的基于影响的搜索策略。In:约束编程原理与实践-CP 2004。施普林格，第557-571页·Zbl 1152.68577号 [29] Régin JC（1994）CSPS中差异约束的过滤算法。摘自：第十二届全国人工智能会议记录，第1卷，AAAI'94。美国人工智能协会，Menlo Park，第362-367页。http://dl.acm.org/citation.cfm？id=199288.178024 [30] Régin JC，Rezgui M（2011）关于约束编程装箱模型的讨论。用于数据中心管理和云计算的AI，第11卷 [31] Schaus P（2009）用约束编程解决平衡和装箱问题。卢瓦因拉纽夫天主教大学博士论文 [32] Sebbah S、Bagley C、Colena M、Kadioglu S（2016）基于云的内存数据网格中的可用性优化。摘自：《第22届约束规划原则与实践国际会议论文集》，CP 2016，图卢兹，2016，第666-679页。https://doi.org/10.1007/978-3-319-44953-1_42 [33] Shaw P（2004）垃圾箱包装的限制。In:约束编程原理与实践-CP 2004，Springer，New York，pp 648-662·兹比尔1152.68586 [34] Smiley D、Pugh E、Parisa K（2014）Apache Solr 4企业搜索服务器。伯明翰Packt出版社 [35] Team Gecode（2016）Gecode：通用约束开发环境。http://www.gecode.org/。2017年8月16日访问 [36] Van Hentenryck P，Carillon JP（1988年）《一般性与特异性：人工智能和手术室技术的经验》。摘自：第七届全国人工智能会议记录，第660-664页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。