Gamma — General Abstract Model for Multiset mAnipulation and dynamic dataflow model: An equivalence study

With the increase of the search for computational models where the expression of parallelism occurs naturally, some paradigms arise as options for the current generation of computers. In this context, dynamic dataflow and Gamma—General Model for Multiset mAnipulation—emerge as interesting computatio...

Full description

Saved in:
Bibliographic Details
Published in:Concurrency and computation 2021-06, Vol.33 (11), p.n/a
Main Authors: Mello, Rui R., Araújo, Leandro S., Alves, Tiago A. O., Marzulo, Leandro A. J., Paillard, Gabriel A. L., França, Felipe M. G.
Format: Article
Language:English
Subjects:
Apexes
Chemical reactions
computational models
dataflow
Equivalence
Gamma
Graph theory
Parallel programming
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:With the increase of the search for computational models where the expression of parallelism occurs naturally, some paradigms arise as options for the current generation of computers. In this context, dynamic dataflow and Gamma—General Model for Multiset mAnipulation—emerge as interesting computational model choices. In dynamic dataflow model, operations are performed as soon as their associated operands are available, without rely on a Program Counter to dictate the execution order of instructions. The Gamma paradigm is based on a parallel multiset rewriting scheme. It provides a nondeterministic execution model inspired by an chemical machinemetaphor, where operations are formulated as reactions that occur freely among matching elements belonging to the multiset. In this work, equivalence relations between the dynamic dataflow and Gamma paradigms are exposed and explored, while methods to convert from dataflow to Gamma paradigm and vice versa are provided. It is shown that vertices and edges of a dynamic dataflow graph can correspond, respectively, to reactions and multiset elements in the Gamma paradigm. This work provides the scientific community with the possibility of taking profit of both parallel programming models, contributing with a versatility component to researchers and developers.
ISSN:1532-0626
1532-0634
DOI:10.1002/cpe.6176