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 条
  • [21] Partitioning and Mapping Dynamic Dataflow Programs
    Arslan, Mehmet Ali
    Janneck, Jorn W.
    Kuchcinski, Krzysztof
    2012 CONFERENCE RECORD OF THE FORTY SIXTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS (ASILOMAR), 2012, : 1452 - 1456
  • [22] Synthesizing Hardware from Dataflow Programs
    Janneck, Joern W.
    Miller, Ian D.
    Parlour, David B.
    Roquier, Ghislain
    Wipliez, Matthieu
    Raulet, Mickael
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2011, 63 (02): : 241 - 249
  • [23] Dataflow testing of Java programs with DFC
    Institute of Computer Science, Warsaw University of Technology, Nowowiejska 15/19, 00-665 Warsaw, Poland
    Lect. Notes Comput. Sci., 1600, (215-228):
  • [24] A Complete Language for Faceted Dataflow Programs
    Delpeuch, Antonin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 1 - 14
  • [25] Schedulable regions and equilibrium cost for multipath flow control:: the benefits of coordination
    Massoulie, Laurent
    Key, Peter
    2006 40TH ANNUAL CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1-4, 2006, : 668 - 673
  • [26] SpMT WaveCache: Exploiting speculative multithreading for dataflow computer
    Pei, Song-Wen
    Wu, Bai-Feng
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (07): : 1382 - 1392
  • [27] Inferring Required Permissions for Statically Composed Programs
    Hasu, Tero
    Bagge, Anya Helene
    Haveraaen, Magne
    SECURE IT SYSTEMS, NORDSEC 2013, 2013, 8208 : 51 - 66
  • [28] The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming
    Legalov A.I.
    Chuykin N.K.
    Supercomputing Frontiers and Innovations, 2023, 10 (02) : 32 - 45
  • [29] Translating Structured Sequential Programs to Dataflow Graphs
    Schneider, Klaus
    2021 19TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2022, : 66 - 77
  • [30] SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS WITH MODEL CHECKING
    Ersfolk, Johan
    Roquier, Ghislain
    Jokhio, Fareed
    Lilius, Johan
    Mattavelli, Marco
    2011 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), 2011, : 37 - 42