EXPLOITING STATICALLY SCHEDULABLE REGIONS IN DATAFLOW PROGRAMS

被引:8
|
作者
Gu, Ruirui [1 ]
Janneck, Jorn W. [2 ]
Raulet, Mickael [3 ]
Bhattacharyya, Shuvra S. [1 ]
机构
[1] Univ Maryland, Dept Elect & Comp Engn, Dept UMIACS, College Pk, MD 20742 USA
[2] Xilinx Res Labs, San Jose, CA 95124 USA
[3] IETR INSA Rennes, F-35043 Rennes, France
关键词
CAL; dataflow; quasi-static scheduling;
D O I
10.1109/ICASSP.2009.4959646
中图分类号
O42 [声学];
学科分类号
070206 ; 082403 ;
摘要
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various forms of dataflow modeling, Synchronous Dataflow (SDF) is geared towards static scheduling of computational modules, which improves system performance and predictability. However, many DSP applications do not fully conform to the restrictions of SDF modeling. More general dataflow models, such as CAL [11, have been developed to describe dynamically-structured DSP applications. Such generalized models can express dynamically changing functionality, but lose the powerful static scheduling capabilities provided by SDF. This paper focuses on detection of SDF-like regions in dynamic dataflow descriptions - in particular, in the generalized specification framework of CAL. This is an important step for applying static scheduling techniques within a dynamic dataflow framework. Our techniques combine the advantages of different dataflow languages and tools, including CAL [1], DIF [2] and CAL2C [3]. The techniques are demonstrated on the IDCT module of MPEG Reconfigurable Video Coding (RVC).
引用
收藏
页码:565 / +
页数:2
相关论文
共 50 条
  • [31] Dataflow Analysis for Datarace-Free Programs
    De, Arnab
    D'Souza, Deepak
    Nasre, Rupesh
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 196 - 215
  • [32] From Functional Programs to Pipelined Dataflow Circuits
    Townsend, Richard
    Kim, Martha A.
    Edwards, Stephen A.
    CC'17: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2017, : 76 - 86
  • [33] Decidability of the analysis problem for dataflow models of programs
    Toporkov, VV
    PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (03) : 121 - 129
  • [34] Symbolic Simulation of Dataflow Synchronous Programs with Timers
    Baudart, Guillaume
    Bourke, Timothy
    Pouzet, Marc
    2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2017,
  • [35] Dataflow Testing of Java']Java Programs with DFC
    Bluemke, Ilona
    Rembiszewski, Artur
    ADVANCES IN SOFTWARE ENGINEERING TECHNIQUES, 2012, 7054 : 215 - 228
  • [36] EFFICIENT SOFTWARE SYNTHESIS OF DYNAMIC DATAFLOW PROGRAMS
    Yviquel, H.
    Sanchez, A.
    Jaaskelainen, P.
    Takala, J.
    Raulet, M.
    Casseau, E.
    2014 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2014,
  • [37] Dataflow approach to testing Java']Java programs
    Bluemke, Ilona
    Rembiszewski, Artur
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2009, : 69 - 76
  • [38] Symbolic Simulation of Dataflow Synchronous Programs with Timers
    Baudart, Guillaume
    Bourke, Timothy
    Pouzet, Marc
    LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, 2019, 530 : 45 - 70
  • [39] Programs from Proofs of Predicated Dataflow Analyses
    Jakobs, Marie-Christine
    Wehrheim, Heike
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1729 - 1736
  • [40] Synthesizing Recursive Programs through Dataflow Constraints
    Mateu, Marta Davila
    COMPANION PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2023, 2023, : 25 - 27