4. Limits of Parallel Flow Analysis
Automatic analysis of parallel programs is known as a notoriously hard problem. A well-known obstacle is the so-called state-explosion problem: the number of (control) states of a parallel program grows exponentially with the number of parallel components. Therefore, most practical flow analysis algorithms of concurrent programs conservatively approximate the effects arising from interference of different threads in order to achieve efficiency.
KeywordsRegular Expression Parallel Program Concurrent Program Program Point Proof Outline
Unable to display preview. Download preview PDF.