×

A formal framework for orthogonal data and control parallelism handling. (English) Zbl 1129.68412

Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22–25, 2005. Proceedings, Part II. Berlin: Springer (ISBN 3-540-26043-9/pbk). Lecture Notes in Computer Science 3515, 772-780 (2005).
Summary: We propose a semantic framework for parallel programming based on the orthogonalization of data access and control concerns by means of set of abstraction mechanisms. Such mechanisms regard the description of how data has to be accessed, the description of how data has to be computed and the description of how coupling data accesses and patterns of control. Each description is represented by an abstraction mechanism formalized through a formal semantics. The set of semantics specifications defines a method to investigate the structure of the whole application. We demonstrate how this semantics provides a formal, provable method to statically or dynamically evaluate the overall performance of the application and, eventually, apply optimization rules.
For the entire collection see [Zbl 1073.68011].

MSC:

68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

Software:

STAPL; MANIFOLD
PDFBibTeX XMLCite
Full Text: DOI