Compilers, Hands-Off My Hands-On Optimizations
Achieving high performance for compute bounded numerical kernels typically requires an expert to hand select an appropriate set of Single-instruction multiple-date (SIMD) instructions, then statically scheduling them in order to hide their latency while avoiding register spilling in the process. Unfortunately, this necessary amount of control of the code forces the expert to trade programming abstraction for performance which is why many performance critical kernels are written in assembly language. An alternative is to either resort to auto-vectorization (see Figure 1) or to use intrinsic functions, both features offered by compilers. However, in both scenarios the expert loses control over which instructions are selected, which optimizations are applied to the code and moreover how the instructions are scheduled for a target architecture. Ideally, the expert would need assembly-like control over their SIMD instructions beyond what intrinsics provide while maintaining a C-level abstraction for the non-performance critical parts. In this paper, we bridge the gap between performance an ab- straction for SIMD instructions through the use of custom macro intrinsics that provide the programmer control over the instruction selection, and scheduling, while leveraging the compiler to manage the registers. This provides the best of both assembly and vector intrinsics programming so that a programmer can obtain high performance implementations within the C programming language.
Sun 13 MarDisplayed time zone: Belfast change
11:00 - 12:30 | |||
11:00 30mTalk | Support for Data Parallelism in the CAL Actor Language WPMVP Essayas Gebrewahid Halmstad University | ||
11:30 30mTalk | An Evaluation of Current SIMD Programming Models for C++ WPMVP Angela Pohl TU Berlin | ||
12:00 30mTalk | Compilers, Hands-Off My Hands-On Optimizations WPMVP Richard Veras Carnegie Mellon University |