scholarly journals Foundations of Total Functional Data-Flow Programming

2014 ◽  
Vol 153 ◽  
pp. 143-167 ◽  
Author(s):  
Baltasar Trancón y Widemann ◽  
Markus Lepper
Keyword(s):  
Functional Data ◽  
Data Flow

scholarly journals Asynchronous-streamed model for describing dynamically changing parallelism

2020 ◽  
Author(s):  
A.I. Legalov ◽  
D.S. Romanova
Keyword(s):  
Parallel Computing ◽  
Functional Data ◽  
Flow Model ◽  
Data Flow ◽  
Computation Time ◽  
Data Flow Model

The article presents the concept of an asynchronous-streamed model, which is an extension of the functional data-flow model of parallel computing. We suppose that the model will be used to describe dynamically changing parallelism. This model is based on the concept of asynchronous lists, which allow considering their parallelism as an independent way of describing the parallelism of the program. The specifics of asynchronous lists are represented. Using the examples, we show how to use this model to get temporary estimates of parallelism at different conditions of solving the problem. These estimates depends on correlation between data speed getting and computation time those data in parallel devices. Also, we demonstrate how two connected asynchronous-streamed functions can form pipeline automatically. As a result, we show out that on this model it is possible to obtain temporary estimates of the calculations performed and estimations which demonstrate the levels of parallelism.

scholarly journals Loop-invariant Optimization in the Pifagor Language

2018 ◽  
Vol 25 (4) ◽  
pp. 347-357
Author(s):  
Vladimir S. Vasilev ◽  
Alexander I. Legalov
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Functional Data ◽  
Data Flow ◽  
Auxiliary Function ◽  
Parallel Execution ◽  
Main Function ◽  
Graph Representations ◽  
Program Dependence Graph ◽  
Pifagor Programming Language

The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language. Optimization of the cycle invariant in imperative programming languages is reduced to a displacement from the cycle of computations that do not depend on variables that are changes in the loop. A feature of the functional data flow parallel programming language Pifagor is the absence of explicitly specified cyclic computations (the loop operator). However, recurring calculations in this language can be specified recursively or by applying specific language constructs (parallel lists). Both mechanisms provide the possibility of parallel execution. In the case of optimizing a recursive function, repeated calculations are carried out into an auxiliary function, the main function performing only the calculation of the invariant. When optimizing the invariant in computations over parallel lists, the calculation of the invariant moves from the function that executes over the list items to the function containing the call. The paper provides a definition of ”invariant” applied to the Pifagor language, algorithms for its optimization, and examples of program source codes, their graph representations (the program dependence graph) before and after optimization. The algorithm shown for computations over parallel lists is applicable only to the Pifagor language, because it rests upon specific data structures and the computational model of this language. However, the algorithm for transforming recursive functions may be applied to other programming languages.

scholarly journals Formal Verification of Programs in Functional Dataflow Parallel Language

2015 ◽  
Vol 19 (5) ◽  
pp. 81-99
Author(s):  
M. S. Kropacheva ◽  
A. I. Legalov
Keyword(s):  
Formal Verification ◽  
Parallel Programming ◽  
Programming Language ◽  
Functional Data ◽  
Data Flow ◽  
Formal System ◽  
Axiomatic Approach ◽  
Parallel Programs ◽  
Parallel Language ◽  
Parallel Programming Language

The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs correctness could be proved.

Data flow: The general problem and a cognitive model.

1962 ◽  
Author(s):  
Charles W. Dean ◽  
Jerome V. Lisovich
Keyword(s):  
General Problem ◽  
Data Flow ◽  
Cognitive Model
Sign in / Sign up

Export Citation Format

Share Document