Skip to Main content Skip to Navigation
New interface
Conference papers

Array Dataflow Analysis for Polyhedral X10 Programs

Abstract : This paper addresses the static analysis of an important class of X10 programs, namely those with finish/async parallelism, and affine loops and array reference structure as in the polyhedral model. For such programs our analysis can certify whenever a program is deterministic or flags races. Our key contributions are (i) adaptation of array dataflow analysis from the polyhedral model to programs with finish/async parallelism, and (ii) use of the array dataflow analysis result to certify determinacy. We distinguish our work from previous approaches by combining the precise statement instance-wise and array element-wise analysis capability of the polyhedral model with finish/async programs that are more expressive than doall parallelism commonly considered in the polyhedral literature. We show that our approach is exact (no false negative/positives) and more precise than previous approaches, but is limited to programs that fit the polyhedral model.
Document type :
Conference papers
Complete list of metadata
Contributor : Alain Darte Connect in order to contact the contributor
Submitted on : Wednesday, December 5, 2012 - 4:26:31 PM
Last modification on : Friday, November 18, 2022 - 9:28:25 AM


  • HAL Id : hal-00761537, version 1



Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat. Array Dataflow Analysis for Polyhedral X10 Programs. 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), Feb 2013, Shenzhen, China. ⟨hal-00761537⟩



Record views