Alpinist: An Annotation-Aware GPU Program Optimizer Article Swipe
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.1007/978-3-030-99527-0_18
· OA: W4226335321
GPU programs are widely used in industry. To obtain the best performance, a typical development process involves the manual or semi-automatic application of optimizations prior to compiling the code. To avoid the introduction of errors, we can augment GPU programs with (pre- and postcondition-style) annotations to capture functional properties. However, keeping these annotations correct when optimizing GPU programs is labor-intensive and error-prone. This paper introduces Alpinist , an annotation-aware GPU program optimizer. It applies frequently-used GPU optimizations, but besides transforming code, it also transforms the annotations. We evaluate Alpinist , in combination with the VerCors program verifier, to automatically optimize a collection of verified programs and reverify them.
