Polyvios Pratikakis - Driving auto-parallelization optimizations with static analysis
September, 07 at 11:00 (MSC)
We present a static dependence analysis to detect possible dependencies and certain independencies among OpenMP tasks. Our system combines flow-sensitive and flow-insensitive pointer analysis to detect thread-shared memory, control-flow and escape analysis to detect thread-local memory, and context-sensitive effect analysis to infer possible run-time happens-before relations. We measure the effect of our optimization on BDDT and ParTEE, on OpenMP-like tasks and on Cilk-like recursive parallel programs.