×
马克·达勒姆;阿诺普·巴贾纳什;克劳斯·施耐德

ASP对带有缓冲处理单元的公开数据路径体系结构进行优化调度。 （英语） Zbl 1451.68029号

理论与实践。日志。程序。 18，编号3-4，438-451（2018）.
概述：由于程序可见寄存器的数量相对较少，传统处理器体系结构在利用指令级并行性（ILP）方面受到了限制。因此，较新的处理器体系结构公开了它们的数据路径，以便编译器（1）可以将并行指令调度到不同的处理单元，（2）可以有效地利用处理单元的本地存储。在这些体系结构中，同步控制异步数据流（SCAD）体系结构是一种新的公开数据路径体系结构，其处理单元在其输入和输出端口配备先进先出（FIFO）缓冲区。
与基于寄存器的机器相比，SCAD的最佳代码生成仍然是一个研究问题。特别是，SAT和SMT求解器分别用于生成SCAD的最优资源约束和最优时间约束调度。由于答案集编程（ASP）在处理此类调度问题方面提供了更好的灵活性，因此本文重点讨论如何使用答案集求解器来生成资源和时间受限的最佳SCAD代码。使用ASP的一个主要好处是，我们能够生成全部的给定程序的最佳调度，允许用户研究其属性。此外，本文的实验结果表明，答案集求解器可以与SAT求解器竞争，并优于SMT求解器。

MSC公司：

2007年8月 计算机体系结构的数学问题
68平方米 计算机系统环境下的性能评估、排队和调度
68N17号 逻辑编程

关键词：

答案集编程;公开的数据路径体系结构;最优调度;代码生成

软件：

扣环;干杯
PDF格式BibTeX公司 XML格式引用
\textit{M.Dahlem}等人，《理论与实践》。日志。程序。18、编号3--4、438--451（2018；Zbl 1451.68029）
全文： 内政部 arXiv公司

参考文献：

[1] Aletá，A。；科迪纳，J。；González，A。；Kaeli，D.，代码生成与优化（CGO），异构集群VLIW微体系结构，354-366，（2007），美国加利福尼亚州圣何塞市：IEEE计算机学会，美国加州圣何塞
[2] 安德烈斯，B。；Gebser，M。；Schaub，T.等人。；运输带，C。；Reimann，F。；玻璃，M。；Cabalar，P。；Son，T.，逻辑编程和非单调推理（LPNMR），使用答案集编程的符号系统合成，79-91，（2013），西班牙科伦纳：斯普林格，科伦纳，西班牙·Zbl 1272.68012号 ·doi:10.1007/978-3-642-40564-8
[3] Balduccini，M。；Delgrade，J。；Faber，W.，《逻辑编程和非单调推理（LPNMR），使用ASP+CP的工业规模调度》，284-296，（2011），加拿大温哥华：加拿大温哥华施普林格·Zbl 1214.68009号 ·doi:10.1007/978-3-642-20895-9
[4] Bhagyanath，A。；Jain，T。；施耐德，K。；Wimmer，R.，Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen（MBMV），同步控制异步数据流（SCAD）体系结构的代码生成，77-88，（2016），德国弗莱堡：弗莱堡大学
[5] Bhagyanath，A。；施耐德，K。；Leonard，E。；Schneider，K.，Codesign（MEMOCODE）的形式化方法和模型，SAT解算器对带有缓冲处理单元的公开数据路径体系结构的优化编译，143-152，（2016），印度坎普尔：IEEE计算机学会，印度坎普
[6] Bhagyanath，A。；施耐德，K。；Legay，A。；Schneider，K.，《并发性在系统设计中的应用（ACSD）》，探索公开数据路径体系结构与缓冲处理单元之间指令级并行的潜力，106-115，（2017），西班牙萨拉戈萨：IEEE计算机学会，西班牙萨拉戈萨
[7] 大脑，M。；克里克，T。；德沃斯，M。；惠誉，J。；埃塔利，S。；Truszczyñski，M.，逻辑编程国际会议（ICLP），TOAST:将答案集编程应用于超优化，270-284，（2006），西雅图，华盛顿州，美国：斯普林格，华盛顿州西雅图·Zbl 1131.68367号
[8] Brewka，G。；尼梅拉，I。；Truszczynski，M。；Gottlob，G。；Walsh，T.，国际人工智能联合会议（IJCAI），答案集优化，867-872，（2003），墨西哥阿卡普尔科：Morgan Kaufmann，墨西哥阿卡普尔科
[9] 克里克，T。；大脑，M。；德沃斯，M。；惠誉，J。；Erdem，E。；林，F。；Schaub，T.，逻辑编程和非单调推理（LPNMR），使用答案集编程生成最佳代码，554-559，（2009），德国波茨坦：施普林格，波茨坦，德国·Zbl 1175.68008号 ·doi:10.1007/978-3-642-04238-6
[10] De Angelis，E。；Pettorossi，A。；Proietti，M.，《使用答案集编程合成并发程序》，《基础信息》，120，3-4，205-229，（2012）·兹比尔1256.68035
[11] 多达罗，C。；Maratea，M。；Balduccini，M。；Janhunen，T.，逻辑编程和非单调推理（LPNMR），通过答案集编程安排护士，301-307，（2017），芬兰埃斯波：斯普林格，埃斯波，芬兰·Zbl 1367.68005号 ·doi:10.1007/978-3-319-61660-5
[12] Feller，M。；Ercegovac，M。；布劳尔，W。；Brinch Hansen，P。；格里斯，D。；莫勒，C。；Seegmüller，G。；斯托尔，J。；北卡罗来纳州沃思。；Händler，W.，Conpar 81，《队列机器：并行计算组织》，37-47，（1981），德国纽伦堡：施普林格，纽伦堡，德国·doi:10.1007/BFb0105105
[13] Gebser，M。；考夫曼，B。；Neumann，A。；Schaub，T。；Baral，C。；Brewka，G。；Schlipf，J.，《逻辑编程与非单调推理（LPNMR）》，夹子：冲突驱动的答案集求解器，260-265，（2007），美国亚利桑那州坦佩：斯普林格·Zbl 1119.68003号 ·doi:10.1007/978-3-540-72200-7
[14] 郭杰。；T.Limberg。；马图斯，E。；Mennenga，B。；克莱姆·R。；费特维斯，G。；内格尔，W。；沃尔特·W。；Lehner，W.，Euro-Par 2006并行处理，STA架构代码生成，299-310，（2006），德国德累斯顿：施普林格，德累斯顿，德国·Zbl 1148.68310号 ·doi:10.1007/11823285
[15] Ishebabi，H。；Mahr，P。；Bobda，C.公司。；Gebser，M。；Schaub，T。；Erdem，E。；林，F。；Schaub，T.，逻辑编程和非单调推理（LPNMR），ASP在从并行程序自动合成柔性多处理器系统中的应用，598-603，（2009），德国波茨坦：施普林格，波茨坦，德国·兹比尔1175.68008 ·doi:10.1007/978-3-642-04238-6
[16] 库马尔，V。；Delgrade，J。；Erdem，E。；林，F。；Schaub，T.，逻辑编程和非单调推理（LPNMR），最优多核调度：ASP技术的应用，604-609，（2009），德国波茨坦：施普林格，波茨坦，德国·Zbl 1175.68008号 ·doi:10.1007/978-3642-04238-6
[17] Lee，W。；巴鲁阿，R。；M.弗兰克。；Srikrishna，D。；Babb，J。；萨尔卡，V。；Amarasinghe，S。；班达卡，D。；Agarwal，A.，编程语言和操作系统（ASPLOS）的体系结构支持，原始机器上指令级并行的时空调度，46-57，（1998），美国加利福尼亚州圣何塞市：美国加利福尼亚州圣何塞市ACM
[18] 席林，T。；Själander，M。；Larsson-Edfors，P.，IEEE计算机学会超大规模集成电路（ISVLSI）年度研讨会，具有灵活数据路径的嵌入式体系结构调度，151-156，（2009），美国佛罗里达州坦帕市：IEEE计算机协会，佛罗里达州坦巴市，美国
[19] 施密特，H。；莱文，B。；Ylvisaker，B。；阿诺德，J。；Pocek，K.，现场可编程定制计算机器（FCCM），队列机器：硬件编译，152-160，（2002），美国加利福尼亚州纳帕市：IEEE计算机学会
[20] Sethi，R。；Ullman，J.，《算术表达式的最优代码生成》，《美国计算机学会杂志》（JACM），17，4，715-728，（1970）·Zbl 0212.18802号 ·doi:10.1145/321607.321620
[21] A.史密斯。；Burrill，J。；Gibson，J。；马赫，B。；北卡罗来纳州奈瑟科特。；Yoder，B。；汉堡，D。；Mckinley，K.，代码生成和优化（CGO），EDGE体系结构编译，185-195，（2006），美国纽约州纽约市：IEEE计算机学会，美国纽约市
[22] 阿瓦伊约，T。；Jääskeläinen，P。；Elomaa，T。；Kultala，H。；Takala，J.，基于整数线性规划的传输触发体系结构调度，ACM体系结构和代码优化事务（TACO），12，4，1-22，（2016）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。