Using dynamic information to find vector parallelism

Vectorization;Programing Tools;Tracing

Evans, Graham C.

关键词: Vectorization;    Programing Tools;    Tracing;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/95322/EVANS-DISSERTATION-2016.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

Vectorization is key to performance on modern hardware. Almost all architectures include some form of vector instructions and the size of the instructions has been growing with newer designs. To take advantage of the performance that these systems offer, it is imperative that programs use vector instructions, and yet they do not always do so. To take advantage of vector hardware requires special instructions and since compliers only automatically generate them in simple cases the programmers need to work to use them. This requires programmer time and is often not portable. We believe that tools are needed to help guide even expert programmers.In this work we present the development of Vector Seeker, a tool to investigate vector parallelism. Our approach is to optimistically speculate on the parallel potential of codes by instrumenting original code and using that to find independent instances of the same instruction during the execution. We describe the preliminary work in which we developed a tool called MemVec, and how the limitations in that approach led to the development of Vector Seeker.We then describe Vector Seeker and verification testing of the tool on several benchmarks. Finally, we extend Vector Seeker to handle more production scale codes and describe our experiences with a large CFD code, PlasComCM.