Verification of BSF Parallel Computational Model

10/30/2017
by   Nadezhda Ezhova, et al.
0

The article is devoted to the verification of the BSF parallel computing model. The BSF-model is an evolution of the "master-slave" model and SPMD-model. The BSF-model is oriented to iterative algorithms that are implemented in cluster computing systems. The article briefly describes the basics of the BSF-model and its cost metrics. The structure of the BSF program is shown in the form of a UML activity diagram. The simulator of BSF-programs, implemented in C++ language using the MPI-library, is described. The results of computational experiments confirming the adequacy of the cost metrics of the BSF-model are presented.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/16/2021

Verification of MPI programs

In this paper, we outline an approach to verifying parallel programs. A ...
research
08/22/2020

BSF-skeleton: A Template for Parallelization of Iterative Numerical Algorithms on Cluster Computing Systems

This article describes a method for creating applications for cluster co...
research
11/10/2018

Scalability Evaluation of Iterative Algorithms Used for Supercomputer Simulation of Physical processes

The paper is devoted to the development of a methodology for evaluating ...
research
08/08/2020

BSF: a parallel computation model for scalability estimation of iterative numerical algorithms on cluster computing systems

This paper examines a new parallel computation model called bulk synchro...
research
10/28/2017

Analytical Estimation of the Scalability of Iterative Numerical Algorithms on Distributed Memory Multiprocessors

This article presents a new high-level parallel computational model name...
research
07/31/2023

Verified Scalable Parallel Computing with Why3

BSML is a pure functional library for the multi-paradigm language OCaml....
research
06/05/2022

Geometric Theory for Program Testing

Formal methods for verification of programs are extended to testing of p...

Please sign up or login with your details

Forgot password? Click here to reset