格米斯，简 精确求解PBA级GPU加速超级计算机上的硬置换flowshop调度问题。 （英语） Zbl 1502.90074号 信息J.计算。 34，第5期，2502-2522（2022）. 摘要：置换流水车间调度中的最大跨度最小化问题是一个著名的组合优化难题。在E.Taillard于1993年提出的120个标准基准实例中[E.尾翼，欧洲药典操作指南。第64号决议，第2号，278–285（1993年；Zbl 0769.90052号)]近30年来，23个问题仍未解决。在本文中，我们尝试在GPU加速系统上使用并行分枝定界（BB）来解决这些问题让·扎伊超级计算机。我们报告了11个以前未解决的问题实例的精确解，以及8个实例的改进上限。解决这些问题需要改进算法，并利用PBA级高性能计算平台的计算能力。挑战在于如何在由数百个大规模并行加速器设备和多核处理器组成的分布式系统上高效地执行高度不规则和细粒度搜索树的并行深度首次遍历。我们介绍并讨论了基于置换的BB的设计和实现，并在多达384个V100 GPU（200万CUDA核）和3840个CPU核上对其并行性能进行了实验评估。最大求解实例的优化证明需要大约64年的CPU计算时间——使用256个GPU和400多万个并行搜索代理，搜索树的遍历在13小时内完成，搜索10 ^{12}个节点（339倍）。 引用于1文件 MSC公司： 90B35型 运筹学中的确定性调度理论 90C57型 多面体组合学，分支与绑定，分支与切割 关键词：排列流水车间调度;分支和绑定;超级计算;GPU计算 引文：Zbl 0769.90052号 软件：DOGS-PFSP公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Gmys}，信息J.计算。34，第5号，2502--2522（2022；Zbl 1502.90074） 全文： 内政部 arXiv公司 哈尔 参考文献： [1] Anstreicher K，Brixius N，Goux JP，Linderath J（2002）在计算网格上解决大型二次分配问题。数学。编程91(3):563-588. http://dx.doi.org/10.1007/s101070100255.交叉引用，谷歌学者·Zbl 1030.90105号 ·doi:10.1007/s101070100255 [2] Asanovic K、Bodik R、Demmel J、Keaveny T、Keutzer K、Kubiatowicz J、Morgan N、Patterson D、Sen K、Wawrzynek J、Wessel D、Yelick K（2009）《并行计算前景展望》。Commun公司。ACM公司52(10):56-67. http://dx.doi.org/10.1145/1562764.1562783.交叉引用，谷歌学者·数字对象标识代码：10.1145/1562764.1562783 [3] Bader DA、Hart WE、Phillips CA（2005）分枝定界并行算法设计（纽约州施普林格）。http://dx.doi.org/10.1007/0-387-22827-6-5交叉引用，谷歌学者·doi:10.1007/0-387-22827-65 [4] Cappello F（2009）PBascale/exascale系统的容错：当前知识、挑战和研究机会。国际。J.高性能计算。申请。23（3）：212-226.Crossref，谷歌学者·doi:10.1177/1094342009106189 [5] Carneiro T，Muritiba A，Negreiros M，de Campos GL（2011）使用GPGPU的分枝定界算法的新并行模式。交响乐。计算。架构高性能计算。（IEEE Computer Society，Los Alamitos，CA），第41-47页。http://dx.doi.org/10.109/SBAC-PAD.2011.20.谷歌学者 [6] Chakroun I，Melab N（2015）《走向异构自适应并行分枝定界算法》。J.计算。系统科学。81(1):72-84. http://dx.doi.org/https://doi.org/10.1016/j.jcss.2014.06.012交叉引用，谷歌学者·Zbl 1410.68378号 ·doi:10.1016/j.jcss.2014.06.012 [7] Chakroun I、Melab N、Mezmaz M、Tuyttens D（2013）《将多核和GPU计算结合起来解决组合优化问题》。J.并行分布式计算。73(12):1563-1577. http://dx.doi.org/https://doi.org/10.1016/j.jpdc.2013.07.023.交叉引用，谷歌学者·doi:10.1016/j.jpdc.2013.07.023 [8] Crainic TG、Le Cun B、Roucairol C（2006）并行分枝定界算法第1章（John Wiley&Sons，Ltd，Hoboken，NJ），1-28。http://dx.doi.org/https://doi.org/10.1002/9780470053928.ch1.Crossref，谷歌学者·doi:10.1002/9780470053928.ch1 [9] Date K，Nagi R（2019）基于二级重新计算线性化技术的并行算法，用于解决图形处理单元集群上的大型二次分配问题。信息J.计算。31(4):771-789. http://dx.doi.org/10.1287/ijoc.2018.0866链接，谷歌学者·Zbl 1528.90174号 [10] de Bruin A，Kinderwater GAP，Trienekens HWJM（1995）《异步并行分支和界限与异常》。费雷拉A，罗利姆J，编辑。不规则结构问题的并行算法（施普林格-柏林-海德堡，柏林，海德堡），363-377。ISBN 978-3-540-44915-7.交叉引用，谷歌学者·doi:10.1007/3-540-60321-229 [11] Deroussi L，Gourgand M，Norre S（2006）置换流水车间问题的新有效邻域。技术报告LIMOS/RR-06-09，LIMOS，奥弗涅克莱蒙特大学。https://hal.archives-ouvertes.fr/hal-00678053/.谷歌学者 [12] Dubois-Lacoste J，Pagnozzi F，Stützle T（2017）最大跨度置换flowshop问题部分解优化的迭代贪婪算法。计算。操作。物件。81:160-166. http://dx.doi.org/https://doi.org/10.1016/j.cor.2016.12.021.交叉引用，谷歌学者·Zbl 1391.90257号 ·doi:10.1016/j.cor.2016.12.021 [13] Fonlupt C，Marquet P，Dekeyser JL（1994）MasPar MP-1负载平衡实验结果的数据平行视图。Gentzsch W，Harms U编辑。高性能计算和网络（施普林格-柏林-海德堡，柏林，海德堡），338-343。ISBN 978-3-540-48408-0.谷歌学者交叉引用·doi:10.1007/3-540-57981-8_141 [14] Garey MR、Johnson DS、Sethi R（1976）《流水车间和车间调度的复杂性》。数学。操作。物件。1（2）：117-129链接，谷歌学者·Zbl 0396.90041号 [15] Gendron B，Crainic TG（1994）《并行分枝定界算法：综述与综合》。操作。物件。42（6）：1042-1066.链接，谷歌学者·Zbl 0824.90096号 [16] Gmys J（2017）多任务精确优化的异构集群计算——置换问题的应用。蒙斯大学/里尔大学博士论文。https://hal.inia.fr/tel-01652000.谷歌学者 [17] Gmys J（2021）置换流车间：Taillard和VRF基准的最佳制造跨度和时间表[数据集]。2021年2月16日访问，http://doi.org/10.5281/zenodo.4542886谷歌学者 [18] Gmys J、Mezmaz M、Melab N、Tuyttens D（2016）使用整数向量矩阵数据结构的基于GPU的分枝定界算法。并行计算。59:119-139, http://dx.doi.org/10.1016/j.parco.2016.01.008.交叉引用，谷歌学者·doi:10.1016/j.parco.2016.01.008 [19] Gmys J、Mezmaz M、Melab N、Tuyttens D（2017）基于IVM的并行分支绑定，在多GPU系统上使用分层工作窃取。Concur公司。计算。实际。支出。29（9）：e4019。http://dx.doi.org/https://doi.org/10.1002/cpe.4019交叉引用，谷歌学者·doi:10.1002/第409页 [20] Gmys J，Mezmaz M，Melab N，Tuyttens D（2020）置换流程车间调度问题的一种计算效率高的分枝定界算法。欧洲药典。物件。284(3):814-833. http://dx.doi.org/https://doi.org/10.1016/j.ejor.2020.01.039交叉引用，谷歌学者·Zbl 1441.90061号 ·doi:10.1016/j.ejor.2020.01.039 [21] Grabowski J、Skubalska E、Smutnicki C（1983）《带发布和到期日期的流水车间调度》，以最小化最大延迟。《运营杂志》。Res.Soc公司。34(7):615-620. http://dx.doi.org/10.1057/jors.1983.142交叉引用，谷歌学者·Zbl 0513.90042号 ·doi:10.1057/jors1983.142 [22] Grama A，Kumar V（1995）离散优化问题的并行搜索算法。ORSA J.计算。7(4):365-385. http://dx.doi.org/10.1287/ijoc.7.4.365.链接，谷歌学者·Zbl 0843.90098号 [23] Hoefler T，Lumsdaine A（2008）并行计算中的消息进展——到线程还是不到线程？2008 IEEE国际。Conf.集群计算。，213-222. http://dx.doi.org/10.109/CLUSTR.2008.4663774.谷歌学者 [24] Ignall E，Schrage L（1965）分支定界技术在一些流程调度问题中的应用。操作。物件。13(3):400-412. http://dx.doi.org/10.1287/opere.13.3.400.链接，谷歌学者 [25] Jenkins J、Arkatkar I、Owens JD、Choudhary A、Samatova NF（2011）《探索GPU回溯范式的经验教训》。Jeannot E，Namyst R，Roman J，编辑。2011年Euro-Par并行处理（施普林格-柏林-海德堡，柏林，海德堡），425-437。ISBN 978-3-642-23397-5.Crossref，谷歌学者·doi:10.1007/978-3-642-23397-5_42 [26] Johnson SM（1954）包含设置时间的最佳两阶段和三阶段生产计划。海军后勤研究。1(1):61-68. http://dx.doi.org/10.1002/nav.3800010110.交叉引用，谷歌学者·Zbl 1349.90359号 ·doi:10.1002/nav.3800010110 [27] Karypis G，Kumar V（1994）SIMD并行计算机上的非结构化树搜索。IEEE传输。平行配送系统。5:1057-1072.Crossref，谷歌学者·数字对象标识代码：10.1109/71.313122 [28] Kizilay D，Tasgetiren MF，Pan QK，Gao L（2019）一种可变块插入启发式算法，用于解决具有最大跨度准则的置换流水车间调度问题。算法（巴塞尔）。12（5）：100.Crossref，谷歌学者·Zbl 1461.90050 ·doi:10.3390/a12050100 [29] 克努思D（1997）《计算机程序设计艺术》，第2卷：半数值算法（Addison-Wesley Professional，雷丁，马萨诸塞州）。谷歌学者·Zbl 0895.68055号 [30] Lageweg BJ，Lenstra JK，Kan AHGR（1978）置换流跳跃问题的一般边界格式。操作。物件。26(1):53-67. http://dx.doi.org/10.1287/opere.26.1.53.链接，谷歌学者·Zbl 0371.90059号 [31] Libralesso L，Focke PA，Secardin A，Jost V（2022）置换flowshop的迭代波束搜索算法。欧洲药典。研究301（1）：217-234.谷歌学者·Zbl 1506.90106号 [32] Lomnicki ZA（1965）精确求解三台机器调度问题的“分枝定界”算法。《运营杂志》。Res.Soc公司。16(1):89-100. http://dx.doi.org/10.1057/jors.1965.7.Crossref（交叉引用），谷歌学者·doi:10.1057/jors.1965.7 [33] Melab N，Gmys J，Mezmaz M，Tuyttens D（2018）多核与多核计算，多任务分支与界限应用于大型优化问题。未来发电机计算。系统。82:472-481. http://dx.doi.org/https://doi.org/10.1016/j.future.2016.12.039交叉引用，谷歌学者·doi:10.1016/j.未来2016.12.039 [34] Mezmaz M，Melab N，Talbi E（2007）用于解决具有挑战性的组合优化问题的支持网格的分支定界算法。2007 IEEE国际。并行分布式处理Sympos。，1-9，网址http://dx.doi.org/10.109/IPDPS.2007.370217.谷歌学者 [35] Mezmaz M，Leroy R，Melab N，Tuyttens D（2014）使用阶乘数系统的多核并行分支定界算法。2014年IEEE第28届国际标准。并行分布式处理Sympos。，1203-1212. http://dx.doi.org/10.109/IPDPS.2014.124.谷歌学者 [36] Nowicki E，Smutnicki C（1996）置换流程跳跃问题的快速禁忌搜索算法。欧洲药典。物件。91(1):160-175. http://dx.doi.org/https://doi.org/10.1016/0377-2217（95）00037-2.Crossref，谷歌学者·Zbl 0947.90590号 ·doi:10.1016/0377-2217（95）00037-2 [37] Ożejko W（2009）通过并行编程解决流水车间问题。J.并行分布式计算。69(5):470-481. http://dx.doi.org/https://doi.org/10.1016/j.jpdc.2009.01.009.交叉引用，谷歌学者·doi:10.1016/j.jpdc.2009.01.009 [38] Pan QK，Tasgetiren MF，Liang YC（2008）置换流水车间调度问题的离散差分进化算法。计算。工业工程。55（4）：795-816.Crossref，谷歌学者·doi:10.1016/j.cie.2008.03.003 [39] Pessoa TC、Gmys J、Melab N、de Carvalho FH Jr、Tuyttens D（2016）基于GPU的置换组合问题回溯算法。Carretero J、Garcia-Blas J、Ko RK、Mueller P、Nakano K编辑。并行处理的算法和体系结构（施普林格国际出版公司，瑞士查姆），310-324。ISBN 978-3-319-49583-5.Crossref，谷歌学者·数字对象标识代码：10.1007/978-3-319-49583-5_24 [40] Potts C（1980）置换流程跳跃问题的自适应分支规则。欧洲药典。物件。5(1):19-25. http://dx.doi.org/https://doi.org/10.1016/0377-2217（80）90069-7.谷歌学者Crossref·Zbl 0436.90063号 ·doi:10.1016/0377-2217（80）90069-7 [41] Pruul E、Nemhauser G、Rushmeier R（1988）《分支绑定和并行计算：历史笔记》。操作。Res.Lett公司。7(2):65-69. http://dx.doi.org/https://doi.org/10.1016/0167-6377（88）90067-3.Crossref，谷歌学者·兹比尔0637.90097 ·doi:10.1016/0167-6377（88）90067-3 [42] Rao VN，Kumar V（1987），并行深度优先搜索，第一部分：实现。国际。J.并行程序16(6):479-499. http://dx.doi.org/10.1007/BF01389000.交叉引用，谷歌学者·Zbl 0665.68048号 ·doi:10.1007/BF01389000 [43] Ravetti MG、Riveros C、Mendes A、Resende MG、Pardalos PM（2012）置换流车间问题的并行混合启发式。安·Oper。物件。199（1）：269-284.Crossref，谷歌学者·Zbl 1251.90180号 ·doi:10.1007/s10479-011-1056-3 [44] Reinefeld A，Schnecke V（1994）高度并行深度优先搜索中的工作负载平衡。程序。IEEE可扩展高性能计算。Conf.（IEEE），773-780.谷歌学者 [45] Rocki K，Suda R（2010）GPU上的并行极大极小树搜索。Wyrzykowski R、Dongarra J、Karczewski K、Wasniewski J编辑。并行处理与应用数学（施普林格-柏林-海德堡，柏林，海德堡），449-456.Crossref，谷歌学者·doi:10.1007/978-3-642-14390-847 [46] Ruiz R，Stützle T（2007）置换流水车间调度问题的一种简单有效的迭代贪婪算法。欧洲药典。物件。177(3):2033-2049. http://dx.doi.org/https://doi.org/10.1016/j.ejor.2005.12.009.Crossref网站，谷歌学者·Zbl 1110.90042号 ·doi:10.1016/j.ejor.2005.12.009 [47] Taillard E（1993）基本调度问题的基准。欧洲药典。雷斯64（2）：278-285.Crossref，谷歌学者·Zbl 0769.90052号 ·doi:10.1016/0377-2217（93）90182-M [48] Taillard E（2015）最著名的Taillard实例下限和上限总结。2022年3月11日访问，http://mistic.heig-vd.ch/taillard/problemes.dir/ordonnancement.dir/flowshop.dir/best_lb_up.txt.谷歌学者 [49] Vaidyanathan K、Kalamkar DD、Pamnany K、Hammond JR、Balaji P、Das D、Park J、JoóB（2015）使用软件卸载改进多线程MPI应用程序中的并发性和异步性。SC'15：程序。国际。Conf.高性能计算机。网络存储分析。1-12. http://dx.doi.org/10.1145/2807591.2807602.谷歌学者 [50] Vallada E、Ruiz R、Framinan JM（2015）《最小化完工时间的流水车间调度问题的新硬基准》。欧洲药典。物件。240(3):666-677. http://dx.doi.org/https://doi.org/10.1016/j.ejor.2014.07.033.交叉引用，谷歌学者·Zbl 1338.90185号 ·doi:10.1016/j.ejor.2014.07.033 [51] Vu TT，Derbel B（2016）《多核多CPU多GPU异构环境中的并行分支与绑定》。未来发电机计算。系统。56:95-109. 网址：http://dx.doi.org/https://doi.org/10.1016/j.future.2015.10.009.Crossref，谷歌学者·doi:10.1016/j.未来.2015.10.009 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。