×
加桑·肖巴吉;贾法尔·贾马尔

序列排序问题的精确算法及其在编译器开关能量最小化中的应用。 （英文） Zbl 1325.90078号

计算。最佳方案。应用。 第343-372号第61页（2015年）.
摘要：本文提出了一种求解先验约束旅行商问题的精确算法，也称为序列排序问题。这个NP-hard问题在各个领域都有应用，包括运筹学和编译器。在本文中，这个问题是在编译器中最小化开关能量的背景下提出并解决的。以前在编译器领域中，大多数关于最小化开关能量的工作都局限于简单的启发式，无法保证给出最佳解决方案。在这项工作中，我们提出了一种使用分枝定界方法解决开关能量最小化问题的精确算法。该算法简单直观，但功能强大。这是开关能量问题的第一个精确算法，每个实例在几秒钟内就能解决问题的实际实例。与运筹学领域的以往工作相比，该算法被认为是最强大的不需要线性规划公式的精确算法。使用生产编译器中的实例对所提算法进行了实验评估。结果表明，在每个节点10ms的时间限制下，所提出的算法可以最优地解决99.8%的实例。它可以在几秒钟内以最佳方式解决最多598个节点的实例。由此产生的切换成本比没有能量意识的情况下产生的切换成本低16%，比常用的启发式方法产生的切换成本低5%。

引用于5文件

MSC公司：

90C27型 组合优化
90C57型 多面体组合学，分支与绑定，分支与切割
90 C90 数学规划的应用

关键词：

编译器优化;顺序排序问题;先验约束旅行商问题;指令调度;分支绑定枚举;NP-完全问题;低功耗计算;低能计算;开关能量

软件：

石溪;MiBench公司;HAS-停止
PDF格式BibTeX公司 XML格式引用
\textit{G.Shobaki}和\textit{J.Jamal}，计算。最佳方案。申请。61，第2号，343--372（2015；Zbl 1325.90078）
全文： 内政部

参考文献：

[1] Anghinolfi，D.，Montemanni，R.，Paolucci，M.，Gambardella，L.M.：序列排序问题的粒子群优化方法。计算。操作。第38（7）号决议，1085-2076（2011）·Zbl 1208.90193号 ·doi:10.1016/j.cor.2010.10.014
[2] Ascheuer，N.，Junger，M.，Reinelt，G.：带优先约束的非对称旅行商问题的bracnh&cut算法。计算。最佳方案。申请。17(1), 61-84 (2000) ·Zbl 1017.90095号 ·doi:10.1023/A：100877912567
[3] Bednarski，A.，Kessler，C.：能量最优的集成VLIW代码生成。摘自：第十一届并行计算机编译器研讨会论文集（2004年）
[4] Charikar，M.、Motwani，R.、Raghavan，P.、Silverstien，C.：受限TSP和低功耗计算。摘自：算法和数据结构研讨会论文集。计算机科学课堂讲稿，第1272卷，第104-115页。柏林施普林格（1997）·兹比尔1497.68571
[5] Choi，K.，Chatterjee，A.：低功耗嵌入式系统的高效指令级优化方法。摘自：系统综合国际研讨会论文集（2001年）
[6] Cooper，K.，Torczon，L.：设计编译器。Morgan Kaufmann，Burlington（2004）·兹比尔1058.68036
[7] Cormen，T.，Leiserson，C.，Rivest，R.，Stein，C.：算法导论，第三版。麻省理工学院出版社，剑桥（2009）·Zbl 1187.68679号
[8] Dorigo，M.，Gambardella，L.M.：蚁群系统：解决旅行推销员问题的合作学习方法。IEEE传输。埃沃。计算。1(1), 53-66 (1997) ·doi:10.1109/4235.585892
[9] Escudero，L.：序列排序问题的不精确算法。欧洲药典。第37（2）号决议，236-249（1988）·兹比尔0653.90036 ·doi:10.1016/0377-2217（88）90333-5
[10] Guthaus，M.R.、Ringenberg，J.S.、Ernst，D.、Austin，T.M.、Mudge，T.、Brown，R.B.：MiBench：一个免费的、具有商业代表性的嵌入式基准套件。收录：IEEE工作负荷特性国际研讨会（WWC-4）会议记录（2001）
[11] Held，M.，Karp，R.M.：旅行商问题和最小生成树。操作。第18（6）号决议，1138-1162（1970）·Zbl 0226.90047号 ·数字对象标识代码：10.1287/opre.18.6.1138
[12] Kandemir，M.、Vijaykrishnan，N.、Irwin，M.J.：《低功耗系统的编译器优化》，《功耗感知计算》，第10卷。克鲁沃学术出版社，诺威尔（2002）
[13] Karan，M.，Skorin-Kapov，N.：序列排序问题的分支定界算法。摘自：《第34届国际公约汇编》，第452-457页。IEEE（2011）
[14] Lee，C.，Lee，J.-K.，Hwang，T.：针对低功耗的VLIW指令调度的编译器优化。ACM事务处理。设计自动。电子。系统。（TODAES）8（2），252-268（2003）·数字对象标识代码：10.1145/762488.762494
[15] Gambardela，L.M.，Dorigo，M.：HAS-SOP：用于序列排序问题的混合蚂蚁系统。技术报告，Istituto Dalle Molle Di Studi Sull Intelligenza Artificle（1997）
[16] Montemanni，R.，Mojana，M.，Di Caro，G.，Gambardella，L.M.：序列排序问题的基于分解的精确方法。J.应用。操作。第5（1）号决议，2-13（2013）
[17] Pallister，J.、Hollis，S.、Bennett，J.：确定编译器选项以最小化嵌入式平台的能耗。康奈尔大学图书馆，CS，性能。arXiv:1303.6485[cs.PF]（2013）
[18] Parikh，A.，Kim，S.，Kandemir，M.，Vijaykrishnan，N.，Irwin，M.J.：低功耗指令调度。超大规模集成电路信号处理。37, 129-149 (2004) ·doi:10.1023/B:VLSI.000001707.28247.f6
[19] Shao，Z.，Xiao，B.，Xue，C.，诸葛，Q.，Sha，E.：VLIW DSP的带定时和切换活动最小化的循环调度。ACM事务处理。设计自动。电子。系统。（TODAES）11（1），165-185（2006）·数字对象标识代码：10.1145/124713.1124724
[20] Shobaki，G.，Wilken，K.：使用枚举的最优超块调度。收录于：第37届微建筑国际研讨会论文集（2004年）
[21] Shobaki，G.：使用枚举优化全局指令调度。加州大学戴维斯分校计算机科学系博士论文（2006）
[22] Shobaki，G.，Wilken，K.，Heffernan，M.：使用枚举的最优跟踪调度。ACM事务处理。架构（architecture）。代码优化。（TACO），第5（4）条，第19条（2009年）
[23] Shobaki，G.，Shawabkeh，M.，Abu-Rmaileh，N.：使用组合优化方法最小化寄存器压力的预分配指令调度。ACM事务处理。架构（architecture）。代码优化。（TACO），10（3），第14条（2013）
[24] Skiena，S.：算法设计手册。柏林施普林格出版社（2010年）·Zbl 0885.68002号
[25] Su，C.-L.，Tsui，C.Y.，Despain，A.M.：高性能处理器的低功耗架构设计和编译技术。收录：IEEE COMPCON会议记录，加利福尼亚州旧金山（1994）
[26] Tomiyama，H.，Ishihara，T.，Inoue，A.，Hiroto，H.：《欧洲设计、自动化和测试会议记录》（DATE），第855-860页（1998年）
[27] Valluri，M.，John，L.：编译是为了性能吗？。收录：第五届编译程序与计算机体系结构交互年度研讨会（INTERACT-5），与HPCA 2001（2001）举行
[28] Tiwari，V.、Malik，S.、Wolfe，A.：低能编译技术：概述。在加利福尼亚州圣地亚哥举行的低功耗电子研讨会上发表（1994年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。