skip to main content
10.1145/3401895.3401932acmotherconferencesArticle/Chapter ViewAbstractPublication Pageseatis-orgConference Proceedingsconference-collections
research-article

Fluid computing: interest-based communication in dataflow/multiset rewriting computing

Published: 29 January 2021 Publication History

Abstract

Among the existing computational parallel models, Gamma and Dynamic Dataflow are equivalent models where parallel programs can be developed in a natural way. However, the implementation of Gamma paradigm poses several communication and architectural challenges. On the other hand, interest-based protocols have emerged as possible solutions of communication routing enabling an efficient communication in IoT environments. An interesting property of Gamma is the possibility of locality exploration in a non-complex way that sounds quite suitable for IoT applications. This work proposes a novel execution model for Gamma programs integrating the Radnet --- an interest-based protocol --- as communication protocol. Since the interest processing using Gamma paradigm is not a trivial task, a dynamic dataflow graph is used to express the interest as edges between vertices. We explore the equivalence results between Gamma and dataflow and, also, provide experiments showing the potential of Gamma when used to implement approximate computing techniques.

References

[1]
T. A. O. Alves, B. F. Goldstein, F. M. G. França, and L. A. J. Marzulo. 2014. A Minimalistic Dataflow Programming Library for Python. In 2014 International Symposium on Computer Architecture and High Performance Computing Workshop. 96--101.
[2]
Tiago A. O. Alves, Leandro A. J. Marzulo, Felipe M. G. França, and Vitor Santos Costa. 2011. Trebuchet: Exploring TLP with Dataflow Virtualisation. Int. J. High Perform. Syst. Archit. 3, 2/3 (May 2011), 137--148.
[3]
S. Balakrishnan and G. S. Sohi. 2006. Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs. In 33rd International Symposium on Computer Architecture (ISCA'06). 302--313.
[4]
Jean-Pierre Banătre, Pascal Fradet, and Daniel Le Métayer. 2001. Gamma and the Chemical Reaction Model: Fifteen Years After. In Multiset Processing, Cristian S. Calude, Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 17--44.
[5]
Jean-Pierre Banâtre and Daniel Le Métayer. 1986. A New Computational Model and Its Discipline of Programming. In: Rapport de Recherche 566. INRIA, France.
[6]
G. Bosilca, A. Bouteiller, A. Danalis, T. Herault, P. Lemarinier, and J. Dongarra. 2011. DAGuE: A Generic Distributed DAG Engine for High Performance Computing. In 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum. 1151--1158.
[7]
Christian Creveuil. 1992. Implementation of Gamma on the connection machine. In Reasearch Directions in High-Level Parallel Programming Languages, Jean Pierre Banâtre and Daniel Le Métayer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 219--230.
[8]
Rubens H. P. de Almeida, Rui R. Mello, Jr., Gabriel A. L. Paillard, and Felipe M. G. França. 2016. A GPU-based Implementation for the Gamma Multiset Rewriting Paradigm. In Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). ACM, New York, NY, USA, 1225--1230.
[9]
Jack B. Dennis and David P. Misunas. 1974. A preliminary architecture for a basic data-flow processor. SIGARCH Comput. Archit. News 3, 4 (1974), 126--132.
[10]
Alejandro Duran, Eduard Ayguade, Rosa M. Badia, Jesus Labarta, Luis Martinell, Xavier Martorell, and Judit Planas. 2011. OmpSs: A Proposal for Programming Heterogeneous Multi-Core Architectures. Parallel Processing Letters 21, 02 (2011), 173--193. arXiv:https://doi.org/10.1142/S0129626411000151
[11]
D. L. C. Dutra, H. F. Moraes, and C. L. Amorim. 2015. RadFlow: An Interest-Centric Task Based Dataflow Runtime. In 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW). 115--119.
[12]
Renato C Dutra, Heberte F Moraes, and Claudio L Amorim. 2012. Interest-centric mobile ad hoc networks. In Network Computing and Applications (NCA), 2012 11th IEEE International Symposium on. IEEE, 130--138.
[13]
Pascal Fradet and Daniel Le Métayer. 1998. Structured Gamma. Science of Computer Programming 31, 2 (1998), 263 -- 289. Coordination Models, Languages and Architectures.
[14]
J. Han and M. Orshansky. 2013. Approximate computing: An emerging paradigm for energy-efficient design. In 2013 18th IEEE European Test Symposium (ETS). 1--6.
[15]
C. Hankin, D. Le Métayer, and D. Sands. 1993. A calculus of gamma programs. In Languages and Compilers for Parallel Computing, Utpal Banerjee, David Gelernter, Alex Nicolau, and David Padua (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 342--355.
[16]
Linpeng Huang, Weiqin Tong, Wing Ng Kam, and Yongqiang Sun. 1997. Implementation of GAMMA on a massively parallel computer. Journal of Computer Science and Technology 12, 1 (01 Jan 1997), 29--39.
[17]
R. R. Junior, R. H. Almeida, F. M. França, and G. A. Paillard. 2016. A Parallel Implementation of Data Fusion Algorithm Using Gamma. In 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW), Vol. 00. 109--114.
[18]
Rui R. Mello Junior, Leandro S. Araujo, Tiago A. O. Alves, Leandro A. J. Marzulo, Gabriel Antoine Louis Paillard, and Felipe M. G. França. 2019. Exploring the Equivalence between Dynamic Dataflow Model and Gamma - General Abstract Model for Multiset mAnipulation. In 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). 809--816.
[19]
Rui R. Mello Junior, Leandro Santiago de Araújo, Tiago A. O. Alves, Leandro A. J. Marzulo, Gabriel Antoine Louis Paillard, and Felipe M. G. França. 2018. Exploring the Equivalence between Dynamic Dataflow Model and Gamma - General Abstract Model for Multiset mAnipulation. CoRR abs/1811.00607 (2018). arXiv:1811.00607 http://arxiv.org/abs/1811.00607
[20]
Donald E. Knuth. 2011. Art of Computer Programming, Volumes 1-4A Boxed Set (3rd ed.). Addison-Wesley Professional.
[21]
Leandro A.J. Marzulo, Tiago A.O. Alves, Felipe M.G. França, and Vítor Santos Costa. 2014. Couillard: Parallel programming via coarse-grained Data-flow Compilation. Parallel Comput. 40, 10 (2014), 661 -- 680.
[22]
L. A. J. Marzulo, T. A. O. Alves, F. M. G. França, and V. S. Costa. 2010. TALM: A Hybrid Execution Model with Distributed Speculation Support. In 2010 22nd International Symposium on Computer Architecture and High Performance Computing Workshops. 31--36.
[23]
L. A. J. Marzulo, F. M. G. França, and V. S. Costa. 2008. Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. In 2008 20th International Symposium on Computer Architecture and High Performance Computing. 183--190.
[24]
Daniel Le Métayer. 1994. Higher-Order Multiset Programming. In in Proc. of the DIMACS workshop on specifications of parallel algorithms, American Mathematical Society, Dimacs series in Discrete Mathematics. American Mathematical Society.
[25]
G.A.L. Paillard, F.M.G. Franca, and J.A.M. Filho. 2001. Uma Proposta de um Escalonador para Gamma. In II Workshop em Sistemas Computacionais de Alto Desempenho. Pirenópolis, GO, 47--54.
[26]
Gabriel Antoine Louis Paillard, Felipe Maia Galvão França, and Juarez Muylaert Filho. 2001. A Distributed Implementation of Structured Gamma. In International Conference on Parallel and Distributed Systems, KiongJu City. 445--450.
[27]
Leandro Rouberte, Alexandre C. Sena, Alexandre S. Nery, Leandro A. J. Marzulo, Tiago A. O. Alves, and Felipe M. G. França. 2018. DF-DTM: Dynamic Task Memoization and reuse in dataflow. Concurrency and Computation: Practice and Experience 0, 0 (2018), e4937. arXiv:https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpe.4937 e4937 cpe.4937.
[28]
David Sands. 1993. A compositional semantics of combining forms for gamma programs. In Formal Methods in Programming and Their Applications, Dines Bjørner, Manfred Broy, and Igor V. Pottosin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 43--56.
[29]
M. Solinas, R. M. Badia, F. Bodin, A. Cohen, P. Evripidou, P. Faraboschi, B. Fechner, G. R. Gao, A. Garbade, S. Girbal, D. Goodman, B. Khan, S. Koliai, F. Li, M. Luján, L. Morin, A. Mendelson, N. Navarro, A. Pop, P. Trancoso, T. Ungerer, M. Valero, S. Weis, I. Watson, S. Zuckermann, and R. Giorgi. 2013. The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices. In 2013 Euromicro Conference on Digital System Design. 272--279.
[30]
K. Stavrou, D. Pavlou, M. Nikolaides, P. Petrides, P. Evripidou, P. Trancoso, Z. Popovic, and R. Giorgi. 2009. Programming Abstractions and Toolchain for Dataflow Multithreading Architectures. In 2009 Eighth International Symposium on Parallel and Distributed Computing. 107--114.

Cited By

View all
  • (2023)GSink - A Runtime for Gamma Programs and its CGRA Mapping Proposal2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW59300.2023.00076(444-451)Online publication date: May-2023

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
EATIS '20: Proceedings of the 10th Euro-American Conference on Telematics and Information Systems
November 2020
388 pages
ISBN:9781450377119
DOI:10.1145/3401895
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 January 2021

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. dataflow
  2. distributed systems
  3. gamma
  4. parallel runtime
  5. radnet

Qualifiers

  • Research-article

Funding Sources

  • Conselho Nacional de Desenvolvimento Científico e Tecnológico

Conference

EATIS 2020

Acceptance Rates

Overall Acceptance Rate 17 of 64 submissions, 27%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)GSink - A Runtime for Gamma Programs and its CGRA Mapping Proposal2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW59300.2023.00076(444-451)Online publication date: May-2023

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media