Yuji Shinano;斯特凡·海因茨;斯特凡·维格尔斯克;迈克尔·温克勒 FiberSCIP–SCIP的共享内存并行化。 （英语） Zbl 1528.90165号 信息J.计算。 30，第1期，11-30（2018）. 摘要：最近，并行计算环境变得非常流行。为了获得使用并行计算环境的好处，我们必须有效地部署这些环境的程序。本文主要研究SCIP（Solving Constraint Integer Programs）的并行化，SCIP是一个混合整数线性规划求解器和源代码中可用的约束整数规划框架。SCIP有一个名为ParaSCIP的并行扩展，它在大规模并行分布式内存计算环境中并行化SCIP。本文介绍了FiberSCIP，它是SCIP的另一个并行扩展，用于在共享内存计算环境中利用多线程并行计算，其贡献如下：首先，我们提出了具有两个并行扩展的基本概念，以及它们与UG（Ubiquity Generator）提供的并行化框架之间的关系，包括确定性并行化的实现。其次，我们讨论了在实际计算环境中利用所有资源实现良好性能的困难，以及并行求解器性能评估的困难。第三，我们提出了一种评估新算法性能和并行扩展参数设置的方法。最后，我们展示了FiberSCIP在并行求解混合整数线性规划（MIPs）和混合整数非线性规划（MINLP）方面的当前性能。在线附录位于https://doi.org/10.1287/ijoc.2017.0762. 引用于8文件 MSC公司： 90立方厘米 混合整数编程 64岁以下 分布式系统 90立方 非线性规划 68宽10 计算机科学中的并行算法 90C57型 多面体组合数学，分枝与定界，分枝与割 关键词：平行;分叉装订;确定性并行;约束整数规划;混合整数规划;混合整数非线性规划;SCIP公司;MIP公司;MINLP公司 软件：阿尔卑斯山;MIPLIB公司;BLIS公司;最小自由流动性;CHiPPS公司;HTCondor兆瓦;优化软件基准;MIPLIB2003公司;光纤SCIP;CPLEX公司;缎子;肱二头肌;PICO公司;无人值守地面;交响曲;SCIP公司;FATCOP公司;GAMS游戏;ParSSSE公司;SCIP插孔;PEBBL公司;DIMACS公司;ParaLEX公司;副SCIP;剑道;CapoOne公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shinano}等人，《信息与计算》。30，编号1，11--30（2018；Zbl 1528.90165） 全文： 内政部 参考文献： [1] Achterberg T（2007）约束整数规划。柏林理工大学博士论文。谷歌学者·Zbl 1430.90427号 [2] Achterberg T、Koch T、Martin A（2006）MIPLIB 2003。操作。Res.Lett公司。34（4）:1-12.Crosref，谷歌学者·Zbl 1133.90300号 ·doi:10.1016/j.orl.2005.07.009 [3] Bendjoudi A、Melab N、Talbi EG（2012）《电网自适应分层主从（AHMW）框架——B&B算法的应用》。J.并行分布式计算。72（2）：120-131.Crossref，谷歌学者·doi:10.1016/j.jpdc.2011.10.002 [4] Berthold T（2013）测量原始启发式的影响。操作。Res.Lett公司。41（6）:611-614.Crossref，谷歌学者·Zbl 1287.90037号 ·doi:10.1016/j.orl.2013.08.007 [5] Berthold T，Heinz S，Pfetsch ME（2009）非线性伪布尔优化：松弛还是传播？Kullmann O编辑。满意度测试理论与应用-SAT 2009，《计算机科学讲稿》（柏林施普林格），441-446.Crossref，谷歌学者·doi:10.1007/978-3-642-02777-2-40 [6] Berthold T、Heinz S、Vigerske S（2011）《扩展CIP框架以解决MIQCP》。Lee J，Leyfer S编辑。混合整数非线性规划《数学及其应用IMA卷》，第154卷（纽约斯普林格），427-444。谷歌学者·Zbl 1242.90120号 [7] Bixby RE、Cook W、Cox A、Lee EK（1999）分布式环境中并行混合整数编程的计算经验。安·Oper。物件。90:19-43.Crossref，谷歌学者·Zbl 0937.90073号 ·doi:10.1023/A:1018960631213 [8] Bussieck MR、Drud AS、Meeraus A（2003）MINLPLib-混合整数非线性规划的测试模型集合。信息J.计算。15（1）：114-119链接，谷歌学者·Zbl 1238.90104号 [9] Bussieck MR、Ferris MC、Meeraus A（2009）《GAMS的电网支持优化》。信息J.计算。21（3）：349-362.谷歌学者链接·兹比尔1243.90255 [10] Chen Q，Ferris MC（2000）FATCOP：容错Condor-PVM混合整数规划求解器。SIAM J.Optim公司。11（4）：1019-1036.Crossref，谷歌学者·Zbl 1010.90050 ·doi:10.1137/S10526234993911 [11] Chen Q，Ferris MC，Linderath J（2001）FATCOP 2.0：机会主义混合整数规划求解器的高级功能。安·Oper。物件。103（1-4）:17-32.Crossref，谷歌学者·兹比尔1039.90046 ·doi:10.1023/A:1012982400848 [12] Dolan ED，MoréJJ（2002）《性能曲线基准优化软件》。数学。编程91（2）：201-213.Crossref，谷歌学者·邮编：1049.90004 ·doi:10.1007/s101070100263 [13] Eckstein J（1994）CM-5上通用混合整数规划的并行分枝定界算法。SIAM J.Optim公司。4（4）：794-814.Crossref，谷歌学者·Zbl 0819.90063号 ·doi:10.1137/0804046 [14] Eckstein J，Hart WE，Phillips CA（2001）PICO：并行分支绑定的面向对象框架。Butnariu D，Censor Y，Reich S，编辑。可行性与优化中的内在并行算法及其应用《爱思唯尔计算数学研究科学丛书》（Elsevier，亚特兰大），219-265。谷歌学者克罗斯里·Zbl 0989.90130号 ·doi:10.1016/S1570-579X（01）80014-8 [15] Eckstein J，Phillips CA，Hart WE（2009）PEBBL 1.0用户指南。RUTCOR研究报告RRR 19-2006，罗格斯大学罗格斯运营研究中心。谷歌学者 [16] Gamrath G、Koch T、Maher S、Rehfeldt D、Shinano Y（2014）SCIP-Jack-A求解器，用于STP和具有并行化扩展的变体。与ICERM合作举办的第11届DIMACS实施挑战研讨会：斯坦纳树问题。谷歌学者 [17] Goux J-P，Kulkarni S，Yoder M，Linderoth J（2001）Master worker:计算网格应用程序的启用框架。集群计算。4（1）：63-70.谷歌学者交叉引用·doi:10.1023/A:1011416310759 [18] Koch T、Ralphs T、Shinano Y（2012），我们能否使用一百万个核来求解整数程序？数学。方法操作。物件。76（1）：67-93.Crossref，谷歌学者·Zbl 1262.90106号 ·doi:10.1007/s00186-012-0390-9 [19] Koch T、Achterberg T、Andersen E、Bastert O、Berthold T、Bixby RE、Danna Eet等人（2011）MIPLIB 2010混合整数编程库版本5。数学。编程计算。3（2）：103-163.Crossref，谷歌学者·doi:10.1007/s12532-011-0025-9 [20] Linderath J（1998）并行整数优化主题。佐治亚州亚特兰大乔治亚理工学院工业与系统工程学院未发表博士论文。谷歌学者 [21] Liu T，Curtsinger C，Berger ED（2011）《线程：高效确定性多线程》。程序。第二十届ACM交响乐团。操作系统原理，SOSP’11（ACM，纽约），327-336.Crossref，谷歌学者·doi:10.1145/2043556.2043587 [22] Lozi J-P、Lepers B、Funston J、Gaud F、Quema V、Fedorova A（2016）《Linux调度器：浪费核心的十年》。程序。第十一届欧洲会议计算。系统，EuroSys’16（ACM，纽约），1-16.Crossref，谷歌学者·doi:10.1145/2901318.2901326 [23] Martins R、Manquinho V、Lync I（2012）《并行SAT求解概述》。约束条件17（3）:304-347.Crossref，谷歌学者·Zbl 1309.90057号 ·doi:10.1007/s10601-012-9121-3 [24] Mitra G，Hai I，Hajian MT（1997）使用工作站集群求解整数程序的分布式处理算法。并行计算。23（6）：733-753.Crossref，谷歌学者·Zbl 0907.68022号 ·doi:10.1016/S0167-8191（97）00016-1 [25] Mittelmann H（2011）混合整数线性规划基准（串行代码）。2017年6月12日访问，http://plato.asu.edu/ftp/milpf.html谷歌学者 [26] Montesinos P，Hicks M，King ST，Torrellas J（2009）Capo：实用确定性多处理器回放的软件接口。ACM SIGPLAN通知44（3）：73-84.Crossref，谷歌学者·doi:10.1145/1508284.1508254 [27] Nwana V，Darby-Dowman K，Mitra G（2004）混合整数规划的两阶段并行分支定界算法。IMA J.管理数学。15（3）：227-242.Crossref，谷歌学者·Zbl 1070.90077号 ·doi:10.1093/imaman/15.3.227 [28] Olszewski M，Ansel J，Amarasinghe S（2009）Kendo：软件中的高效确定性多线程。ACM SIGPLAN通知44（3）：97-108。交叉引用，谷歌学者·doi:10.1145/1508284.1508256 [29] Ralphs T、Shinano Y、Berthold T、Koch T（2017）混合整数线性规划的并行求解器。ZIB报告16-74，柏林祖塞研究所。谷歌学者 [30] Ralphs TK（2006）平行分支和切割。Talbi E编辑。并行组合优化（威利，纽约），53-101.Crossref，谷歌学者·数字对象标识代码：10.1002/9780470053928.ch3 [31] Ralphs TK，Güzelsoy M，Mahajan A（2011）SYMPHONY 5.4用户手册。技术报告，COR@L（升）宾夕法尼亚州伯利恒利海大学实验室。谷歌学者 [32] Ralphs TK，Ladányi L，Saltzman MJ（2003）大规模离散优化的并行分支、削减和价格。数学。编程系列。B98（1-3）：253-280.Crossref，谷歌学者·兹比尔1082.90102 ·doi:10.1007/s10107-003-0404-8 [33] Ralphs TK，Ladányi L，Saltzman MJ（2004）实现可扩展并行搜索算法的库层次结构。J.超级计算机。28（2）：215-234.Crossref，谷歌学者·Zbl 1062.90039号 ·doi:10.1023/B:SUPE.0000020179.55383.ad [34] Shinano Y，Fujie T（2007）Paralex：CPLEX混合整数优化器的并行扩展。Cappello F，Herault T，Dongarra J，编辑。并行虚拟机和消息传递接口的最新进展，《计算机科学讲稿》，第4757卷（柏林施普林格出版社），97-106。Crossref，谷歌学者·doi:10.1007/978-3-540-75416-9_19 [35] Shinano Y，Achterberg T，Fujie T（2008）新型ParaLEX的动态负载平衡机制。Hobbs M，Xiang Y，Zhou W，编辑。程序。第14届国际米兰。Conf.并行分布式系统，ICPADS’08（IEEE Computer Society，Washington，DC），455-462.Crossref，谷歌学者·doi:10.1109/ICPADS.2008.75 [36] Shinano Y、Achterberg T、Berthold T、Heinz S、Koch T（2012）《ParaSCIP：SCIP的并行扩展》。Bischof C、Hegering HG、Nagel WE、Wittum G编辑。程序。国际。2010年高性能计算大会能力（柏林施普林格），135-148年，谷歌学者 [37] Shinano Y、Achterberg T、Berthold T、Heinz S、Koch T、Winkler M（2015）在超级计算机上使用ParaSCIP解决开放MIP实例，最多使用80000个内核。ZIB报告15-53，柏林祖斯研究所。谷歌学者 [38] Shinno Y，Fujie T，Kounoike Y（2003）在PUBB2框架中并行化ILOG-CPLEX混合整数优化器的有效性。Kosch H，Bszrmnyi L，Hellwagner H，eds。2003年Euro-Par并行处理，《计算机科学讲稿》，第2790卷（柏林施普林格出版社），451-460.Crossref，谷歌学者·doi:10.1007/978-3-540-45209-6_67 [39] Shinano Y，Heinz S，Vigerske S，Winkler M（2013）FiberSCIP-A SCIP的共享内存并行化。柏林Zuse研究所ZIB报告13-55。谷歌学者 [40] Sun Y，Zheng G，Jetley P，KaléLV（2011）ParSSSE:自适应并行状态空间搜索引擎。并行处理Lett。21（3）:319-338.Crossref，谷歌学者·Zbl 1253.68062号 ·doi:10.1142/S0129626411000242 [41] van Nieuwpoort RV，Wrzesináska G，Jacobs CJH，Bal HE（2010）Satin：一种高级高效的网格编程模型。ACM事务处理。编程语言系统32（3）：1-39 Crossref，谷歌学者·数字对象标识代码：10.1145/1709093.1709096 [42] Vigerske S（2013）多级随机规划的分解和混合整数非线性规划的约束整数规划方法。柏林洪堡大学博士论文。谷歌学者 [43] Vigerske S，Gleixner A（2016）SCIP：分支和切割框架中混合整数非线性规划的全局优化。ZIB报告16-24，柏林Zuse研究所。谷歌学者·Zbl 1398.90112号 [44] 徐毅·Zbl 1243.90010号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。