Developing parallel programs: A design-oriented perspective
Document Type
Conference Proceeding
Publication Date
10-13-2009
Abstract
The behavioral correctness of parallel programs has a pivotal role in computational sciences and engineering applications as researchers draw scientific conclusions from the results generated by parallel applications. Moreover, with the advent of multicore processors, the development of parallel programs should be facilitated for the mainstream developers. While numerous programming models and APIs exist for parallel programming, we pose the view that more emphasis should be placed on designing the synchronization mechanisms of parallel programs independent from the design of their functional behaviors. More importantly, programs' behaviors evolve (due to new requirements and change of configuration), thereby creating a need for techniques and tools that enable developers to reason about the behavioral evolution of parallel programs. With such motivations, we introduce a framework for automated design/evolution of the synchronization mechanisms of parallel programs. © 2009 IEEE.
Publication Title
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009
Recommended Citation
Ebnenasir, A.,
&
Beik, R.
(2009).
Developing parallel programs: A design-oriented perspective.
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009, 1-8.
http://doi.org/10.1109/IWMSE.2009.5071377
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/10699