Implementation and Evaluation of Hierarchical Shape Analysis

碩士 === 國立中正大學 === 資訊工程研究所 === 104 === Hierarchical shape analysis is a technique that is used to discover the shape of the data structures generated by pointer assignments in C programs. The purpose of hierarchical shape analysis is to catch the useful shape information of data structures to guide c...

Full description

Bibliographic Details
Main Authors: LI, YUN-ZHOU, 李昀宙
Other Authors: CHEN, PENG-SHENG
Format: Others
Language:en_US
Published: 2016
Online Access:http://ndltd.ncl.edu.tw/handle/sk7sbt
Description
Summary:碩士 === 國立中正大學 === 資訊工程研究所 === 104 === Hierarchical shape analysis is a technique that is used to discover the shape of the data structures generated by pointer assignments in C programs. The purpose of hierarchical shape analysis is to catch the useful shape information of data structures to guide compilers in further aggressive parallelization or optimization. In this thesis, we implement a hierarchical shape analysis algorithm. The compiler infrastructure Cetus is used to help our implementation. For the tested benchmark programs, the experimental results show that the proposed implementation can successfully obtain the hierarchical shape information.