Author(s)

Koki Hamaya, Satoshi Yamane

Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa, Japan.

GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads.

Graphics Processing Units, GPU, Bank Conflict, Symbolic Execution, Model Checking

Hamaya, K. and Yamane, S. (2017) Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study. Journal of Software Engineering and Applications, 10, 159-167. doi: 10.4236/jsea.2017.102009.