More Web Proxy on the site http://driver.im/

research-article

HoCL: High level specification of dataflow graphs

Author:

Jocelyn SérotAuthors Info & Claims

IFL '20: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages

Pages 11 - 22

https://doi.org/10.1145/3462172.3462185

Published: 23 July 2021 Publication History

Abstract

We introduce HoCL (Higher order Coordination Language), a domain specific language (DSL) for specifying hierarchical, parameterized dataflow graphs. HoCL leverages on a purely functional semantics to allow graph structures to be described in an abstract and concise manner. Generic graph patterns, in particular, can be encapsulated as user-definable higher-order functions. HoCL descriptions are independent of the underlying dataflow model of computation and the HoCL compiler is intended to be used as a front-end to existing dataflow visualization, analysis and implementation tools. HoCL and its documentation are freely available on Github [17].

References

[1]

B. Bhattacharya and S. S. Bhattacharyya. 2001. Parameterized dataflow modeling for DSP systems. IEEE Transactions on Signal Processing 49, 10 (2001), 2408–2421. https://doi.org/10.1109/78.950795

Digital Library

[2]

Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. 2001. Lava: Hardware Design in Haskell. ACM SIGPLAN Notices 34 (05 2001). https://doi.org/10.1145/289423.289440

Digital Library

[3]

J. Eker, J. W. Janneck, E. A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Yuhong Xiong. 2003. Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91, 1 (2003), 127–144. https://doi.org/10.1109/JPROC.2002.805829

[4]

Conal Elliott and Paul Hudak. 1997. Functional Reactive Animation. In International Conference on Functional Programming. http://conal.net/papers/icfp97/

[5]

J. Ellson, E. Gansner, Y. Hu, and S. North. 2021. Graphiz Visualization Software. http://www.graphviz.org

[6]

John Feo. 2011. Sisal. Springer US, Boston, MA, 1827–1831. https://doi.org/10.1007/978-0-387-09766-4_118

[7]

M. Gerards, C. Baaij, J. Kuper, and M. Kooijman. 2011. Higher-Order Abstraction in Hardware Descriptions with C?aSH. In 2011 14th Euromicro Conference on Digital System Design. 495–502. https://doi.org/10.1109/DSD.2011.69

Digital Library

[8]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. 1991. The synchronous data flow programming language LUSTRE. Proc. IEEE 79, 9 (1991), 1305–1320. https://doi.org/10.1109/5.97300

[9]

Chia-Jui Hsu, Fuat Keceli, Ming-Yung Ko, Shahrooz Shahparnia, and Shuvra S. Bhattacharyya. 2004. DIF: An Interchange Format for Dataflow-Based Design Tools. In Computer Systems: Architectures, Modeling, and Simulation, Andy D. Pimentel and Stamatis Vassiliadis (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 423–432.

[10]

National Instruments. 2021. LabVIEW. Retrieved April 2021 from https:www.ni.com/labview

[11]

E. A. Lee and T. M. Parks. 1995. Dataflow process networks. Proc. IEEE 83, 5 (1995), 773–801. https://doi.org/10.1109/5.381846

[12]

James R. McGraw. 1982. The VAL Language: Description and Analysis. ACM Trans. Program. Lang. Syst. 4, 1 (Jan. 1982), 44–82. https://doi.org/10.1145/357153.357157

Digital Library

[13]

Maxime Pelcat, Karol Desnos, Julien Heulot, Clément Guy, Jean François Nezan, and Slaheddine Aridhi. 2014. PREESM: A Dataflow-Based Rapid Prototyping Framework for Simplifying Multicore DSP Programming. In EDERC. Italy, 36. https://hal.archives-ouvertes.fr/hal-01059313

[14]

Marc Pouzet. 2006. Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud, LRI. Distribution available at: www.lri.fr/ ∼ pouzet/lucid-synchrone.

[15]

N. Sane, H. Kee, G. Seetharaman, and S. S. Bhattacharyya. 2010. Scalable representation of dataflow graph structures using topological patterns. In 2010 IEEE Workshop On Signal Processing Systems. 13–18. https://doi.org/10.1109/SIPS.2010.5624821

[16]

J. Sérot. 2020. Demonstration of the HoCL toplevel interpreter. Retrieved April 2021 from https://www.youtube.com/watch?v=WQSacRxYgGM

[17]

J. Sérot. 2020. HoCL, a Higher Order dataflow Coordination Language. Retrieved April 2021 from https://github.com/jserot/hocl

[18]

J. Sérot. 2021. The HoCL documentation. Distribution available at: github.com/jserot/hocl/blob/master/doc.

[19]

J. Sérot and F. Berry. 2014. High-Level Dataflow Programming for Reconfigurable Computing. In 2014 International Symposium on Computer Architecture and High Performance Computing Workshop. 72–77. https://doi.org/10.1109/SBAC-PADW.2014.18

Digital Library

[20]

J. Sérot and F. Berry. 2019. The CAPH Language, Ten Years After. In Embedded Computer Systems: Architectures, Modeling and Simulation (19th International Conference, SAMOS 2019). 336–347. https://doi.org/10.1007/978-3-030-27562-4_24

Digital Library

Cited By

Castrillon JDesnos KGoens AMenard C(2023)Dataflow Models of Computation for Programming Heterogeneous MulticoresHandbook of Computer Architecture10.1007/978-981-15-6401-7_45-2(1-40)Online publication date: 28-Sep-2023
https://doi.org/10.1007/978-981-15-6401-7_45-2
HAGGUI NBELGHITH FHAMIDOUCHE WMASMOUDI NNEZAN J(2022)Multiple Transform Selection Concept Modeling and Implementation Using Dynamic and Parameterized Dataflow GraphsJournal of Signal Processing Systems10.1007/s11265-021-01725-494:7(709-720)Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1007/s11265-021-01725-4
Castrillon JDesnos KGoens AMenard C(2022)Dataflow Models of Computation for Programming Heterogeneous MulticoresHandbook of Computer Architecture10.1007/978-981-15-6401-7_45-1(1-40)Online publication date: 28-Jan-2022
https://doi.org/10.1007/978-981-15-6401-7_45-1

Recommendations

FlowSpec: declarative dataflow analysis specification
SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec has declarative support for the specification of control flow graphs of programming languages, and dataflow analyses on these control flow graphs. ...
Burial level change defines a high energetic relevance for protein binding interfaces

Protein-protein interfaces defined through atomic contact or solvent accessibility change are widely adopted in structural biology studies. But, these definitions cannot precisely capture energetically important regions at protein interfaces. The burial ...
Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation

Chemical reactions are described by edge relabeling graph transformation rules, in which a substrate chemical graph is transformed into a product chemical graph by breaking existing bonds and creating new bonds between atoms. These edge relabeling graph ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

IFL '20: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages

September 2020

161 pages

ISBN:9781450389631

DOI:10.1145/3462172

Copyright © 2020 ACM.

© 2020 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 July 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

IFL 2020

IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages

September 2 - 4, 2020

Canterbury, United Kingdom

Acceptance Rates

Overall Acceptance Rate 19 of 36 submissions, 53%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
18
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Castrillon JDesnos KGoens AMenard C(2023)Dataflow Models of Computation for Programming Heterogeneous MulticoresHandbook of Computer Architecture10.1007/978-981-15-6401-7_45-2(1-40)Online publication date: 28-Sep-2023
https://doi.org/10.1007/978-981-15-6401-7_45-2
HAGGUI NBELGHITH FHAMIDOUCHE WMASMOUDI NNEZAN J(2022)Multiple Transform Selection Concept Modeling and Implementation Using Dynamic and Parameterized Dataflow GraphsJournal of Signal Processing Systems10.1007/s11265-021-01725-494:7(709-720)Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1007/s11265-021-01725-4
Castrillon JDesnos KGoens AMenard C(2022)Dataflow Models of Computation for Programming Heterogeneous MulticoresHandbook of Computer Architecture10.1007/978-981-15-6401-7_45-1(1-40)Online publication date: 28-Jan-2022
https://doi.org/10.1007/978-981-15-6401-7_45-1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents