Cost evaluation from specifications for BSP programs

Authors:
Virginia Niculescu
Affiliations:
Babeş-Bolyai University, Dept. of Computer Science, Cluj-Napoca, Romania
Venue:
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Year:
2006

Citing 5
Cited 0

A bridging model for parallel computation

Communications of the ACM
Models and languages for parallel computation

ACM Computing Surveys (CSUR)
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
On Data Distributions in the Construction of Parallel Programs

The Journal of Supercomputing

Quantified Score

Hi-index	0.00

Visualization

Abstract

BSP has shown that structured parallel programming is not only a performance win, but it is also a program construction win, especially if we add a formal method for designing. Maybe the most important advantage that BSP brings is the effective cost model that allows a good evaluation of the performance. The paper presents a technique for cost evaluation from specifications for BSP programs. We consider parameterized specifications and processes for BSP programs, and the parameters are the number of processes, the index of the local process, and the data distribution. The possibility of counting the number of communications from postconditions, allows us to make a cost evaluation even at the early stages of the design, and so it leads us to the right decisions.