Jean-Vivien，米洛;罗伯特·德·西蒙 用于在处理器阵列上实现细胞自动机的显式路由方案。 （英语） Zbl 1334.68142号 自然计算。 12，第3期，353-368（2013）. 概要：大规模并行处理器阵列（MPPA）体系结构正在成为广泛可用的计算平台。由于形式上的相似性，它们是实现细胞自动机（CA）的良好候选对象。在通信自由方面仍然存在着本质上的差异。在MPPA中，有一个固定的片上网络互连拓扑，但每个CA都有自己的邻域定义。虽然CA中的小区可以被视为直接连接到其邻居，但这些连接对应于MPPA网络中的路径。需要对通信进行路由和调度，以到达正确的目的地。在之前的工作中，我们引入了一个名为KRG的正式数据流过程网络模型（用于K周期路由图）。其主要功能是允许定期切换指令。在本文中，我们将使用它来表示路由指令的适当局部序列，这些路由指令将有效地将值从单元传播到单元，从而实现所需的CA邻域。我们提出了计算这些路由指令的邻域广播算法。这里应该注意到，由于不同源和目标小区之间的数据流量必须合并，因此问题变得更加复杂，而当多个位置需要值时，多播可能会节省大量通信。我们在2D CA的情况下演示了我们的形式主义的表达能力，其中邻域最多由摩尔距离处的所有细胞组成。暗示了我们的框架的进一步潜在应用。 MSC公司： 68克80 细胞自动机（计算方面） 2007年7月68日 计算机体系结构的数学问题 关键词：均衡算法体系结构;细胞自动机;数据流处理网络;大规模并行处理器阵列;在chip上建立网络;路由 软件：托勒密 PDF格式BibTeX公司 XML格式引用 \textit{J.-V.Millo}和\textit{R.de Simone}，自然计算。12，第3号，353--368（2013；Zbl 1334.68142） 全文： 内政部 参考文献： [1] Accellera（2007）系统C。http://www.accellera.org/downloads/standards/systemc。2012年10月1日访问·Zbl 1262.68025号 [2] Benveniste A、Caspi P、Edwards SA、Halbwachs N、Guernic PL、de Simone R（2003）《12年后的同步语言》。程序IEEE 91（1）:64-83 doi:10.1109/JPROC.2002.805826·doi:10.1109/JPROC.2002.805826 [3] Bilsen G、Engels M、Lauwereins R、Peperstraete J（1995）《循环静态数据流》。摘自：《声学、语音和信号处理》，1995年。ICASSP-95.，1995年国际会议，第5卷，第3255-3258页，doi:10.1109/ICSSP.1995.479579 [4] Boucaron J、Coadou A、de Simone R（2010）《嵌入式软件的合成：通过构建软件设计实现正确性的框架和方法》，Shukla、Sandeep Kumar和Talpin、Jean-Pierre、Springer、Heidelberg，第2章，第41-78页·Zbl 1250.68204号 [5] BouréO，Fatès N，Chevrier V（2011），异步信息传输下细胞自动机的鲁棒性。摘自：《第十届非常规计算国际会议论文集》，柏林施普林格大学，UC'11，第52-63页。统一资源定位地址http://dl.acm.org/citation.cfm？id=2022023.2022036 ·Zbl 1330.68187号 [6] Chaudhuri PP、Chowdhury DR、Nandi S、Chattopadhyay S（1997）《加性元胞自动机》。Wiley-IEEE计算机学会出版社。加利福尼亚州洛斯阿拉米托斯·Zbl 0944.68133号 [7] Coadou A（2010）《禁运系统的现代化》（Réseaux de processus flots de donées avec routage pour la modélisation de systems embarques）。尼斯大学索菲亚·安蒂波利斯分校博士论文 [8] Cohen A、Duranton M、Eisenbeis C、Pagetti C、Plateau F、Pouzet M（2006）N同步卡恩网络。收录于：POPL 2006年会议记录，第180-193页·Zbl 1369.68065号 [9] Commoner F，Holt AW，Even S，Pnueli A（1971）标记有向图。计算机系统科学杂志5:511-523·Zbl 0238.05109号 ·doi:10.1016/S0022-0000（71）80013-2 [10] Datta K、Murphy M、Volkov V、Williams S、Carter J、Oliker L、Patterson D、Shalf J、Yelick K（2008）在最先进的多核架构上进行模板计算优化和自动调整。收录：2008年ACM/IEEE超级计算会议记录，IEEE出版社，美国新泽西州皮斯卡塔韦，SC'08，第4:1-4:12页，URLhttp://dl.acm.org/citation.cfm？id=1413370.1413375 [11] Datta K，Williams S，Volkov V，Carter J，Oliker L，Shalf J，Yelick K（2009）为多核自动调整27点模板。In：程序。iWAPT2009：第四届自动性能调节国际研讨会 [12] Davare A、Densmore D、Meyerowitz T、Pinto A、Sangiovanni-Vincentelli A、Yang G、Zeng H、Zhu Q（2007）基于平台设计的下一代设计框架。在：DVCon 2007。统一资源定位地址http://chess.eecs.berkeley.edu/pubs/228.html ·Zbl 0238.05109号 [13] Dennunzio A（2012）从一维到二维细胞自动机。基础信息学115（1）：87-105·Zbl 1250.68204号 [14] Eker J、Janneck J、Lee E、Liu J、Liu X、Ludvig J、Neuendorffer S、Sachs S、Xiong Y（2003）《驯服异质性——托勒密方法》。程序IEEE 91（1）：127-144 doi:10.1109/JPROC.2002.805829·doi:10.1109/JPROC.2002.805829 [15] Ferrari A，Sangiovanni-Vincentelli A（1999）《系统设计：传统概念和新范式》。摘自：《计算机设计》，1999年。（ICCD’99）国际会议，第2-12页，doi:10.1109/ICCD.1999.808256 [16] 加德纳M（1970）约翰·康威的新纸牌游戏“生活”的奇妙组合。科学与Am 223:120-123·doi:10.1038/科学美国人1070-120 [17] Glitia C、DeAntoni J、Mallet F、Millo JV、Boulet P、GamatiéA（2012）使用uml-marte对多维数据流应用程序的调度进行了逐步明确的细化。Des Autom嵌入式系统16:137-169 doi:10.1007/s10617-012-9093-y·doi:10.1007/s10617-012-9093-y [18] Grandpierre T，Lavarene C，Sorel Y（1999）实时嵌入式异构多处理器的优化快速原型设计。In:第七届硬件/软件协同设计国际研讨会论文集，CODES’99，意大利罗马 [19] Halbach M，Hoffmann R（2004）在fpga逻辑中实现细胞自动机。2004年：并行和分布式处理研讨会。诉讼程序。第18国际，第258页doi:10.1109/IPDPS.2004.1303324 [20] Herrera F，Villar E（2011）从UML/MARTE模型生成IPXACT硬件平台描述的框架，用于多级性能评估。规范和设计语言（FDL），2011年论坛，第1-8页 [21] Jantsch A（2008）分布式嵌入式系统的计算模型。In:Zurawski R（ed）Networked embedded systems，第3章，CRC Press/Taylor&Francis，Boca Raton/伦敦 [22] Kalray（2012）Mpa多核。http://www.kalray.eu/products/mppa-manycore。2012年10月1日访问 [23] Kari J（2005）《细胞自动机理论：综述》。理论计算科学334（1-3）：3-33 doi:10.1016/j.tcs.2004.11.021·Zbl 1080.68070号 ·doi:10.1016/j.tcs.2004.11.021文件 [24] Kobori T，Maruyama T，Hoshino T（2001）一个带有fpga的细胞自动机系统。摘自：第九届IEEE现场可编程定制计算机研讨会论文集，IEEE计算机学会，美国华盛顿特区，FCCM’01，pp 120-129，doi:10.1109/FCCM.2001.2 [25] Marouf M，Sorel Y（2011）调度具有严格周期的非抢占式硬实时任务。摘自：第16届IEEE新兴技术和工厂自动化国际会议记录，ETFA'11，法国图卢兹，第1-8页 [26] Melpignano D、Benini L、Flamand E、Jego B、Lepley T、Haugou G、Clermidy F、Dutoit D（2012）Platform 2012，嵌入式SoC的多核计算加速器：视觉分析应用程序的性能评估。在：设计自动化会议（DAC），2012年第49届ACM/EDAC/IEEE。第1137-1142页·Zbl 1250.68204号 [27] de Micheli G，Benini L（2006）《芯片上的网络》。Morgan Kauffmann，Elsevier，阿姆斯特丹 [28] Millo JV，de Simone R（2012a）使用平衡二进制字对MG进行定期调度。理论计算科学458:113-130 doi:10.1016/j.tcs.2012.08.012·Zbl 1262.68025号 ·doi:10.1016/j.tcs.2012.08.012 [29] Millo JV，de Simone R（2012b）精炼具有路由约束的元胞自动机。In:Formenti E（ed）Automata&JAC（探索轨道），第2卷。I3S UMR 7172-法国索菲亚·安蒂波利斯UNS CNRS，第15页 [30] Parks T（1995）过程网络的有界调度。加利福尼亚大学伯克利分校（邮编：94720）EECS系博士论文，技术报告UCB/ERL-95-105 [31] Rybacki S、Himmelspach J、Uhrmacher AM（2009）细胞自动机单核、多核和基于gpu的计算实验。摘自：《2009年第一届系统仿真进展国际会议论文集》，IEEE计算机学会，美国华盛顿特区，SIMUL’09，第62-67页，doi:10.1109/SIMUL.2009.36 [32] Sangiovanni-Vincentelli AL，Passerone R（2012），基于平台的设计。纽约州施普林格·Zbl 1264.93152号 [33] Sriram S，Bhattacharyya SS（2009）嵌入式多处理器，调度和同步。博卡拉顿CRC出版社·doi:10.1201/9781420048025 [34] Zaloudek L、Sekanina L、Simek V（2009），进化细胞自动机的Gpu加速器。领域：未来计算、服务计算、认知、自适应、内容、模式、COMPUTATIONWORLD’09。《计算世界》，第533-537页，doi:10.1109/ComputationWorld.2009.49 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。