A verified integration of parallel programming paradigms in CC++

Author

Sivilotti, Paolo A G

Author_Institution

Dept. of Comput. Sci., California Inst. of Technol., Pasadena, CA, USA

fYear

1994

fDate

26-29 Apr 1994

Firstpage

44

Lastpage

50

Abstract

CC++ is an object-oriented parallel programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely monitors and asynchronous channels. Furthermore, the object-oriented nature of CC++ provides an ideal framework for integrating these paradigms. We specify, implement, and formally verify a collection of libraries that integrates these traditional models with CC++

Keywords

C language; object-oriented languages; parallel languages; program verification; CC++; asynchronous channels; atomic functions; concurrency; monitors; object-oriented parallel programming language; parallel composition; parallel programming paradigms; programming paradigm; single-assignment variables; Computer languages; Computer science; Delay; Formal verification; Libraries; Object oriented modeling; Parallel processing; Parallel programming; Programming profession; Runtime;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Processing Symposium, 1994. Proceedings., Eighth International

Conference_Location

Cancun

Print_ISBN

0-8186-5602-6

Type

conf

DOI

10.1109/IPPS.1994.288320

Filename

288320