×
贝尼尼，卢卡;米歇尔·伦巴第;米歇拉·米兰;鲁杰罗、马蒂诺

CELL BE平台的最佳资源分配和调度。 （英语） Zbl 1214.90050号

安·Oper。物件。 184, 51-77 (2011).
摘要：多核平台的资源分配和调度是当今嵌入式计算中最关键的挑战之一。在本文中，我们重点关注一个著名的多核平台，即Cell BE处理器，并解决其处理器、通信通道和内存的分配和调度问题，以最小化复杂数据流应用程序的执行时间为目标。
我们提出了三种完整的方法来优化解决问题并证明最优性。第一种是基于递归应用的基于逻辑的Benders分解，产生了三阶段的算法。第二种是纯CP方法，而第三种是将前两种方法集成在一起的混合方法。
广泛的实验评估显示了每种方法的特点及其在特定实例结构上的有效性。

引用于1文件

MSC公司：

90B35型 运筹学中的确定性调度理论
90立方厘米 整数编程

关键词：

基于约束的调度;资源分配;混合求解器;约束编程;整数线性规划;多核平台

软件：

ILOG时间表;快速拉伸
PDF格式BibTeX公司 XML格式引用
\textit{L.Benini}等人，Ann.Oper。第184、51-77号决议（2011年；兹bl 1214.90050）
全文： 内政部

参考文献：

[1] Benders，J.F.（1962年）。用于解决混合变量编程问题的分区过程。数字数学，4（3），238–252·兹伯利0109.38302 ·doi:10.1007/BF01386316
[2] Benini，L.、Bertozzi，D.、Guerri，A.和；Milano，M.（2005）。通过分解和不良生成为MPSOC分配和调度。程序中。约束编程原理与实践国际会议（CP 2005）·Zbl 1153.68448号
[3] Benini，L.、Bertozzi，D.、Guerri，A.和；Milano，M.（2006）。能量感知MPSoC上的分配、调度和电压缩放。程序中。人工智能和运筹学技术在约束编程中的集成国际会议（CPAIOR 2006）·Zbl 1177.68023号
[4] Benini，L.、Lombardi，M.、Mantovani，M.和Milano，M；Ruggiero，M.（2008a）。用于优化多核架构的多级Benders分解。在关于组合优化问题的CP中AI和OR技术集成的国际会议论文集·兹比尔1142.68506
[5] Benini，L.、Lombardi，M.、Milano，M.和；Ruggiero，M.（2008b）。一种用于CELL宽带引擎上分配和调度的约束编程方法。程序中。约束编程原理与实践国际l会议（第21–35页）。
[6] Bockmayr，A.，&；Pisaruk，N.（2003年）。使用CP检测MIP的不可行性并生成切割。内部车间集成AI或技术约束编程组合优化。问题CP-AI-OR03，加拿大蒙特利尔·Zbl 1086.90041号
[7] Cambazard，H.和；Jussien，N.（2005）。在约束编程中集成折弯机分解。程序中。约束编程的原理和实践国际会议（第752-756页）。柏林：斯普林格·Zbl 1153.68451号
[8] Caseau，Y.和；Laburthe，F.（1996年）。具有任务间隔的累计调度。在逻辑编程专题讨论会联合国际会议上（第363–377页）。
[9] Chen，T.、Raghavan，R.、Dale，J.和；岩田E.（2005）。蜂窝宽带引擎体系结构及其首次实现。在IBM白皮书中。
[10] de Siqueira，N.J.L.和；Puget，J.F.（1988年）。基于解释的故障概括。在欧洲人工智能会议上（第339-344页）。
[11] Flachs，B.等人（2005年）。单元处理器的流处理单元。固态电路会议。技术论文摘要。ISSCC。2005 IEEE国际（第134-135页）。
[12] Gent、I.P.和；Smith，B.M.（2000）。约束编程中的对称中断。《欧洲人工智能会议论文集》（第599-603页）。
[13] Gomes，C.P.、Selman，B.和；Kautz，H.A.（1998年）。通过随机化推进组合搜索。第十五届全国人工智能会议和第十届人工智能创新应用会议论文集（第431-437页）。剑桥门罗公园：AAAI出版社/麻省理工学院出版社。
[14] 格罗斯曼，I.E.，&；Jain，V.（2001）。一类优化问题的混合milp/cp模型算法。信息计算杂志，13，258–276·Zbl 1238.90106号 ·doi:10.1287/ijoc.131.4.258.9733
[15] 游击队A.、伦巴第M.和；Milano，M.（2007）。系统设计领域中具有挑战性的调度问题。在2007年ICAPS会议记录中，第一次安排日程竞赛研讨会。
[16] Hofstee，H.（2005）。20000英尺的蜂窝宽带引擎架构。在IBM白皮书中。
[17] 胡克，J.N.（2004）。计划和调度的混合方法。过程中。第10名实习生。约束规划原则和实践会议——CP 2004，加拿大多伦多，2004年9月（第305-316页）。柏林：斯普林格·Zbl 1152.90445号
[18] 胡克，J.N.（2005）。计划和安排以尽量减少延误。程序中。第11名实习生。约束编程原理和实践会议–CP 2005，Sites，西班牙，2004年9月（第314–327页）。柏林：斯普林格。
[19] 胡克，J.N.，&；Ottosson，G.（2003）。基于逻辑的折弯机分解。数学编程，96，33–60·Zbl 1023.90082号
[20] Junker，U.（2004）。QUICKXPLAIN：过度约束问题的首选解释和放松。程序中。2004年7月在美国加利福尼亚州圣何塞举行的第十九届全国人工智能会议（第167-172页）。剑桥门罗公园：AAAI出版社/麻省理工学院出版社。
[21] Kapasi，J.U.、Rixner，S.、Dally，W.J.、Khailany，B.、Ho Ahn，J.、Mattson，P.和；Owens，J.D.（2003）。可编程流处理器。计算机，36（8），54–62·doi:10.1010/MC.2003.1220582
[22] Kistler，M.、Perrone，M.和；Petrini，F.（2006）。单元多处理机通信网络：为提高速度而构建。IEEE Micro，26（3），10-23·doi:10.1109/MM.2006.49
[23] Laborie，P.（2003）。人工智能规划和调度中传播资源约束的算法：现有方法和新结果。《人工智能杂志》，143151-188·Zbl 1079.68622号 ·doi:10.1016/S0004-3702（02）00362-4
[24] Laborie，P.（2005）。完成基于MCS的搜索：应用于资源受限的项目调度。在国际人工智能联合会议上（第181-186页）。
[25] Le Pape，C.（1994）。ILOG SCHEDULE中资源约束的实现：用于开发基于约束的调度系统的库。智能系统工程，3（2），55–66·文件编号：10.1049/ise.1994.0009
[26] Pham，D.等人（2005年）。第一代细胞处理器的设计与实现。在IEEE国际固态电路会议ISSCC（第1卷，第184–592页）上。
[27] Policella，N.、Cesta，A.、Oddi，A.和；Smith，S.F.（2007）。从优先约束发布到部分订单调度：稳健调度的CSP方法。人工智能通信（AICOM），20（3），163-180·Zbl 1146.90421号
[28] Sadykov，R.和；Wolsey，L.A.（2006年）。整数规划和约束规划在求解具有截止日期和发布日期的多机指派调度问题中的应用。信息计算杂志，18（2），209-217·Zbl 1241.90056号 ·doi:10.1287/ijoc.1040.0110
[29] Stephens，R.（1997）。流处理综述。信息学报，34491-541·Zbl 0879.68026号 ·doi:10.1007/s00236005005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。