Visualizing and Finding Optimization Opportunities with Intel Advisor Roofline feature

Transcription

1 Visualizing and Finding Optimization Opportunities with Intel Advisor Roofline feature Intel Software Developer Conference Frankfurt, 2017 Klaus-Dieter Oertel, Intel

2 Agenda Intel Advisor for vectorization optimization What is the theoretical roofline model? How is it implemented in Advisor? Some examples Resources

3 Changing Hardware Impacts Software More Cores More Threads Wider Vectors Intel Xeon Processor Intel Xeon Phi 64-bit 5100 series 5500 series 5600 series E E V2 E V3 E V4 Platinum 8180 processor Knights Landing Core(s) Threads SIMD Width Optimization Notice High performance software must be both Parallel (multi-thread, multi-process) Vectorized *Product specification for launched and shipped products available on ark.intel.com. Copyright 2017, Intel Corporation. All rights reserved. *Other names and

4 Vectorize and Thread for Dramatic Performance Gains Together they are more effective than either one alone Automatic Vectorization Not Enough Explicit pragmas and optimization often required 187x Vectorized & Threaded The Difference Is Growing With Each New Generation of Hardware Intel Xeon 2007 Processor: X5472 codenamed: Harpertown 2009 X5570 Nehalem 2010 X5680 Westmere 2012 E Sandy Bridge 2013 E v2 Ivy Bridge 2014 E v3 Haswell 2016 E v4 Broadwell Threaded Vectorized Serial Software and workloads used in performance tests may have been optimized for performance only on Intel microprocessors. Performance tests, such as SYSmark and MobileMark, are measured using specific computer systems, components, software, operations and functions. Any change to any of those factors may cause the results to vary. You should consult other information and performance tests to assist you in fully evaluating your contemplated purchases, including the performance of that product when combined with other products. For more information go to Configurations at the end of this presentation. Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 4

5 Intel Advisor Vectorization Advisor Get breakthrough vectorization performance Faster Vectorization Optimization: Vectorize where it will pay off most Quickly ID what is blocking vectorization Tips for effective vectorization Safely force compiler vectorization Optimize memory stride The data and guidance you need: Compiler diagnostics + Performance Data + SIMD efficiency Detect problems & recommend fixes Loop-Carried Dependency Analysis Memory Access Patterns Analysis Optimize for AVX-512 with or without access to AVX-512 hardware Part of Intel Parallel Studio XE Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 5

6 The Right Data At Your Fingertips Get all the data you need for high impact vectorization Filter by which loops are vectorized! Trip Counts What prevents vectorization? Focus on hot loops What vectorization issues do I have? Which Vector instructions are being used? How efficient is the code? Get Faster Code Faster! Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 6

7 Find Effective Optimization Strategies Intel Advisor: Cache-aware roofline analysis Roofs Show Platform Limits Memory, cache & compute limits Dots Are Loops Bigger, red dots take more time so optimization has a bigger impact Dots farther from a roof have more room for improvement Higher Dot = Higher GFLOPs/sec Optimization moves dots up Algorithmic changes move dots horizontally Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and Which loops should we optimize? A and G are the best candidates B has room to improve, but will have less impact E, C, D, and H are poor candidates Roofs Roofline tutorial video New! 7

8 Agenda Intel Advisor for vectorization optimization What is the theoretical roofline model? How is it implemented in Advisor? Some examples Resources

9 What is the roofline model? Do you know how fast you should run? Comes from Berkeley Performance is limited by equations/implementation & code generation/hardware 2 hardware limitations PEAK Flops PEAK Bandwidth The application performance is bounded by hardware specifications Gflop/s= min Platform PEAK Platform BW AI Arithmetic Intensity (Flops/Bytes) 9

10 Platform PEAK FlopS How many floating point operations per second Gflop/s= min Platform PEAK Platform BW AI Theoretical value can be computed by specification Example with 2 sockets Intel Xeon Processor E v2 PEAK FLOP = 2 x 2.7 x 12 x 8 x 2 = Gflop/s Number of sockets Core Frequency Number of cores Number of single precision element in a SIMD register More realistic value can be obtained by running Linpack =~ 930 Gflop/s on a 2 sockets Intel Xeon Processor E v2 1 port for addition, 1 for multiplication 10

11 Platform PEAK bandwidth How many bytes can be transferred per second Gflop/s= min Platform PEAK Platform BW AI Theoretical value can be computed by specification Example with 2 sockets Intel Xeon Processor E v2 PEAK BW = 2 x x 8 x 4 = 119 GB/s Number of sockets Byte per channel Memory Frequency Number of mem channels More realistic value can be obtained by running Stream =~ 100 GB/s on a 2 sockets Intel Xeon Processor E v2 11

12 Drawing the Roofline Defining the speed of light Gflop/s= min Platform PEAK Platform BW AI 2 sockets Intel Xeon Processor E v2 Peak Flop = 1036 Gflop/s Peak BW = 119 GB/s 1036 Gflops/s AI [Flop/B] 12

13 Drawing the Roofline Defining the speed of light Gflop/s= min Platform PEAK Platform BW AI 2 sockets Intel Xeon Processor E v2 Peak Flop = 1036 Gflop/s Peak BW = 119 GB/s 1036 Gflops/s AI [Flop/B] 13

14 Drawing the Roofline Defining the speed of light Gflop/s= min Platform PEAK Platform BW AI 2 sockets Intel Xeon Processor E v2 Peak Flop = 1036 Gflop/s Peak BW = 119 GB/s 1036 Gflops/s AI [Flop/B]

15 What is the performance boundary? Manual way to do it Manual counting on matrix/matrix multiplication for(i=0; i<n; i++) for(j=0; j<n; j++) for(k=0; k<n; k++) c[i][j] = c[i][j] + a[i][k] * b[k][j] # add = N * N * N #Read = 3 * N * N * 4 bytes # mul = N * N * N #Write = N * N * 4 bytes AI = 2N3 16N 2 = 1 8 N 15

16 Compute the maximum performance BW * Arithmetic Intensity Gflop/s= min Platform PEAK Platform BW AI 2 sockets Intel Xeon Processor E v2 Peak Flop = 1036 Gflop/s Peak BW = 119 GB/s Gflops/s If N = 8, sgemm should not be able to perform better than 119 GFlop/s on a 2 sockets Ivy Bridge For sgemm AI = 1/8 N If N = 8, AI = 1 1 AI [Flop/B]

17 And NOW? How to get better performance? Gflops/s Vectorization + threading Optimize memory access

18 Agenda Intel Advisor for vectorization optimization What is the theoretical roofline model? How is it implemented in Advisor? Some examples Resources

19 Roofline in Intel Advisor The cache aware roofline model Intel Advisor implements a Cache Aware Roofline Model (CARM) - Algorithmic, Cumulative (L1+L2+LLC+DRAM) traffic-based - Invariant for the given code / platform combination How does it work? - Counts every memory movement - Bytes and Flops -> Instrumentation - Time -> Sampling CARM: Cache aware Roofline Model DRAM: DRAM aware Roofline Model TRAM: Theoretical Roofline Model Typically AI_CARM < AI_DRAM < AI_TRAM 19

20 Understanding the roofline in Intel Advisor Intel Advisor for vectorization optimization Purely compute bound Purely Cache/DRAMbound 20

21 Agenda Intel Advisor for vectorization optimization What is the theoretical roofline model? How is it implemented in Advisor? Some examples Resources

22 Roofline model and compiler optimizations

23 Roofline model and optimizations Matrix/matrix addition void addition(float* a, float* b, float* c, int size){ int i, j; for(j=0; j<size; j++){ for(i=0; i<size; i++){ c[i*size + j] = a[i*size + j]+b[i*size + j]; } } } Let s have a look at the roofline model

24 Roofline model and optimizations Compilation with O1 Very poor performance, far from the DRAM roofline!

25 Roofline model and optimizations Lets look at the Memory Access Pattern Analysis Constant stride found!!! Looks like loops should be reversed

26 Roofline model and optimizations Compilation with O3

27 Vectorization of Loop carried dependency

28 Vectorization of loop carried dependency Loop carried dependency void addition(float* a, float* b, float* c, int size){ int i, j; for(i=0; i<size; i++){ for(j=pad; j<size; j++){ c[i*size + j] = a[i*size + j]+c[i*size + j-pad]; } } }

29 Vectorization of loop carried dependency

30 Vectorization of loop carried dependency Loop carried dependency

31 Vectorization of loop carried dependency Loop carried dependency void addition(float* a, float* b, float* c, int size){ int i, j; for(i=0; i<size; i++){ #pragma omp simd safelen(4) In this case, we assume that pad >=4 for(j=pad; j<size; j++){ c[i*size + j] = a[i*size + j]+c[i*size + j-pad]; } } }

32 Vectorization of loop carried dependency

33 Vectorization of loop carried dependency Safelen was 4

34 Vectorization of function call

35 Vectorization of a function call with OMP Function call inside of a loop can prevent the vectorization for(int i=0; i<size; i++){ for(int j=0; j<size; j++){ single_line_addition(a, c, i*size + j); } } //function is defined in another compilation unit void single_line_addition(float* a, float* c, int ind){ c[ind] = a[ind]+c[ind]; }

36 Vectorization of a function call with OMP

37 Vectorization of a function call with OMP Advisor tells you that this pattern can be a problem and proposes a solution

38 Vectorization of a function call with OMP Omp declare simd for(int i=0; i<size; i++){ #pragma omp simd for(int j=0; j<size; j++){ single_line_addition(a, c, i*size + j); } } #pragma omp declare simd uniform(a, c) linear(ind) void single_line_addition(float* a, float* c, int ind);

39 Vectorization of a function call with OMP

40 Vectorization of a function call with OMP Before Intel Advisor for vectorization optimization After

41 Agenda Intel Advisor for vectorization optimization What is the theoretical roofline model? How is it implemented in Advisor? Some examples Resources

42 References Roofline model proposed by Williams, Waterman, Patterson: Cache-aware Roofline model: Upgrading the loft (Ilic, Pratas, Sousa, INESC- ID/IST, Thec Uni of Lisbon) Intel Corporation. All rights reserved. Intel and the Intel logo are trademarks of Intel Corporation or its subsidiaries in the U.S. and/or other countries. *Other names and

43 Resources Intel Advisor Threading Design & Prototyping: Product page overview, features, FAQs, support Training materials movies, tech briefs, documentation Evaluation guides step by step walk through Reviews Additional Analysis Tools: Intel VTune Amplifier performance profiler Intel Inspector - memory and thread checker / debugger Additional Development Products: Intel Software Development Products Intel Distribution for Python* accelerated Python distribution Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 43

44 Code that performs and outperforms Download a free, 30-day trial of Intel Parallel Studio XE 2018 today software.intel.com/en-us/intel-parallel-studio-xe And Don t Forget To fill out the evaluation survey via a URL that will be provided at the end of the day OR Watch your for a link to the survey P.S. Everyone who fills out the survey will receive a personalized certificate indicating completion of the training!

45 Legal Disclaimer & Optimization Notice INFORMATION IN THIS DOCUMENT IS PROVIDED AS IS. NO LICENSE, EXPRESS OR IMPLIED, BY ESTOPPEL OR OTHERWISE, TO ANY INTELLECTUAL PROPERTY RIGHTS IS GRANTED BY THIS DOCUMENT. INTEL ASSUMES NO LIABILITY WHATSOEVER AND INTEL DISCLAIMS ANY EXPRESS OR IMPLIED WARRANTY, RELATING TO THIS INFORMATION INCLUDING LIABILITY OR WARRANTIES RELATING TO FITNESS FOR A PARTICULAR PURPOSE, MERCHANTABILITY, OR INFRINGEMENT OF ANY PATENT, COPYRIGHT OR OTHER INTELLECTUAL PROPERTY RIGHT. Software and workloads used in performance tests may have been optimized for performance only on Intel microprocessors. Performance tests, such as SYSmark and MobileMark, are measured using specific computer systems, components, software, operations and functions. Any change to any of those factors may cause the results to vary. You should consult other information and performance tests to assist you in fully evaluating your contemplated purchases, including the performance of that product when combined with other products. Copyright 2016, Intel Corporation. All rights reserved. Intel, Pentium, Xeon, Xeon Phi, Core, VTune, Cilk, and the Intel logo are trademarks of Intel Corporation in the U.S. and other countries. Optimization Notice Intel s compilers may or may not optimize to the same degree for non-intel microprocessors for optimizations that are not unique to Intel microprocessors. These optimizations include SSE2, SSE3, and SSSE3 instruction sets and other optimizations. Intel does not guarantee the availability, functionality, or effectiveness of any optimization on microprocessors not manufactured by Intel. Microprocessor-dependent optimizations in this product are intended for use with Intel microprocessors. Certain optimizations not specific to Intel microarchitecture are reserved for Intel microprocessors. Please refer to the applicable product User and Reference Guides for more information regarding the specific instruction sets covered by this notice. Notice revision # Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 45

46

47 Advisor works with GCC and Microsoft Compilers Adds bonus capabilities with the Intel Compiler Advisor using GCC, Microsoft or Intel Compiler: Finds un-vectorized loops Analyze SIMD, AVX, AVX2, AVX-512 Dependency Analysis safely force vectorization with a pragma Memory Access Pattern Analysis - optimize stride and caching Trip Counts FLOPS metrics with masking Roofline Analysis balance memory vs. compute optimization Intel Compiler Adds: Usually better optimized vectorization Better compiler optimization messages Intel Advisor with Intel Compiler Adds: Finds inefficiently vectorized loops and estimates performance gain Compiler optimization report messages displayed on the source More tips for improving vectorization Optimize for AVX-512 even without AVX-512 hardware Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 47

48 Configurations for Benchmarks Platform Hardware and Software Configuration Platform Intel Xeon 5472 Processor Intel Xeon X5570 Processor Intel Xeon X5680 Processor Intel Xeon E Processor Intel Xeon E5 2697v2 Processor Intel Xeon E5 2600v3 Processor Intel Xeon E5 2600v4 Processor Intel Xeon E5 2600v4 Processor Unscaled Core Cores/S Frequency ocket Num L1 Data Sockets Cache L2 Cache L3 Cache Memory Memory Memory Frequency Access H/W Prefetchers Enabled HT Enabled Turbo Enabled C States O/S Name 3.0 GHZ K 6 MB None 32 GB 800 MHz UMA Y N N Disabled Fedora GHZ K 256K 8 MB 48 GB 1333 MHz NUMA Y Y Y Disabled Fedora GHZ K 256K 12 MB 48 MB 1333 MHz NUMA Y Y Y Disabled Fedora GHZ K 256K 20 MB 64 GB 1600 MHz NUMA Y Y Y Disabled Fedora GHZ K 256K 30 MB 64 GB 1867 MHz NUMA Y Y Y Disabled RHEL GHz K 256K 46 MB 128 GB 2133 MHz NUMA Y Y Y Disabled Fedora GHz K 256K 46 MB 256 GB 2400 MHz NUMA Y Y Y Disabled RHEL GHz K 256K 56 MB 128 GB 2133 MHz NUMA Y Y Y Disabled CentOS 7.2 Operating System fc fc fc fc el7.x86_ fc el7.x86_ el7.x86_64 Compiler Version icc version icc version icc version icc version icc version icc version icc version icc version Optimization Notice Copyright 2017, Intel Corporation. All rights reserved. *Other names and 48