普拉纳夫·腾杜卡尔;彼得·波普拉夫科;奥德·马勒 对称破缺用于多核上的多标准映射和调度。 (英语) Zbl 1390.68154号 Braberman,Víctor(编辑)等人,《定时系统的形式化建模和分析》。2013年8月29日至31日,阿根廷布宜诺斯艾利斯,第11届国际会议,FORMATS 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40228-9/pbk)。计算机科学课堂讲稿8053,228-242(2013)。 摘要:多处理器映射和调度是一个由来已久的难题。在这项工作中,我们提出了一种使用SMT求解器执行映射和调度以及缓冲区内存优化的新方法。我们的目标是分裂连接图,这是一种受同步数据流(SDF)启发的形式主义,它提供了数据并行的紧凑符号表示。与传统的SDF设计流程不同,SDF将大问题分解为较小的启发式子问题,我们将此问题作为一个整体来处理,并尝试计算其精确的帕累托最优解。我们引入对称破缺约束,以减少求解器的运行时间。我们已经在一些SDF图上测试了我们的工作,并证明了我们的方法的实用性。我们通过在Tilera多核平台上运行图像解码应用程序来验证我们的模型。关于整个系列,请参见[Zbl 1269.68019号]. 引用于2文件 MSC公司: 68平方米 计算机系统环境下的性能评估、排队和调度 关键词:同步数据流;多处理器;多芯;映射;行程安排;表面贴装技术;SAT解算器 软件:z3(零3);StreamIt(流媒体) PDF格式BibTeX公司 XML格式引用 \textit{P.Tendulkar}等人,Lect。注释计算。科学。8053、228--242(2013;Zbl 1390.68154) 全文: 内政部