DocumentCode :
3145091
Title :
Parallel Object Contracts for High Performance Computing
Author :
Damevski, Kostadin ; Dahlgren, Tamara
Author_Institution :
Virginia State Univ., Petersburg, VA, USA
fYear :
2011
fDate :
16-20 May 2011
Firstpage :
1225
Lastpage :
1232
Abstract :
Modern high-performance computing applications are increasingly complex due to the nature of the problems being solved and the often unique, parallel platforms on which they are ultimately executed. Improving the quality of these applications through well-established software engineering techniques, such as design-by-contract, is of growing importance. This paper introduces preliminary work pursuing new interface contract clauses for parallel programming. Existing contract capabilities in the Babel compiler, which is a language interoperability tool tailored for high-performance computing, will be extended with parallel contract constructs for synchronization and method order sequencing. The goal of this work is to enhance existing contract mechanisms without imposing significant synchronization overhead. Preliminary results from an initial investigation of collective and threading assertions are presented.
Keywords :
object-oriented programming; open systems; parallel programming; software engineering; Babel compiler; design-by-contract; high performance computing; interface contract clauses; language interoperability tool; method order sequencing; parallel object contracts; parallel platforms; parallel programming; software engineering; Arrays; Context; Contracts; Electronic mail; Parallel processing; Software; Synchronization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 2011 IEEE International Symposium on
Conference_Location :
Shanghai
ISSN :
1530-2075
Print_ISBN :
978-1-61284-425-1
Electronic_ISBN :
1530-2075
Type :
conf
DOI :
10.1109/IPDPS.2011.263
Filename :
6008973
Link To Document :
بازگشت