## Multidimensional Synchronous Dataflow (2002)

Venue: | IEEE Transactions on Signal Processing |

Citations: | 52 - 4 self |

### BibTeX

@ARTICLE{Murthy02multidimensionalsynchronous,

author = {Praveen K. Murthy and Edward A. Lee},

title = {Multidimensional Synchronous Dataflow},

journal = {IEEE Transactions on Signal Processing},

year = {2002},

volume = {50},

pages = {3306--3309}

}

### Years of Citing Articles

### OpenURL

### Abstract

Signal flow graphs with dataflow semantics have been used in signal processing system simulation, algorithm development, and real-time system design. Dataflow semantics implicitly expose function parallelism by imposing only a partial ordering constraint on the execution of functions. One particular form of dataflow called synchronous dataflow (SDF) has been quite popular in programming environments for digital signal processing (DSP) since it has strong formal properties and is ideally suited for expressing multirate DSP algorithms. However, SDF and other dataflow models use first-in first-out (FIFO) queues on the communication channels and are thus ideally suited only for one-dimensional (1-D) signal processing algorithms. While multidimensional systems can also be expressed by collapsing arrays into 1-D streams, such modeling is often awkward and can obscure potential data parallelism that might be present. SDF can be generalized...

### Citations

533 | Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
- Lee, Messerschmidt
- 1987
(Show Context)
Citation Context ...VI. A. Synchronous Dataflow For several years, we have been developing software environments for signal processing that are based on a special case of dataflow that we call synchronous dataflow (SDF) =-=[19]-=-. The Ptolemy [8], [11] program uses this model. It has also been used in Aachen, Germany, [29] in the COSSAP system and at Carnegie Mellon University, Pittsburgh, PA, [28] for programming the Warp. I... |

269 | Lustre: A declarative language for programming synchronous systems
- Caspi, Pilaud, et al.
- 1987
(Show Context)
Citation Context ...fers to this constraint and arises from the observation that the rates of production and consumption of tokens on all arcs are related by rational multiples. Unlike the “synchronous” languages Lustre =-=[9]-=- and Signal [2], however, there is no notion of clocks. Tokens form ordered sequences, where only the ordering is important. Consider the simple graph in Fig. 1. The symbols adjacent to the inputs and... |

257 |
A compile-time scheduling heuristic for interconnection-constrained heterogeneous processor architectures
- Sih, Lee
- 1993
(Show Context)
Citation Context ... be automatically constructed, specifying the partial ordering constrains between firings [19]. From this precedence graph, good compile-time multiprocessor schedules can be automatically constructed =-=[30]-=-. SDF allows a compact and intuitive expression of predictable control flow and is easy for a compiler to analyze. Consider, for instance, the SDF graph in Fig. 2. The balance equations can be solved ... |

201 |
Software Synthesis from Dataflow Graphs
- Bhattacharya, Murthy, et al.
- 1996
(Show Context)
Citation Context ... can construct the sequential schedule ( ), among many possibilities. This schedule is not a simple nested loop, although schedules with simple nested loop structure can be constructed systematically =-=[4]-=-. Notice that unlike the “synchronous” languages Lustre and Signal, we do not need the notion of clocks to establish a relationship between the stream into actor A and the stream out of actor B. The a... |

151 |
Static Rate-Optimal Scheduling of Iterative Data-Flow Programs via Optimum Unfolding
- Parhi, Messerschmitt
- 1991
(Show Context)
Citation Context ...prove to be a powerful model of computation for multidimensional programming. There is a body of work that extends scheduling and retiming techniques for 1-D, single-rate dataflow graphs, for example =-=[25]-=-, to single-rate multidimensional dataflow graphs [26] (retiming) [27], [35] (scheduling). Architectural synthesis from multirate, MDDFGs for rectangularly sampled systems is proposed in [31]. These w... |

91 |
Hybrid dynamical systems theory and the SIGNAL language
- Benveniste, Guernic
- 1990
(Show Context)
Citation Context ...nstraint and arises from the observation that the rates of production and consumption of tokens on all arcs are related by rational multiples. Unlike the “synchronous” languages Lustre [9] and Signal =-=[2]-=-, however, there is no notion of clocks. Tokens form ordered sequences, where only the ordering is important. Consider the simple graph in Fig. 1. The symbols adjacent to the inputs and outputs of the... |

65 |
The sampling and reconstruction of time-varying imagery with application in video systems
- Dubois
- 1985
(Show Context)
Citation Context ...ems sampled on the standard rectangular lattice. Since many multidimensional signals of practical interest are sampled on nonrectangular lattices [22], [32], for example, 2:1 interlaced video signals =-=[13]-=-, and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see [1], [6], and [21], for example), it is of interest to have an extension of the MDSD... |

64 |
High level software synthesis for signal processing systems
- Ritz, Pankert, et al.
- 1992
(Show Context)
Citation Context ...r signal processing that are based on a special case of dataflow that we call synchronous dataflow (SDF) [19]. The Ptolemy [8], [11] program uses this model. It has also been used in Aachen, Germany, =-=[29]-=- in the COSSAP system and at Carnegie Mellon University, Pittsburgh, PA, [28] for programming the Warp. Industrial tools making use of dataflow models for signal processing include System Canvas and D... |

60 | The Khoros software development environment for image and signal processing
- Konstantinides, Rasure
- 1994
(Show Context)
Citation Context ...ight be present so that a good scheduler can make use of it. While there has been some progress in developing block-diagram environments for multidimensional signal processing, like the Khoros system =-=[17]-=-, none, as far as we know, allow modeling of arbitrary sampling lattices at a fine-grained level, as shown in this paper.sMURTHY AND LEE: MULTIDIMENSIONAL SYNCHRONOUS DATAFLOW 2065 Fig. 1. Simple sync... |

40 |
Automatic mapping of large signal processing systems to a parallel machine
- Printz
- 1991
(Show Context)
Citation Context ... synchronous dataflow (SDF) [19]. The Ptolemy [8], [11] program uses this model. It has also been used in Aachen, Germany, [29] in the COSSAP system and at Carnegie Mellon University, Pittsburgh, PA, =-=[28]-=- for programming the Warp. Industrial tools making use of dataflow models for signal processing include System Canvas and DSP Canvas from Angeles Design Systems [24], the Cocentric System Studio from ... |

36 | Concrete domains
- Kahn, Plotkin
- 1993
(Show Context)
Citation Context ...er to graphically specify the data tokens that need to be accessed on each firing by some block and how this pattern of accesses changes with firings. The concrete data structures of Kahn and Plotkin =-=[16]-=-, and later of Berry and Curien [3], is an interesting model of computation that may include MDSDF as a subset. Concrete data structures model most forms of real-world data structures such as lists, a... |

32 |
Theory and practice of sequential algorithms: the kernel of the applicative language CDS
- Berry, Curien
- 1985
(Show Context)
Citation Context ...okens that need to be accessed on each firing by some block and how this pattern of accesses changes with firings. The concrete data structures of Kahn and Plotkin [16], and later of Berry and Curien =-=[3]-=-, is an interesting model of computation that may include MDSDF as a subset. Concrete data structures model most forms of real-world data structures such as lists, arrays, trees, etc. Essentially, Ber... |

27 |
Scheduling techniques for synchronous and multidimensional synchronous dataflow
- Murthy
- 1996
(Show Context)
Citation Context ... is given by the inverse of the volume of . Definition 1: Denote the set of integer points within as the set . That is, is the set of integer vectors of the form . The following well-known lemma (see =-=[23]-=- for a proof) characterizes the number of integer points that fall inside or the size of the set . Lemma 3: Let be an integer matrix. The number of elements in is given by det . 1) Multidimensional De... |

18 |
Static scheduling of multi-rate and cyclo-static dsp applications
- Bilsen, Engels, et al.
- 1994
(Show Context)
Citation Context ...decimator produces a varying number of samples per invocation might suggest that it falls nicely into the class of cyclostatic actors. However, there are a couple of differences. In the CSDF model of =-=[5]-=-, the number of cyclostatic phases are assumed to be known beforehand and is only a function of the parameters of the actor, like the decimation factor. In our model for the decimator, the number of p... |

17 |
Multidimensional Streams Rooted in Dataflow
- Lee
- 1993
(Show Context)
Citation Context ...imensional signal processing systems also have a predictable flow of control, like 1-D systems, and for this reason, an extension of SDF, called multidimensional synchronous dataflow, was proposed in =-=[20]-=-. However, the MDSDF model developed in [20] is restricted to modeling systems that use rectangular sampling structures. Since there are many practical systems that use nonrectangular sampling and non... |

13 |
The Directional Filter Bank: A Multirate Filter Bank for the Directional Decomposition of Images
- Bamberger
- 1990
(Show Context)
Citation Context ...n nonrectangular lattices [22], [32], for example, 2:1 interlaced video signals [13], and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see =-=[1]-=-, [6], and [21], for example), it is of interest to have an extension of the MDSDF model that allows signals on arbitrary sampling lattices to be represented and that allows the use of nonrectangular ... |

13 |
The processing of periodically sampled multidimensional signals
- Mersereau, Speake
- 1983
(Show Context)
Citation Context ...ed so far is limited to modeling multidimensional systems sampled on the standard rectangular lattice. Since many multidimensional signals of practical interest are sampled on nonrectangular lattices =-=[22]-=-, [32], for example, 2:1 interlaced video signals [13], and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see [1], [6], and [21], for exampl... |

11 |
Multistage sampling structure conversion of video signals,” preprint
- Manduchi, Cortelazzo, et al.
(Show Context)
Citation Context ...ar lattices [22], [32], for example, 2:1 interlaced video signals [13], and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see [1], [6], and =-=[21]-=-, for example), it is of interest to have an extension of the MDSDF model that allows signals on arbitrary sampling lattices to be represented and that allows the use of nonrectangular downsamplers an... |

10 |
Multirate signal processing
- Buck, Ha, et al.
- 1991
(Show Context)
Citation Context ...o not need the notion of clocks to establish a relationship between the stream into actor A and the stream out of actor B. The application of this model to multirate signal processing is described in =-=[7]-=-. An application to vector operations is shown in Fig. 4, where two fast Fourier transforms (FFTs) are multiplied. Both function and data parallelism are evident in thes2066 IEEE TRANSACTIONS ON SIGNA... |

9 |
Stream-Based Computing and Future Television
- Watlington, Bove
- 1995
(Show Context)
Citation Context ...previously is as shown in Fig. 30 [21]. We can easily calculate the various lattices and support matrices for this system, solve the balance equations, and develop a schedule [23]. V. RELATED WORK In =-=[36]-=-, Watlington and Bove discuss a stream-based computing paradigm for programming video processing applications. Rather than dealing with multidimensional dataspaces directly, as is done in this paper, ... |

7 |
Developing a multidimensional synchronous dataflow domain in Ptolemy
- Chen
- 1994
(Show Context)
Citation Context ...d as much as possible and so that effective use can be made of both functional and data parallelism. Although a multidimensional stream can be embedded within a 1-D stream, it may be awkward to do so =-=[10]-=-. In particular, compile-time information about the flow of control may not be immediately evident. Most multidimensional signal processing systems also have a predictable flow of control, like 1-D sy... |

7 |
Vissers et al. Architecture and programming of two generations video signal processors
- A
- 1995
(Show Context)
Citation Context ...n this paper of using a multidimensional stream model with static scheduling. The Philips Video Signal Processor (VSP) is a commercially available processor designed for video processing applications =-=[34]-=-. A single VSP chip contains 12 arithmetic/logic units, four memory elements, six on-chip buffers, and ports for six off-chip buffers. These are all interconnected through a full cross-point switch. P... |

6 |
The GLU programming language
- Jagannathan, Faustini
- 1990
(Show Context)
Citation Context ...st, the method looks promising to supplement large-grain dataflow languages, much like the GLU “coordination language” makes the multidimensional streams of Lucid available in large-grain environment =-=[15]-=-. It may lead to special purpose languages but could also ultimately form a basis for a language that, like Lucid, supports multidimensional streams but is easier to analyze, partition, and schedule a... |

5 |
Synchronous Circuit Optimization via Multi-Dimensional Retiming
- Passos, Sha
- 1996
(Show Context)
Citation Context ...imensional programming. There is a body of work that extends scheduling and retiming techniques for 1-D, single-rate dataflow graphs, for example [25], to single-rate multidimensional dataflow graphs =-=[26]-=- (retiming) [27], [35] (scheduling). Architectural synthesis from multirate, MDDFGs for rectangularly sampled systems is proposed in [31]. These works contrast with ours in that they do not consider m... |

4 |
et al. Heterogeneous concurrent modeling and design in java
- Davis
- 2001
(Show Context)
Citation Context ...flow For several years, we have been developing software environments for signal processing that are based on a special case of dataflow that we call synchronous dataflow (SDF) [19]. The Ptolemy [8], =-=[11]-=- program uses this model. It has also been used in Aachen, Germany, [29] in the COSSAP system and at Carnegie Mellon University, Pittsburgh, PA, [28] for programming the Warp. Industrial tools making ... |

4 |
Fundamentals of multidimensional multirate digital signal processing
- Vaidyanathan
- 1990
(Show Context)
Citation Context ...far is limited to modeling multidimensional systems sampled on the standard rectangular lattice. Since many multidimensional signals of practical interest are sampled on nonrectangular lattices [22], =-=[32]-=-, for example, 2:1 interlaced video signals [13], and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see [1], [6], and [21], for example), it... |

3 |
Synthesis of folded, pipelined architectures for multi-dimensional multirate systems
- Sundararajan, Parhi
- 1998
(Show Context)
Citation Context ... example [25], to single-rate multidimensional dataflow graphs [26] (retiming) [27], [35] (scheduling). Architectural synthesis from multirate, MDDFGs for rectangularly sampled systems is proposed in =-=[31]-=-. These works contrast with ours in that they do not consider modeling arbitrary sampling lattices, nor do they consider multidimensional dataflow as a high-level coordination language that can be use... |

2 |
Compatible Spatio-Temporal Subband Encoding
- Bosveld, Lagendijk, et al.
- 1992
(Show Context)
Citation Context ...rectangular lattices [22], [32], for example, 2:1 interlaced video signals [13], and many multidimensional multirate systems use nonrectangular multirate operators like hexagonal decimators (see [1], =-=[6]-=-, and [21], for example), it is of interest to have an extension of the MDSDF model that allows signals on arbitrary sampling lattices to be represented and that allows the use of nonrectangular downs... |

2 |
A framework for simulating and prototyping heterogeneous systems
- “Ptolemy
- 1994
(Show Context)
Citation Context ... Dataflow For several years, we have been developing software environments for signal processing that are based on a special case of dataflow that we call synchronous dataflow (SDF) [19]. The Ptolemy =-=[8]-=-, [11] program uses this model. It has also been used in Aachen, Germany, [29] in the COSSAP system and at Carnegie Mellon University, Pittsburgh, PA, [28] for programming the Warp. Industrial tools m... |

2 | Progress on HDTV broadcasting standards - Hopkins - 1993 |

1 |
Formalisme de Traitement du Signal
- Demeure
- 1994
(Show Context)
Citation Context ... be exploited by inserting actors like multiplexors and demultiplexors into the signal flow graphs. There has been interesting work done at Thomson-CSF in developing the array-oriented language (AOL) =-=[12]-=-. AOL is a specification formalism that tries to formalize the notion of array access patterns. The observation is that in many multidimensional signal processing algorithms, a chief problem is in spe... |

1 | System canvas–A new design environment for embedded dsp and telecommunication systems - Murthy, Cohen, et al. - 2001 |

1 | Minimization of memory access overhead for multidimensional DSP applications via multilevel partitioning and scheduling
- Wang, Sha, et al.
- 1997
(Show Context)
Citation Context .... There is a body of work that extends scheduling and retiming techniques for 1-D, single-rate dataflow graphs, for example [25], to single-rate multidimensional dataflow graphs [26] (retiming) [27], =-=[35]-=- (scheduling). Architectural synthesis from multirate, MDDFGs for rectangularly sampled systems is proposed in [31]. These works contrast with ours in that they do not consider modeling arbitrary samp... |