跳到主要内容
研究文章

RDF:一种可重构的计算数据流模型

出版:2022年10月29日出版历史
跳过抽象节

摘要

数据流计算模型(MoC)广泛应用于嵌入式系统,包括多媒体处理、数字信号处理、电信和自动控制。在数据流MoC中,应用程序被指定为由FIFO通道连接的参与者图。同步数据流(SDF)是最早也是最流行的数据流MoC之一,它提供静态分析以保证有界性和活性,这是嵌入式系统的关键属性。然而,SDF及其大多数变体缺乏表达现代流应用程序所需的动态性的能力。特别地,上述应用程序强烈需要可重新配置,以适应输入数据、控制目标或环境的变化。

我们通过提出一种称为可重构数据流(RDF)的新MoC来满足这一需求。RDF使用转换规则扩展了SDF,这些规则指定了如何以及何时重新配置图的拓扑和参与者。从初始RDF图和一组转换规则开始,可以在运行时生成任意数量的新RDF图。RDF的一个关键特性是可以对其进行静态分析,以确保运行时生成的所有可能的图都是一致的和活动的。我们介绍了RDF MoC,描述了它的相关静态分析,并给出了它的实现和一些实验结果。

参考文献

  1. [1]Battacharya Shuvra S.公司。,李·爱德华A。、和Murthy Praveen K。.1996.基于数据流图的软件合成.Kluwer学术出版社,马萨诸塞州诺威尔.谷歌学者谷歌学者数字图书馆数字图书馆
  2. [2]贝贝利斯五世。,弗雷德特P。、和吉拉尔A。.2014.在多核平台上调度参数化数据流应用程序的框架.英寸嵌入式系统语言、编译器和工具国际会议(LCTES’14).ACM公司.谷歌学者谷歌学者数字图书馆数字图书馆
  3. [3]贝贝利斯·瓦杰利斯,弗拉德特·帕斯卡,吉劳特·阿兰、和拉维古尔·布鲁诺.2013.BPDF:具有整数和布尔参数的静态分析数据流模型.英寸国际嵌入式软件会议(EMSOFT'13).110.谷歌学者谷歌学者交叉引用交叉引用
  4. [4]巴塔查里亚·比什努普里亚巴塔查里亚·舒夫拉(Bhattacharyya Shuvra S.)。.2001.DSP系统的参数化数据流建模.IEEE传输。信号。过程。 49,10(2001),24082421.谷歌学者谷歌学者数字图书馆数字图书馆
  5. [5]博阿卡兹A。,弗雷德·P。、和吉拉尔A。.2016.数据流图吞吐量优化调度的符号缓冲区大小.英寸实时和嵌入式技术及应用研讨会(RTAS’16).199208.谷歌学者谷歌学者
  6. [6]博阿卡兹A。,弗雷德·P。、和吉拉尔A。.2017.计算的参数数据流模型综述.ACM事务处理。设计。自动化。电子。系统。 22,2(3月。 2017).谷歌学者谷歌学者数字图书馆数字图书馆
  7. [7]布瓦卡兹·阿德南,弗拉德特·帕斯卡、和吉劳特·阿兰.2017.数据流图的符号分析.ACM事务处理。设计。自动化。电子。系统。 22,2(2017),39.谷歌学者谷歌学者数字图书馆数字图书馆
  8. [8]巴克·J·T。李E.A。.1993.使用令牌流模型调度有界内存的动态数据流图.英寸国际声学、语音和信号处理会议(ICASSP’93).电气与电子工程师协会,429432.谷歌学者谷歌学者
  9. [9]Desnos K公司。,佩尔卡特·M。,尼桑J.-F。,巴塔查里亚S.S。、和Aridhi S.公司。.2013.PiMM:用于MPSoC运行时重新配置的参数化和接口化数据流元模型.英寸嵌入式计算机系统国际会议:体系结构、建模和仿真(SAMOS'13).电气与电子工程师协会,4148.谷歌学者谷歌学者交叉引用交叉引用
  10. [10]Desnos Karol公司,佩尔卡特·马克西姆,Nezan Jean-François公司,巴塔查里亚·舒夫拉(Bhattacharyya Shuvra S.)。、和Aridhi Slaheddine公司.2013.PiMM:用于MPSoC运行时重新配置的参数化和接口数据流元模型.英寸第13届嵌入式计算机系统国际会议:体系结构、建模与仿真.4148.谷歌学者谷歌学者交叉引用交叉引用
  11. [11]弗拉德特·帕斯卡,吉劳特·阿兰,克里希纳斯瓦米·鲁比,尼科林·泽维尔、和沙菲伊·阿拉什.2019.RDF:可重新配置的数据流.英寸欧洲会议展览中的设计、自动化和测试.谷歌学者谷歌学者交叉引用交叉引用
  12. [12]弗拉德特·帕斯卡,吉劳特·阿兰、和波普拉夫科·彼得.2011.SPDF:一种可调度参数数据流MoC(扩展版).研究报告RR-7828。印度。检索自https://hal.inia.fr/hal-00666284.谷歌学者谷歌学者
  13. [13]弗拉德特·帕斯卡,吉劳特·阿兰、和波普拉夫科·彼得.2012.SPDF:一种可调度的参数数据流MoC.英寸欧洲设计、自动化和测试会议.769774.谷歌学者谷歌学者交叉引用交叉引用
  14. [14]加里·M·R。约翰逊·大卫·S。.1979.计算机与不可修复性:NP-完备性理论指南.W.H.弗里曼.谷歌学者谷歌学者数字图书馆数字图书馆
  15. [15]盖伦·马克.2010.同步数据流场景.ACM事务处理。嵌入。计算。系统。 10,2(2010),16.谷歌学者谷歌学者数字图书馆数字图书馆
  16. [16]乔纳尔·F·。.2005.软件定义无线电-认知无线电的基础和发展.EURASIP J.Wirel公司。Commun公司。Netw公司。 (2005),275283.谷歌学者谷歌学者
  17. [17]Kahn Gilles公司.1974.用于并行编程的简单语言的语义.信息处理。 74(1974),471475.谷歌学者谷歌学者
  18. [18]李E.A。,Neuendorffer S.公司。、和周G。.2014.使用托勒密二世进行系统设计、建模和仿真.托勒密.org.谷歌学者谷歌学者
  19. [19]李·爱德华A。Messerschmitt David G。.1987.同步数据流.程序。电气与电子工程师协会 75,9(1987),12351245.谷歌学者谷歌学者交叉引用交叉引用
  20. [20]李军,戴贤忠,孟正达、和徐立波.2008.改进的网络重写系统——支持动态更改的扩展Petri网.J.循环。系统。计算。 17,6(2008),10271052.谷歌学者谷歌学者交叉引用交叉引用
  21. [21]莫雷拉·O。,巴斯滕T。,盖伦·M·。、和斯图伊克S。.2010.速率最优的单速率数据流调度的缓冲区大小调整.IEEE传输。计算。 59,2(2010),188201.谷歌学者谷歌学者数字图书馆数字图书馆
  22. [22]帕德贝格·朱莉娅卡鲁尔·拉伊德.2018.可重构Petri网概述.英寸图变换、规范和网——纪念哈特穆特·埃里格Reiko Heckel和Gabriele Taentzer(编辑)。计算机科学课堂讲稿,201-222。谷歌学者谷歌学者
  23. [23]帕德贝格·朱莉娅舒尔兹·亚历山大.2016.用Maude对可重构Petri网进行模型检验.英寸第九届图形变换国际会议(ICGT’16).5470.谷歌学者谷歌学者交叉引用交叉引用
  24. [24]拉乌尔·詹·克劳德Voisin Frédéric.1994.集合理论图重写.英寸计算机科学中的图形变换.施普林格,312325.谷歌学者谷歌学者交叉引用交叉引用
  25. [25]沙菲伊·阿拉什.2021.RDF:一种可重构的数据流计算模型.博士学位论文.格勒诺布尔阿尔卑斯大学.谷歌学者谷歌学者
  26. [26]斯凯林·姆拉丹,盖伦·马克,卡特霍尔·弗兰基、和亨德塞斯·斯维尔.2015.参数化数据流场景.英寸第十二届嵌入式软件国际会议.95104.谷歌学者谷歌学者数字图书馆数字图书馆
  27. [27]Wiggers Maarten H。,Bekooij Marco J.G。、和斯米特·杰拉德J.M。.2008.具有数据相关任务间通信的吞吐量受限流应用的缓冲区容量计算.英寸IEEE实时和嵌入式技术及应用研讨会.183194.谷歌学者谷歌学者

索引术语

  1. RDF:一种可重构的计算数据流模型

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM嵌入式计算系统汇刊
        嵌入式计算系统ACM事务 第22卷第1期
        2023年1月
        512页
        国际标准编号:1539-9087
        EISSN公司:1558-3465
        内政部:10.1145/3567467
        期刊目录

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2022年10月29日
        • 在线AM:2022年6月27日
        • 认可的:2022年6月11日
        • 修订过的:2022年4月15日
        • 收到:2022年1月18日
        发布于技术支持第22卷第1期

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 研究文章
        • 推荐
      • 文章度量标准

        • 下载量(最近12个月)115
        • 下载次数(最近6周)9

        其他指标

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器

      全文

      以全文形式查看本文。

      查看全文

      HTML格式

      以HTML格式查看本文。

      查看HTML格式