单率异步数据流语言的RTL文法设计-浙江大学学报.PDFVIP

维普资讯 第 9卷第 1期 。。 融 。 VM0Jar9，N20O0．21 单率异步数据流语言的RTL文法设计 王瑞荣，周 泓，耿晨歌 ，汪乐宇 (浙江大学 数字技术及仪器研究所 ，浙江 杭州 310027) 摘 要 ：数据流语言是面向虚拟仪器 的可视化编程环境 的核心．为 了使这些基于数据流 的编程环境能够应用到实 时系统设计中，必须引^一种严格定义的实时文法．RTL文法适台描述数据流语言，但是异步节点的表述同题以 及时间基准选择 阃题并来解决．提 出了一种用于描述单率、异步数据流语言的RTL文法．该文法中引^传输事件 常量与状态谓词 (statepredicates)解决了异步节点的RTI文法描述问题． 关键词 ：虚拟仪器 ；数据流语言；可视化编程 ；实时系统；实时逻辑 中围分类号：TP27 文献标识鸸 ：A 文章编号：1006754X(2002)O1003105 RTL semanticsdesigned forsingle-rate—asynchr0nous dataflow languages WANG Rui—rong，ZHOU Hong，GENG Chen—ge·WANG Leyu (InstituteofDigitalTechnology＆AdvancedInstrumentation，Zh@angUniversity，Hangzhou310027一China) Abstract：Dataflow language (DFL)isthebasisofmostvirtualinstrumentorientedvisualpro— grammingenvironment．Inordertoapplythesedataflow—basedtoolsinreal-timesystems．awell definedreal—timesemanticsmustbeprovided．ThoughRTL semanticscanbeusedtO describe dataflow language，someissuessuchasthedepictionoftheasynchronousnodeandtheselection oftime scalestillhavenotbeen solved．A RTL formaldepiction ofsingle—rateasynchronous dataflow languageispresented．W ithbringing in thestatepredicatesandtransitioneventcon stants，thekeyproblem ofhow todepicttheasynchronousnodecanberesolved， Keywords：virtualinstrument；dataflow language(DFL)；visualprogramming；real—timesys tem ；real—timelog[c(RTL) 数据流是一种简单、有效的并行计算模型．它不 一 种严格定义 的实时文法．AloysiusK．Mok等 同于冯诺伊曼模型，是在数据的可用性控制下并行 提 出了一种针对 IabVIEw 的RTL¨文法 ，但异步 执行指令．在数据流计算 中，使用数据令牌 (token) 节点的表述I可题 以及 时间基准选择问题并未解决． 方式直接在节点 (node)问传送数据并激活节点运 而异步节点在构成分支、循环等数据流程序是不可 算．数据流具有并行、异步、单赋值、分散控制及影响 缺少的．本文提出了一种用于描述单率 、异步数据流 在本地等优点 ，因此被广泛应用于编程语言、信号处