Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA
Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA
复制标题
通过 SE GA 对 GPGPU 程序进行基于测量的执行时间分析
DOI:
10.1109/dsd.2018.00021
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
Zebo Peng
中科院分区:
文献类型:
--
作者:
Adrian Horga;Sudipta Chattopadhyay;P. Eles;Zebo Peng
Understanding the execution time is critical for embedded, real-time applications. Worst-case execution time (WCET) is an important metric to check the real-time constraints imposed on embedded applications. For complex execution platforms, such as graphics processing units (GPUs), analysis of WCET imposes great challenges due to the complex characteristics of GPU architecture as well as GPU program semantics. In this paper, we propose GDivAn, a measurement-based WCET analysis tool for arbitrary GPU kernels. GDivAn systematically combines the strength of symbolic execution (SE) and genetic algorithm (GA) to maintain both the scalability and the effectiveness of the analysis process. Our evaluation with several open-source GPU kernels reveals the efficiency of GDivAn.
DOI:
10.1109/ecrts.2013.29
发表时间:
2013
期刊:
--
影响因子:
--
作者:
Betts A
通讯作者:
Betts A