arrow
返回

Genetic algorithm based estimation of non-functional properties for GPGPU programs

delete2020-02-01
delete2
PRE
AI
A
Adrian Horga *
S
Sudipta Chattopadhyay
P
Petru Eles
Z
Zebo Peng
DOI:10.1016/j.sysarc.2019.101697delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Non-functional properties, like execution time or memory access information, of programs running on graphics processing unit (GPUs) can raise safety and security concerns. For example, understanding the execution time is critical for embedded and real-time applications. To this end, 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 GPUs, analysis of WCET imposes great challenges due to the complex characteristics of GPU architecture as well as GPU program semantics. GPUs also have specific memory access behavior. Observing such memory access behavior may reveal sensitive information (e.g. a secret key). This, in turn, may be exploited to launch a side-channel attack on the underlying program. In this paper, we propose GDivAn, a measurement-based analysis framework for investigating the non-functional aspects of GPU programs, specifically, their execution time and side-channel leakage capacity. GDivAn is built upon a novel instantiation of genetic algorithm (GA). Moreover, GDivAn improves the effectiveness of GA using symbolic execution, when possible. Our evaluation with several open-source GPU kernels, including GPU kernels from the OpenSSL and MRTC benchmark suite, reveals the effectiveness of GDivAn both in terms of finding WCET and side-channel leakage.
Keyword:
Worst case execution time
Software security
GPU
Side-channel leakage
Software safety
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Journal of Systems Architecture 封面图
Journal of Systems Architecture
IF:
4.1
论文数:
3.0K
被引数:
4.2K

机构

L
Linkoping University
学者数:
1.6W
论文数: 1.5W
被引数: 184
S
singapore university of technology & design
学者数:
2.8K
论文数: 3.6K
被引数: 5
引用论文

引用论文

An orchestrated survey of methodologies for automated software test case generation对自动软件测试用例生成方法的精心策划的调查
err2013-08-01
err452
PREAI
errAnand, Saswat; Burke, Edmund K.; Chen, Tsong Yueh; Clark, John; Cohen, Myra B.; Grieskamp, Wolfgang; Harman, Mark; Harrold, Mary Jean; McMinn, Phil; Bertolino, Antonia; Li, J. Jenny; Zhu, Hong
err分享
err收藏
Bound states in sharply bent waveguides: Analytical and experimental approach
err2013-04-10
err0
errOAAI
errS. Bittner; B. Dietz; M. Miski-Oglu; A. Richter; C. Ripp; E. Sadurní; W. P. Schleich
err分享
err收藏