Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs

Issue title: Concurrency Specification and Programming (CS&P 2003)

Article type: Research Article

Authors: Doroshenko, Analoliy | Tseitlin, Georgy

Affiliations: Institute of Software Systems, National Academy of Sciences of Ukraine, Glushkov prosp., 40, Kiev 252187, Ukraine | Internatinal Solomon University Sholudenko str. 1b, Kiev, Ukraine

Abstract: An approach based on algebraic treatment of programs and advanced transition system operational semantics is described for asynchronous communication of parallel distributed/shared memory programs. The approach aimes at efficient synchronization and combines compile- and run-time data flow analysis to improves computation and communication overlapping. A number of semantic models of data exchanges of increasing power for asynchronous communication in distributed environment are constructed. Two programming abstractions, exchange environs and coordination expressions, aimed to reduce communication and synchronization overhead are derived from the theory. The program models constructed give more theoretical insight into the nature of parallelism of computation and communication and have immediate practical influence on parallel programming. Particularly automatic resolution of some classes of communication deadlocks are allowed and enhancement of data parallel par

Keywords: concurrency of computation and communication, program abstractions, coordination expressions

Journal: Fundamenta Informaticae, vol. 60, no. 1-4, pp. 99-111, 2004