Parallel Gaussian Elimination

Outline • Review Gaussian Elimination (GE) for solving Ax=b • Optimizing GE for caches on sequential machines - using matrix-matrix multiplication (BLAS and LAPACK) CS 267 • Minimizing communication for sequential GE Dense Linear Algebra: - Not LAPACK, but Recursive LU minimizes bandwidth (latency possible) Parallel Gaussian Elimination • Data layouts on parallel machines • Parallel Gaussian Elimination (ScaLAPACK) • Minimizing communication for parallel GE - Not ScaLAPACK (yet), but “Comm-Avoiding LU” (CALU) - Same idea for minimizing bandwidth and latency in sequential case James Demmel • Summarize rest of dense linear algebra

• Dynamically scheduled LU for Multicore www.cs.berkeley.edu/~demmel/cs267_Spr14 • LU for Heterogeneous computers (CPU + GPU)

03/04/2014 CS267 Lecture 13 1 03/04/2014 CS267 Lecture 13 2

Summary of Matrix Multiplication Sca/LAPACK Overview • Goal: Multiply n x n matrices C = A·B using O(n3) arithmetic operations, minimizing data movement • Sequential - Assume fast memory of size M < 3n2, count slow mem. refs. - Thm: need Ω(n3/M1/2) slow mem. refs. and Ω(n3/M3/2) messages - Attainable using “blocked” or “recursive” matrix multiply • Parallel - Assume P processors, O(n2/P) data per processor - Thm: need Ω(n2/P1/2) words sent and Ω(P1/2) messages - Attainable by Cannon, nearly by SUMMA • SUMMA used in practice (PBLAS) - c copies of data ⇒ c1/2 times fewer words, c3/2 fewer messages • Which other linear algebra problems can we do with as little data movement?

- Today: Solve Ax=b in detail, summarize what’s known, open3 03/04/2014 CS267 Lecture 13 4

03/04/2014 CS267 Lecture 13

1 Gaussian Elimination (GE) for solving Ax=b Refine GE Algorithm (1) • Add multiples of each row to later rows to make A upper • Initial Version triangular … for each column i • Solve resulting triangular system Ux = c by substitution … zero it out below the diagonal by adding multiples of row i to later rows for i = 1 to n-1 … for each column i … for each row j below row i … zero it out below the diagonal by adding multiples of row i to later rows for j = i+1 to n for i = 1 to n-1 … add a multiple of row i to row j … for each row j below row i tmp = A(j,i); for j = i+1 to n for k = i to n … add a multiple of row i to row j A(j,k) = A(j,k) - (tmp/A(i,i)) * A(i,k) tmp = A(j,i); for k = i to n A(j,k) = A(j,k) - (tmp/A(i,i)) * A(i,k) • Remove computation of constant tmp/A(i,i) from inner loop.

for i = 1 to n-1 0 0 0 … 0 . . 0 . 0 . 0 for j = i+1 to n ...... i . . . . . 0 . . 0 m = A(j,i)/A(i,i) . . . . . 0 0 0 0 0 0 0 0 0 0 for k = i to n m 0 0 A(j,k) = A(j,k) - m * A(i,k) After i=1 After i=2 After i=3 After i=n-1 j

03/04/2014 CS267 Lecture 13 5 03/04/2014 CS267 Lecture 13 6

Refine GE Algorithm (2) Refine GE Algorithm (3) • Last version • Last version

for i = 1 to n-1 for i = 1 to n-1 for j = i+1 to n for j = i+1 to n m = A(j,i)/A(i,i) m = A(j,i)/A(i,i) for k = i to n for k = i+1 to n A(j,k) = A(j,k) - m * A(i,k) A(j,k) = A(j,k) - m * A(i,k)

• Don’t compute what we already know: • Store multipliers m below diagonal in zeroed entries zeros below diagonal in column i for later use

for i = 1 to n-1 for i = 1 to n-1 for j = i+1 to n i for j = i+1 to n i m = A(j,i)/A(i,i) A(j,i) = A(j,i)/A(i,i) for k = i+1 to n m for k = i+1 to n m A(j,k) = A(j,k) - m * A(i,k) j A(j,k) = A(j,k) - A(j,i) * A(i,k) j

Do not compute zeros Store m here 03/04/2014 CS267 Lecture 13 7 03/04/2014 CS267 Lecture 13 8

2 Refine GE Algorithm (4) Refine GE Algorithm (5) for i = 1 to n-1 • Last version • Last version for j = i+1 to n A(j,i) = A(j,i)/A(i,i) for i = 1 to n-1 for j = i+1 to n for j = i+1 to n for k = i+1 to n A(j,i) = A(j,i)/A(i,i) A(j,k) = A(j,k) - A(j,i) * A(i,k) for k = i+1 to n A(j,k) = A(j,k) - A(j,i) * A(i,k) • Express using matrix operations (BLAS)

• Split Loop for i = 1 to n-1 A(i+1:n,i) = A(i+1:n,i) * ( 1 / A(i,i) ) for i = 1 to n-1 … BLAS 1 (scale a vector) A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) for j = i+1 to n i A(j,i) = A(j,i)/A(i,i) - A(i+1:n , i) * A(i , i+1:n) for j = i+1 to n … BLAS 2 (rank-1 update) for k = i+1 to n j A(j,k) = A(j,k) - A(j,i) * A(i,k)

Store all m’s here before updating 03/04/2014 CS267 Lecture 13 rest of matrix 9 03/04/2014 CS267 Lecture 13 10

What GE really computes Problems with basic GE algorithm for i = 1 to n-1 for i = 1 to n-1 A(i+1:n,i) = A(i+1:n,i) / A(i,i) … BLAS 1 (scale a vector) A(i+1:n,i) = A(i+1:n,i) / A(i,i) … BLAS 1 (scale a vector) A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) … BLAS 2 (rank-1 update) A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) - A(i+1:n , i) * A(i , i+1:n) … BLAS 2 (rank-1 update) - A(i+1:n , i) * A(i , i+1:n)

• Call the strictly lower triangular matrix of multipliers • What if some A(i,i) is zero? Or very small? M, and let L = I+M - Result may not exist, or be “unstable”, so need to pivot • Call the upper triangle of the final matrix U • Current computation all BLAS 1 or BLAS 2, but we know that BLAS 3 (matrix multiply) is fastest (earlier lectures…) • Lemma (LU Factorization): If the above algorithm terminates (does not divide by zero) then A = L*U Peak = * • Solving A*x=b using GE BLAS 3 - Factorize A = L*U using GE (cost = 2/3 n3 flops) - Solve L*y = b for y, using substitution (cost = n2 flops) - Solve U*x = y for x, using substitution (cost = n2 flops) BLAS 2 BLAS 1 • Thus A*x = (L*U)*x = L*(U*x) = L*y = b as desired

03/04/2014 CS267 Lecture 13 11 03/04/2014 CS267 Lecture 13 12

3 Pivoting in Gaussian Elimination Gaussian Elimination with Partial Pivoting (GEPP) • A = [ 0 1 ] fails completely because can’t divide by A(1,1)=0 • Partial Pivoting: swap rows so that A(i,i) is largest in column [ 1 0 ] for i = 1 to n-1 find and record k where |A(k,i)| = max{i ≤ j ≤ n} |A(j,i)| • But solving Ax=b should be easy! … i.e. largest entry in rest of column i if |A(k,i)| = 0 exit with a warning that A is singular, or nearly so • When diagonal A(i,i) is tiny (not just zero), algorithm may elseif k ≠ i terminate but get completely wrong answer swap rows i and k of A • Numerical instability end if • Roundoff error is cause A(i+1:n,i) = A(i+1:n,i) / A(i,i) … each |quotient| ≤ 1 A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) - A(i+1:n , i) * A(i , i+1:n) • Cure: Pivot (swap rows of A) so A(i,i) large • Lemma: This algorithm computes A = P*L*U, where P is a permutation matrix. • This algorithm is numerically stable in practice • For details see LAPACK code at http://www.netlib.org/lapack/single/sgetf2.f • Standard approach – but communication costs?

03/04/2014 CS267 Lecture 13 13 03/04/2014 CS267 Lecture 13 14

Problems with basic GE algorithm Converting BLAS2 to BLAS3 in GEPP • Blocking • What if some A(i,i) is zero? Or very small? - Used to optimize matrix-multiplication - Result may not exist, or be “unstable”, so need to pivot - Harder here because of data dependencies in GEPP • Current computation all BLAS 1 or BLAS 2, but we know that BLAS 3 (matrix multiply) is fastest (earlier lectures…) • BIG IDEA: Delayed Updates for i = 1 to n-1 A(i+1:n,i) = A(i+1:n,i) / A(i,i) … BLAS 1 (scale a vector) - Save updates to “trailing matrix” from several consecutive A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) … BLAS 2 (rank-1 update) BLAS2 (rank-1) updates - A(i+1:n , i) * A(i , i+1:n) - Apply many updates simultaneously in one BLAS3 (matmul) operation Peak • Same idea works for much of dense linear algebra BLAS 3 - Not eigenvalue problems or SVD – need more ideas • First Approach: Need to choose a block size b BLAS 2 - Algorithm will save and apply b updates BLAS 1 - b should be small enough so that active submatrix consisting of b columns of A fits in cache - b should be large enough to make BLAS3 (matmul) fast 03/04/2014 CS267 Lecture 13 15 03/04/2014 CS267 Lecture 13 16

4 Blocked GEPP (www.netlib.org/lapack/single/sgetrf.f) Efficiency of Blocked GEPP (all parallelism “hidden” inside the BLAS) for ib = 1 to n-1 step b … Process matrix b columns at a time end = ib + b-1 … Point to end of block of b columns * = Speed (LAPACK/LU) / Speed(best effort) apply BLAS2 version of GEPP to get A(ib:n , ib:end) = P’ * L’ * U’ 1.2 Speed(Matmul) / HW Peak … let LL denote the strict lower triangular part of A(ib:end , ib:end) + I Speed(LAPACK LU) / Speed(MatMul) A(ib:end , end+1:n) = LL-1 * A(ib:end , end+1:n) … update next b rows of U A(end+1:n , end+1:n ) = A(end+1:n , end+1:n ) 1 - A(end+1:n , ib:end) * A(ib:end , end+1:n) … apply delayed updates with single matrix-multiply 0.8 … with inner dimension b 0.6

Efficiency 0.4 (For a correctness proof, see on-line notes from CS267 / 1996.) 0.2

0 Cnvx C4 Cnvx C4 Cray C90 Cray C90 Alpha RS6000 SGI PC (1 p) (4 p) (1 p) (16 p)

03/04/2014 17 03/04/2014 CS267 Lecture 13 18

CS267 Lecture 13

Communication Lower Bound for GE Does LAPACK’s GEPP Minimize Communication?

• Matrix Multiplication can be “reduced to” GE for ib = 1 to n-1 step b … Process matrix b columns at a time end = ib + b-1 … Point to end of block of b columns • Not a good way to do matmul but it shows that GE apply BLAS2 version of GEPP to get A(ib:n , ib:end) = P’ * L’ * U’ needs at least as much communication as matmul … let LL denote the strict lower triangular part of A(ib:end , ib:end) + I A(ib:end , end+1:n) = LL-1 * A(ib:end , end+1:n) … update next b rows of U • Does blocked GEPP minimize communication? A(end+1:n , end+1:n ) = A(end+1:n , end+1:n ) - A(end+1:n , ib:end) * A(ib:end , end+1:n) … apply delayed updates with single matrix-multiply … with inner dimension b

• Case 1: n ≥ M - huge matrix – attains lower bound I 0 -B I I 0 -B - b = M1/2 optimal, dominated by matmul A I 0 = A I · I A·B • Case 2: n ≤ M1/2 - small matrix – attains lower bound 0 0 I 0 0 I I - Whole matrix fits in fast memory, any algorithm attains lower bound • Case 3: M1/2 < n < M - medium size matrix – not optimal - Can’t choose b to simultaneously optimize matmul and BLAS2 GEPP of n x b submatrix - Worst case: Exceed lower bound by factor M1/6 when n = M2/3

03/04/2014 CS267 Lecture 13 19 • Detailed counting on backup slides 20

02/23/2012 CS267 Lecture 12

5 Alternative cache-oblivious GE formulation (1/2) Alternative cache-oblivious GE formulation (2/2) • Toledo (1997) A = L * U function [L,U] = RLU (A) … assume A is m by n if (n=1) L = A/A(1,1), U = A(1,1) - Describe without pivoting for simplicity else - “Do left half of matrix, then right half” [L1,U1] = RLU( A(1:m , 1:n/2)) … do left half of A … let L11 denote top n/2 rows of L1 A( 1:n/2 , n/2+1 : n ) = L11-1 * A( 1:n/2 , n/2+1 : n ) function [L,U] = RLU (A) … assume A is m by n … update top n/2 rows of right half of A if (n=1) L = A/A(1,1), U = A(1,1) A( n/2+1: m, n/2+1:n ) = A( n/2+1: m, n/2+1:n ) else - A( n/2+1: m, 1:n/2 ) * A( 1:n/2 , n/2+1 : n ) U1 [L1,U1] = RLU( A(1:m , 1:n/2)) … do left half of A L11-1* … update rest of right half of A L11 A( ··, ,·· )) … let L11 denote top n/2 rows of L1 L11 [L2,U2] = RLU( A(n/2+1:m , n/2+1:n) ) … do right half of A A( 1:n/2 , n/2+1 : n ) = L11-1 * A( 1:n/2 , n/2+1 : n ) A(·,·U2) - = return [ L1,[0;L2] ] and [U1, [ A(.,.) ; U2 ] ] A(·,·) A(·,·) * L1 … update top n/2 rows of right half of A L2A(· , ·) 2 1/2 A( n/2+1: m, n/2+1:n ) = A( n/2+1: m, n/2+1:n ) • W(m,n) = W(m,n/2) + O(max(m·n,m·n /M )) + W(m-n/2,n/2) - A( n/2+1: m, 1:n/2 ) * A( 1:n/2 , n/2+1 : n ) 2 1/2 Still doesn• ’t ≤ 2 · W(m,n/2) + O(max(m·n,m·n /M )) … update rest of right half of A minimize 2 1/2 [L2,U2] = RLU( A(n/2+1:m , n/2+1:n) ) … do right half of A = O(m·n /M + m·n·log M) latency, return [ L1,[0;L2] ] and [U1, [ A(.,.) ; U2 ] ] but fixable = O(m·n2/M1/2 ) if M1/2·log M = O(n) 03/04/2014 CS267 Lecture 13 21 CLASS PROJECT 22

Explicitly Parallelizing Gaussian Elimination Different Data Layouts for Parallel GE • Parallelization steps Bad load balance: Load balanced, but - Decomposition: identify enough parallel work, but not too much 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 P0 idle after first 0 1 2 3 can’t easily use BLAS3 - Assignment: load balance work among threads n/4 steps - Orchestrate: communication and synchronization - Mapping: which processors execute which threads (locality) 1) 1D Column Blocked Layout 2) 1D Column Cyclic Layout • Decomposition Can trade load balance and BLAS3 0 1 2 3 Complicated addressing, - In BLAS 2 algorithm nearly each flop in inner loop can be done in performance by 3 0 1 2 parallel, so with n2 processors, need 3n parallel steps, 0 1 2 3 0 1 2 3 May not want full parallelism choosing b, but 2 3 0 1 O(n log n) with pivoting factorization of block In each column, row 1 2 3 0 for i = 1 to n-1 column is a bottleneck A(i+1:n,i) = A(i+1:n,i) / A(i,i) … BLAS 1 (scale a vector) b A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) … BLAS 2 (rank-1 update) 3) 1D Column Block Cyclic Layout 4) Block Skewed Layout - A(i+1:n , i) * A(i , i+1:n) 0 1 0 1 0 1 0 1 - This is too fine-grained, prefer calls to local matmuls instead 0 1 2 3 2 3 2 3 2 3 Bad load balance: 0 1 0 1 0 1 0 1 - Need to use parallel matrix multiplication P0 idle after first 2 3 2 3 2 3 2 3 The winner! 0 1 0 1 0 1 0 1 n/2 steps 2 3 2 3 2 3 2 3 2 3 • Assignment and Mapping 0 1 0 1 0 1 0 1 2 3 2 3 2 3 2 3 6) 2D Row and Column - Which processors are responsible for which submatrices? 5) 2D Row and Column Blocked Layout Block Cyclic Layout 03/04/2014 CS267 Lecture 13 23 03/04/2014 CS267 Lecture 13 24

6 Distributed GE with a 2D Block Cyclic Layout pink * blue - green = green Matrix multiply of of Matrixmultiply

02/14/2006 CS267 Lecture 9 25 02/14/2006 CS267 Lecture 9 26

Review of Parallel MatMul PDGESV = ScaLAPACK Parallel LU

• Want Large Problem Size Per Since it can run no faster than its Processor inner loop (PDGEMM), we measure: Efficiency = PDGEMM = PBLAS matrix multiply Speed(PDGESV)/Speed(PDGEMM)

Observations: Observations: • For fixed N, as P increasesn • Efficiency well above 50% for large Mflops increases, but less than enough problems 100% efficiency • For fixed N, as P increases, efficiency • For fixed P, as N increases, decreases (just as for PDGEMM) Mflops (efficiency) rises • For fixed P, as N increases efficiency increases (just as for PDGEMM) DGEMM = BLAS routine for matrix multiply • From bottom table, cost of solving Maximum speed for PDGEMM • Ax=b about half of matrix multiply = # Procs * speed of DGEMM for large enough matrices. • From the flop counts we would 3 3 Observations: expect it to be (2*n )/(2/3*n ) = 3 • Efficiency always at least 48% times faster, but communication • For fixed N, as P increases, makes it a little slower. efficiency drops • For fixed P, as N increases, efficiency increases 27 03/04/2014 28

03/04/2010 CS267 Lecture 14 CS267 Lecture 14

7 Does ScaLAPACK Minimize Communication? Choosing Rows by “Tournament Pivoting” • Lower Bound: O(n2 / P1/2 ) words sent in O(P1/2 ) mess. - Attained by Cannon and SUMMA (nearly) for matmul W P ·L ·U 1 1 1 1 Choose b pivot rows of W1, call them W1’ W P ·L ·U Choose b pivot rows of W , call them W ’ Wnxb = 2 = 2 2 2 2 2 • ScaLAPACK: W3 P3·L3·U3 Choose b pivot rows of W3, call them W3’ Choose b pivot rows of W , call them W ’ - O(n2 log P / P1/2 ) words sent – close enough W4 P4·L4·U4 4 4 - O(n log P ) messages – too large ’ - Why so many? One reduction costs O(log P) per column to W1 P12·L12·U12 Choose b pivot rows, call them W ’ find maximum pivot, times n = #columns W2’ 12 = W3’ P34·L34·U34 Choose b pivot rows, call them W34’ • Need to abandon partial pivoting to reduce #messages W4’ - Suppose we have n x n matrix on P1/2 x P1/2 processor grid W ’ - Goal: For each panel of b columns spread over P1/2 procs, 12 = P ·L ·U W ’ 1234 1234 1234 Choose b pivot rows identify b “good” pivot rows in one reduction 34 “ ” • Call this factorization TSLU = Tall Skinny LU Go back to W and use these b pivot rows - Several natural bad (numerically unstable) ways explored, (move them to top, do LU without pivoting) but good way exists Not the same pivots rows chosen as for GEPP • SC08, “Communication Avoiding GE”, D., Grigori, Xiang Need to show numerically stable (D., Grigori, Xiang, ‘11) 03/04/2014 CS267 Lecture 13 29 03/04/2014 CS267 Lecture 13 30

Minimizing Communication in TSLU Same idea for QR of Tall-skinny matrix (TSQR)

W1 LU LU W1 QR QR Parallel: W = W2 LU Parallel: W = W2 QR LU QR W3 LU W3 QR LU QR W4 LU W4 QR

W LU W QR 1 LU 1 QR W W Sequenal: W = 2 LU Sequenal: W = 2 QR W W 3 LU 3 QR W4 W4

W1 LU W1 QR LU QR Dual Core: W = W2 LU Dual Core: W = W2 QR LU QR W3 LU W3 QR LU QR W4 LU W4 QR

Mulcore / Mulsocket / Mulrack / Mulsite / Out-of-core: ? First step of SVD of Tall-Skinny matrix Can Choose reducon tree dynamically 03/04/2014 31 03/04/2014 32 CS267 Lecture 13 CS267 Lecture 13

8 CALU – Communication-Avoiding LU Performance vs ScaLAPACK LU • Substitute TSLU for panel factorization in usual LU • TSLU • Thm: Tournament Pivoting (TP) as stable as Partial Pivoting (PP) in following sense: TP gets same results as – IBM Power 5 PP applied to different input matrix whose entries are • Up to 4.37x faster (16 procs, 1M x 150) blocks taken from input A – Cray XT4 - So if you trusted PP before, you should trust TP now… • Up to 5.52x faster (8 procs, 1M x 150) • Worst case pivot growth factor on n x n matrix • CALU nH-1 - Proven: 2 where H = 1 + height of reduction tree – IBM Power 5 n-1 - Attained: 2 , same as PP • Up to 2.29x faster (64 procs, 1000 x 1000) • There are examples where PP is exponentially less stable – Cray XT4 than TP, and vice-versa, so neither is always better than the other • Up to 1.81x faster (64 procs, 1000 x 1000) • Extensive numerical testing confirms stability • See INRIA Tech Report 6523 (2008), paper at SC08

03/04/2014 CS267 Lecture 13 33 03/04/2014 CS267 Lecture 13 34

TSQR Performance Results CALU speedup prediction for a Petascale machine - up to 81x faster P = 8192 • Parallel – Intel Clovertown – Up to 8x speedup (8 core, dual socket, 10M x 10) – Pentium III cluster, Dolphin Interconnect, MPICH • Up to 6.7x speedup (16 procs, 100K x 200) – BlueGene/L • Up to 4x speedup (32 procs, 1M x 50) - Tesla C 2050 / Fermi • Up to 13x (110,592 x 100) - Grid – 4x on 4 cities vs 1 city (Dongarra, Langou et al) - Cloud – (Gleich and Benson) ~2 map-reduces

• Sequential – “Infinite speedup” for out-of-core on PowerPC laptop • As little as 2x slowdown vs (predicted) infinite DRAM • LAPACK with virtual memory never finished

• SVD costs about the same • Joint work with Grigori, Hoemmen, Langou, Anderson, Ballard, Keutzer, Petascale machine with 8192 procs, each at 500 GFlops/s, a bandwidth of 4 GB/s. others γ = 2⋅10 −12 s,α =10 −5 s,β = 2⋅10 −9 s / word. 36 35

Data from Grey Ballard, Mark Hoemmen, Laura Grigori, Julien Langou, Jack Dongarra, Michael Anderson

9 Summary of dense sequential algorithms Summary of dense parallel algorithms attaining communication lower bounds attaining communication lower bounds

• Algorithms shown minimizing # Messages use (recursive) block layout • Assume nxn matrices on P processors • Not possible with columnwise or rowwise layouts 2 • Many references (see reports), only some shown, plus ours • Minimum Memory per processor = M = O(n / P) • Cache-oblivious are underlined, Green are ours, ? is unknown/future work • Recall lower bounds: CLASS PROJECTS 3 1/2 2 1/2 Algorithm 2 Levels of Memory Multiple Levels of Memory #words_moved = Ω( (n / P) / M ) = Ω( n / P ) #messages = Ω( (n3/ P) / M3/2 ) = Ω( P1/2 ) #Words Moved and # Messages #Words Moved and #Messages BLAS-3 Usual blocked or recursive algorithms Usual blocked algorithms (nested), Algorithm Reference Factor exceeding Factor exceeding or recursive [Gustavson,97] lower bound for lower bound for Cholesky LAPACK (with b = M1/2) [Gustavson,97] (←same) (←same) [Gustavson 97] [Ahmed,Pingali,00] #words_moved #messages [BDHS09] [BDHS09] Matrix Mulply LU with LAPACK (sometimes) [GDX 08] [Toledo, 97] [BDLST13] Cholesky pivoting [Toledo,97] , [GDX 08] [BDLST13] [BDLST13] LU QR LAPACK (sometimes) [Frens,Wise,03] [Elmroth, [Frens,Wise,03] Rank- [Elmroth,Gustavson,98] but 3x flops? Gustavson,98] [BDLST13] QR [DGHL08] [DGHL08] [BDLST13] revealing Sym Eig, SVD Eig, SVD Not LAPACK [BDD11, [BDD11, [BDD11] randomized, but more flops; [BDK11] BDK11?] BDK11?] Nonsym Eig 37 38

Summary of dense parallel algorithms Summary of dense parallel algorithms attaining communication lower bounds attaining communication lower bounds

• Assume nxn matrices on P processors (conventional approach) • Assume nxn matrices on P processors (conventional approach) • Minimum Memory per processor = M = O(n2 / P) • Minimum Memory per processor = M = O(n2 / P) • Recall lower bounds: • Recall lower bounds: #words_moved = Ω( (n3/ P) / M1/2 ) = Ω( n2 / P1/2 ) #words_moved = Ω( (n3/ P) / M1/2 ) = Ω( n2 / P1/2 ) #messages = Ω( (n3/ P) / M3/2 ) = Ω( P1/2 ) #messages = Ω( (n3/ P) / M3/2 ) = Ω( P1/2 )

10 Summary of dense parallel algorithms Can we do even better? attaining communication lower bounds • Assume nxn matrices on P processors • Assume nxn matrices on P processors (better) • Use c copies of data: M = O(cn2 / P) per processor 2 • Minimum Memory per processor = M = O(n / P) • Increasing M reduces lower bounds: • Recall lower bounds: #words_moved = Ω( (n3/ P) / M1/2 ) = Ω( n2 / (c1/2 P1/2 ) ) #words_moved = ( (n3/ P) / M1/2 ) = ( n2 / P1/2 ) Ω Ω #messages = Ω( (n3/ P) / M3/2 ) = Ω( P1/2 / c3/2 ) #messages = ( (n3/ P) / M3/2 ) = ( P1/2 ) Ω Ω #messages = Ω( P1/2 c1/2 ) … tighter

Algorithm Reference Factor exceeding Factor exceeding Algorithm Reference Factor exceeding Factor exceeding lower lower bound for lower bound for lower bound for bound for #messages #words_moved #messages #words_moved Matrix Mulply [Cannon, 69] 1 1 Matrix Mulply [DS11,SBD11] polylog P polylog P Cholesky CLASSScaLAPACK PROJECTSlog P log P Cholesky [SD11, in CLASSprog.] PROJECTSpolylog P c2 polylog P – optimal!

LU [GDX10] log P log P LU [DS11,SBD11] polylog P c2 polylog P – opmal! 3 QR [DGHL08] log P log P QR Via Cholesky QR polylog P c2 polylog P – optimal! 3 Sym Eig, SVD [BDD11] log P log P Sym Eig, SVD ? 3 Nonsym Eig [BDD11] log P log P Nonsym Eig ? 41 42

Dense Linear Algebra on Recent Architectures Multicore: Expressing Parallelism with a DAG • Multicore • DAG = Directed Acyclic Graph - How do we schedule all parallel tasks to minimize idle time? - S1 → S2 means statement S2 “depends on” statement S1 • GPUs - Can execute in parallel any Si without input dependencies - Heterogeneous computer: consists of functional units • For simplicity, consider Cholesky A = LLT, not LU (CPU and GPU) that are good at different tasks - N by N matrix, numbered from A(0,0) to A(N-1,N-1) - How do we divide the work between the GPU and CPU to - “Left looking” code: at step k, completely compute column k of L take maximal advantage of both? - Challenging now, will get more so as platforms become for k = 0 to N-1 more heterogeneous for n = 0 to k-1 A(k,k) = A(k,k) – A(k,n)*A(k,n) A(k,k) = sqrt(A(k,k)) for m = k+1 to N-1 for n = 0 to k-1 A(m,k) = A(m,k) – A(m,n)*A(k,n) A(m,k) = A(m,k) / A(k,k) 03/04/2014 CS267 Lecture 13 43

03/02/2009 CS267 Lecture 1144

11 Expressing Parallelism with a DAG - Cholesky Expressing Parallelism with a DAG – Block Cholesky • Each A[i,j] is a b-by-b block for k = 0 to N-1 for n = 0 to k-1 for k = 0 to N/b-1 for n = 0 to k-1 S1(k,n) A(k,k) = A(k,k) – A(k,n)*A(k,n) SYRK: S (k,n) T S (k) A(k,k) = sqrt(A(k,k)) 1 A[k,k] = A[k,k] – A[k,n]*A[k,n] 2 POTRF: S (k) for m = k+1 to N-1 2 A[k,k] = unblocked_Cholesky(A[k,k])

for n = 0 to k-1 for m = k+1 to N/b-1 for n = 0 to k-1 S3(k,m,n) A(m,k) = A(m,k) – A(m,n)*A(k,n) GEMM: S (k,m,n) T S (k,m) A(m,k) = A(m,k) · A(k,k)-1 3 A[m,k] = A[m,k] – A[m,n]*A[k,n] 4 -1 TRSM: S4(k,m) A[m,k] = A[m,k] · A[k,k] n S (k,n) 3 1 DAG has ≈N /6 vertices: n S1(k,n) S (k,n) S (k) for n=0:k-1 k S2(k) 1 → 2 Same DAG, but only k S (k) 3 S3(k,m,n) → S4(k,m) for n=0:k-1 2 ≈(N/b) /6 vertices S3(k,m,n) S4(k,m) S (k) S (k,m) for m=k+1:N 2 → 4 S3(k,m,n) S4(k,m) m S4(k,m) → S3 (k’,m,k) for k’>k m S4(k,m) → S3(k,m’,k) for m’>m

CS267 Lecture 11 45 CS267 Lecture 11 46 03/02/2009 03/02/2009

Sample Cholesky DAG with Scheduling options #blocks in any row or column = N/b = 5 • Static (pre-assign tasks to processors) vs Dynamic (idle processors grab ready jobs from work-queue) • Note implied order of - If dynamic, does scheduler take user hints/priorities? summation from left to right • Respect locality (eg processor must have some task data in its cache) vs not • Not necessary for correctness, but it • Build and store entire DAG to schedule it (which may be does reflect what the very large, (N/b)3 ), vs sequential code does Build just the next few “levels” at a time (smaller, but less information for scheduler) • Can process DAG in any order respecting • Programmer builds DAG & schedule vs dependences Depend on compiler or run-time system - Ease of programming, vs not exploiting user knowledge - If compiler, how conservative is detection of parallelism? - Generally useful, not just linear algebra Slide courtesy of Jakub Kurzak, UTK

03/02/2009 47 03/04/2014 CS267 Lecture 13 48

CS267 Lecture 11

12 Schedulers tested Measured Results for Tiled Cholesky • Cilk • programmer-defined parallelism • spawn – creates independent tasks • sync – synchronizes a sub-branch of the tree • SMPSs • dependency-defined parallelism • pragma-based annotation of tasks (directionality of PLASMA: the parameters) • PLASMA (Static Pipeline) • programmer-defined (hard-coded) • Measured on Intel Tigerton 2.4 GHz “ ” • apriori processing order • Cilk 1D: one task is whole panel, but with look ahead • Cilk 2D: tasks are blocks, scheduler steals work, little locality • stalling on dependencies Slide courtesy of Jakub Kurzak, UTK • PLASMA works best

Slide courtesy of Jakub Kurzak, UTK

More Measured Results for Tiled Cholesky Still More Measured Results for Tiled Cholesky • Measured on Intel Tigerton 2.4 GHz • PLASMA (static pipeline) – Cilk best • SMPSs – somewhat worse • Cilk 2D – inferior • Cilk 1D – still worse

SMPSs

PLASMA (Static Pipeline)

quad-socket, quad-core (16 cores total) Intel Tigerton 2.4 GHz

Slide courtesy of Jakub Kurzak, UTK Slide courtesy of Jakub Kurzak, UTK

13 Intel’s Clovertown Quad Core Scheduling on Multicore – Next Steps • PLASMA 2.6.0 released 12/2013 3 Implementations of LU factorization Quad core w/2 sockets per board, w/ 8 Threads - Includes BLAS, Cholesky, QR, LU, LDLT, eig, svd - icl.cs.utk.edu/plasma/ 45000 3. DAG Based (Dynamic Scheduling) 40000 • Future of PLASMA - Continue adding functions 35000 - Add dynamic scheduling 30000 2. ScaLAPACK (Mess Pass using mem copy) • QUARK dynamic scheduler released 12/2011 25000 • DAGs for eigenproblems are too complicated to do by hand 1. LAPACK (BLAS Fork-Join Parallelism) 20000 Mflop/s - Still assume homogeneity of available cores

15000 • What about GPUs, or mixtures of CPUs and GPUs?

10000 8 Core Experiments - MAGMA CLASS PROJECTS • icl.cs.utk.edu/magma 5000

0 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000 Source: Jack Dongarra Problems53 Size 03/04/2014 CS267 Lecture 13 54

Motivation Dense Linear Algebra on GPUs

• Source: Vasily Volkov’s SC08 paper • NVIDIA released CUBLAS 1.0 in 2007, which is BLAS for GPUs - Best Student Paper Award • This enables a straighorward port of LAPACK to GPU • New challenges • Consider single precision only - More complicated memory hierarchy impressive sheer peak in compute power - Not like “L1 inside L2 inside …”, a*b+c

• Need to choose which memory to use carefully not so great in matrix- BLAS CUBLAS 1.1 matrix mulply • Need to move data manually SGEMM MKL 10.0 GeForce 8800 GTX - GPU does some operations much faster than CPU, but not all Core2 Quad 2.4GHz LAPACK naive disappoinng performance in - CPU and GPU fastest using different data layouts SGETRF MKL 10.0 (naive) LU factorizaon 2007 results

0 50 100 150 200 250 300 350 Gﬂop/s • Goal: understand bolenecks in the dense linear algebra kernels • Requires detailed understanding of the GPU architecture • Result 1: New coding recommendaons for high performance on GPUs • Result 2: New , fast variants of LU, QR, Cholesky, other rounes 03/04/2014 CS267 Lecture 13 55 03/04/2014 CS267 Lecture 13 56

14 GPU Memory Hierarchy Memory Latency on GeForce 8800 GTX 16 KB Repeat k = A[k] where A[k] = (k + stride) mod array_size store 64 KB vector register file

16 lanes 600 800 crossbar 64 lanes 8MB 550 16MB 700 500 450 non-cached, 128MB 32MB 600 • Register file is the fastest and the largest on-chip 400 500 memory 350 - Constrained to vector operations only 300 400

250 cycles 300 • Shared memory permits indexed and shared access ns latency, 200 - However, 2-4x smaller and 4x lower bandwidth than 768KB 150 192KB 224KB 200 registers 100 5KB 5.5KB 20KB 100 • Only 1 operand in shared memory is allowed versus 4 register 50 operands local memory, 8KB 0 0 - Some instructions run slower if using shared memory 4 16 64 256 1KB 4KB 16KB 64KB 256KB 1MB 4MB 16MB stride, bytes 03/04/2014 CS267 Lecture 13 57 03/04/2014 58 CS267 Lecture 13

__global__ void sgemmNN( const float *A, int lda, const float *B, int ldb, float* C, int ldc, int k, float alpha, float beta ) (Some new) NVIDIA coding recommendations { A += blockIdx.x * 64 + threadIdx.x + threadIdx.y*16; B += threadIdx.x + ( blockIdx.y * 16 + threadIdx.y ) * ldb; Compute pointers to the data C += blockIdx.x * 64 + threadIdx.x + (threadIdx.y + blockIdx.y * ldc ) * 16; __shared__ float bs[16][17]; Declare the on-chip storage • Minimize communication with CPU memory float c[16] = {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}; const float *Blast = B + k; • Keep as much data in registers as possible do { - Largest, fastest on-GPU memory #pragma unroll for( int i = 0; i < 16; i += 4 ) - Vector-only operations ’ bs[threadIdx.x][threadIdx.y+i] = B[i*ldb]; Read next B s block B += 16; • Use as little shared memory as possible __syncthreads(); - Smaller, slower than registers; use for communication, sharing only #pragma unroll for( int i = 0; i < 16; i++, A += lda ) - Speed limit: 66% of peak with one shared mem argument { The boleneck: c[0] += A[0]*bs[i][0]; c[1] += A[0]*bs[i][1]; c[2] += A[0]*bs[i][2]; c[3] += A[0]*bs[i][3]; Read A’s columns • Use vector length VL=64, not max VL = 512 c[4] += A[0]*bs[i][4]; c[5] += A[0]*bs[i][5]; c[6] += A[0]*bs[i][6]; c[7] += A[0]*bs[i][7]; Do Rank-1 updates - Strip mine longer vectors into shorter ones c[8] += A[0]*bs[i][8]; c[9] += A[0]*bs[i][9]; c[10] += A[0]*bs[i][10]; c[11] += A[0]*bs[i][11]; c[12] += A[0]*bs[i][12]; c[13] += A[0]*bs[i][13]; c[14] += A[0]*bs[i][14]; c[15] += A[0]*bs[i][15]; } __syncthreads(); • Final matmul code similar to Cray X1 or IBM 3090 vector codes } while( B < Blast ); for( int i = 0; i < 16; i++, C += ldc ) Store C’s block to memory C[0] = alpha*c[i] + beta*C[0]; 03/04/2014 CS267 Lecture 13 59 } CS267 Lecture 13 60 03/04/2014

15 New code vs. CUBLAS 1.1 The Progress So Far

Performance in mulplying two NxN matrices on GeForce 8800 GTX: in registers 70% mulply-and-add with an operand in shared memory (66%) peak in a*b+c using shared memory Arithmec runs slower if Core2 Quad using shared memory our implementaon (60%) 60% CUBLAS 1.1 Good compared to BLAS SGEMM our implementaon (now in CUBLAS 2.0) the new, smaller peak 50% Core2 Quad

40% CUBLAS 1.1 (37%) naive LAPACK SGETRF w/CUBLAS2.0 Where does the me go? GeForce 8800 GTX Core2 Quad 30% 0 50 100 150 200 250 300 350 Fracon of Peak 20% Gﬂop/s • Achieved predictable performance in SGEMM 10% - Which does O(N3) work in LU factorization

0% • But LU factorization (naïve SGETRF) still underperforms 64 128 256 512 1024 2048 4096 - Must be due to the rest O(N2) work done in BLAS1 and BLAS2 N - Why O(N2) work takes so much time?

03/04/2014 CS267 Lecture 13 61 03/04/2014 CS267 Lecture 13 62

Row-Pivoting in LU Factorization BLAS1 Performance

Exchange two rows of an NxN matrix (SSWAP in CUBLAS 2.0): Scale a column of an NxN matrix that ﬁts in the GPU memory 1024 (assumes aligned, unit-stride access)

512 matrix in column-major layout 8 (stride-N access) 7 256 6 128 5 64 4 40x 3 32 microseconds microseconds 2 GeForce 8600 GTS, peak = 32 GB/s 16 matrix in row-major layout 1 GeForce GTX 280, peak = 141 GB/s 8 (aligned unit-stride access) 0 0 2048 4096 6144 8192 10240 12288 14336 16384 4 N 0 2048 4096 6144 8192 10240 12288 14336 16384 N • Peak bandwidth of these GPUs diﬀers by a factor of 4.4 • Row pivong in column-major layout on GPU is very slow But runmes are similar This alone consumes half of the runme in naïve SGETRF • Small tasks on GPU are overhead bound 63 03/04/2014 CS267 Lecture 13 64 03/04/2014 CS267 Lecture 13

16 Panel Factorization Design of fast matrix factorizations on GPU ’ Factorizing Nx64 matrix in GPU memory using LAPACK s SGETF2: • Use GPU for matmul only, not BLAS2 or BLAS1 25 bound assumes 4 µs overhead per BLAS call • Factor panels on CPU 20 and 127 GB/s bandwidth in memory access (these are the best sustained numbers) bound • Use “look-ahead” to overlap CPU and GPU work - GPU updates matrix while CPU factoring next panel 15 • Use row-major layout on GPU, column-major on CPU GTX280

Gﬂop/s 10 GeForce - Convert on the fly -1 5 Core2 Quad • Substitute triangular solves LX= B with multiply by L -1 (including transfer to CPU and back) - For stability CPU needs to check || L || 0 64 128 256 512 1024 2048 4096 8192 16384 32768 • Use variable-sized panels for load balance N • Invoking small BLAS operaons on GPU from CPU is slow • For two GPUs with one CPU, use column-cyclic layout • Can we call a sequence of BLAS operaons from GPU? on GPUs • Requires barrier synchronizaon aer each parallel BLAS operaon • Barrier is possible but requires sequenal consistency for correctness 65 03/04/2014 CS267 Lecture 13 66 03/04/2014 CS267 Lecture 13

Raw Performance of Factorizations on GPU Speedup of Factorizations on GPU over CPU

GPU only useful on large enough matrices

350 QR 51% 4.5 300 Cholesky 4.0 QR LU 4.4x Cholesky GTX280 250 3.5 LU 3.0 200 49% 2.7x 2.5

Gflop/s 150 8800GTX 2.0

100 1.5 78% 1.0 50 Quad Core2 vs Speedup 0.5

0 0.0 64 128 256 512 1024 2048 4096 8192 16384 64 128 256 512 1024 2048 4096 8192 16384 Order of Matrix Order of Matrix

03/04/2014 CS267 Lecture 13 67 03/04/2014 CS267 Lecture 13 68

17 Where does the time go? Importance of various optimizations on GPU • Time breakdown for LU on 8800 GTX • Slowdown when omitting one of the optimizations on GTX 280

100% 2.0 90% overlap CPU/GPU 1.9 80% transpose matrix 1.8 GPU TRSM via GEMM 70% 1.7 CPU/GPU batch pivoting 60% overlap 1.6 50% CPU 1.5 Time 1.4 40% look-ahead Slowdown 1.3 30% transpose 1.2 20% 1.1 CPU-GPU transfer 10% 1.0

0% 0.9 448 704 1088 1664 2496 3648 5312 7744 11264 64 128 256 512 1024 2048 4096 8192 16384 Order of Matrix Order of Matrix

03/04/2014 CS267 Lecture 13 69 03/04/2014 CS267 Lecture 13 70

Results for matmul, LU on NVIDIA Class Projects • Pick one (of many) functions/algorithms

in registers • Pick a target parallel platform peak in a*b+c if using shared memory Core2 Quad • Pick a “parallel programming framework”

CUBLAS 1.1 - LAPACK – all parallelism in BLAS BLAS SGEMM our implementaon (now in CUBLAS 2.0) Core2 Quad - ScaLAPACK – distributed memory using MPI

naive - PLASMA – DAG scheduling on multicore LAPACK SGETRF our implementaon GeForce 8800 GTX Core2 Quad • Parallel Linear Algebra for Scalable Multi-core Architectures • http://icl.cs.utk.edu/plasma/ 0 50 100 150 200 250 300 350 Gﬂop/s - MAGMA – DAG scheduling for heterogeneous platforms • What we’ve achieved: • Matrix Algebra on GPU and Multicore Architectures - Identified realistic peak speed of GPU architecture • http://icl.cs.utk.edu/magma/ - Cloud - Achieved a large fraction of this peak in matrix multiply - FLAME - http://z.cs.utexas.edu/wiki/flame.wiki/FrontPage - Achieved a large fraction of the matrix multiply rate in dense factorizations • Design, implement, measure, model and/or compare performance - Can be missing entirely on target platform 03/04/2014 CS267 Lecture 13 71 - May exist, but with a different programming framework 72

18 What could go into a linear algebra library?

For all linear algebra problems

For all matrix/problem/data structures

For all data types

For all architectures and networks

Extra Slides For all programming interfaces

Produce best algorithm(s) w.r.t. performance and accuracy (including condion esmates, etc)

Need to priorize, automate!

Other issues: dynamic resource allocation, fault tolerance, power 03/04/2014 CS267 Lecture 13 73 Many possible class projects

Missing Routines in Sca/LAPACK More missing routines

LAPACK ScaLAPACK LAPACK ScaLAPACK Symmetric EVD QR / Bisection+Invit xSYEV / X PxSYEV / X Linear LU xGESV PxGESV D&C xSYEVD PxSYEVD Equations LU + iterative refine xGESVX missing MRRR xSYEVR missing Cholesky xPOSV PxPOSV Nonsymmetric EVD Schur form xGEES / X missing (driver) Vectors too xGEEV /X missing LDLT xSYSV missing SVD QR xGESVD PxGESVD Least Squares QR xGELS PxGELS D&C xGESDD missing (intent?) (LS) QR+pivot xGELSY missing MRRR missing missing SVD/QR xGELSS missing Jacobi xGESVJ missing SVD/D&C xGELSD missing (intent?) Generalized QR / Bisection+Invit xSYGV / X PxSYGV / X Symmetric EVD D&C xSYGVD missing (intent?) SVD/MRRR missing missing MRRR missing missing QR + iterative refine. missing missing Generalized Schur form xGGES / X missing Generalized LS LS + equality constr. xGGLSE missing Nonsymmetric EVD Vectors too xGGEV / X missing Generalized LM xGGGLM missing Generalized SVD Kogbetliantz xGGSVD missing (intent) Above + Iterative ref. missing missing MRRR missing missing

19 Exploring the tuning space for Dense LA Possible class projects • GPU related • Algorithm tuning space includes - Study available libraries, what’s missing - Underlying BLAS (PHiPAC, ATLAS) - Different layouts (blocked, recursive, …) and algorithms - Try new, unimplemented routines, compare performance - Numerous block sizes, not just in underlying BLAS • Filling in gaps in ScaLAPACK/PLASMA/MAGMA libraries - Many possible layers of parallelism, many mappings to HW - Different traversals of underlying DAGs - User demand for various missing routines • Synchronous and asynchronous algorithms T - LDL , QRP, updating/downdating, Eigenvalues, SVD, band routines, - “Redundant” algorithms for GPUs packed storage, error bounds - New and old eigenvalue algorithms • “Communication avoiding” algorithms - Mixed precision (for speed or accuracy) - New “communication avoiding” algorithms for variations on standard factorizations - Implement, compare performance to Sca/LAPACK • Is there a concise set of abstractions to describe, generate tuning space? - Algorithms that minimize communication over multiple levels of memory hierarchy or of parallelism - Block matrices, factorizations (partial, tree, …), DAGs, … - PLASMA, FLAME, CSS, Spiral, Sequoia, Telescoping languages, Bernoulli, Rose, … - Algorithms that minimize time (including communication) on heterogeneous platforms • Question: What fraction of dense linear algebra can be generated/tuned? - Lots more than when we started • Compare parallel programming frameworks • Sequential BLAS -> Parallel BLAS -> LU -> other factorizations -> … - Compare performance/complexity of implementations in different frameworks - Most of dense linear algebra? • Not eigenvalue algorithms (on compact forms) • More details available • What fraction of LAPACK can be done? • “for all linear algebra problems…” - For all interesting architectures…? 2/24/2011 CS267 Lecture 12 77

ScaLAPACK Performance Models (1) Overview of LAPACK and ScaLAPACK • Standard library for dense/banded linear algebra ScaLAPACK Operation Counts t = 1 f - Linear systems: A*x=b tm = α tv = β - Least squares problems: min || A*x-b || ΝΒ = brow=bcol x 2 √P = prow = pcol - Eigenvalue problems: Ax = λx, Ax = λBx - Singular value decomposition (SVD): A = UΣVT • Algorithms reorganized to use BLAS3 as much as possible • Basis of math libraries on many computers, Matlab … • Many algorithmic innovations remain - Projects available

3/3/2008 CS267 Guest Lecture 2 79 02/14/2006 CS267 Lecture 9 80

20 Performance of LAPACK (n=1000) Performance of LAPACK (n=100)

Performance Efficiency is of Eigen- much lower values, SVD, for a smaller etc. matrix.

02/14/2006 CS267 Lecture 9 81 02/14/2006 CS267 Lecture 9 82

Review: BLAS 3 (Blocked) GEPP Row and Column Block Cyclic Layout

for ib = 1 to n-1 step b … Process matrix b columns at a time end = ib + b-1 … Point to end of block of b columns • processors and matrix blocks are apply BLAS2 version of GEPP to get A(ib:n , ib:end) = P’ * L’ * U’ bcol … let LL denote the strict lower triangular part of A(ib:end , ib:end) + I distributed in a 2d array A(ib:end , end+1:n) = LL-1 * A(ib:end , end+1:n) … update next b rows of U brow 0 1 0 1 0 1 0 1 • prow-by-pcol array of processors 2 3 2 3 2 3 2 3 BLAS 3 A(end+1:n , end+1:n ) = A(end+1:n , end+1:n ) - A(end+1:n , ib:end) * A(ib:end , end+1:n) 0 1 0 1 0 1 0 1 • brow-by-bcol matrix blocks … apply delayed updates with single matrix-multiply 2 3 2 3 2 3 2 3 … with inner dimension b 0 1 0 1 0 1 0 1 2 3 2 3 2 3 2 3 • pcol-fold parallelism in any column, 0 1 0 1 0 1 0 1 and calls to the BLAS2 and BLAS3 on 2 3 2 3 2 3 2 3 matrices of size brow-by-bcol

• serial bottleneck is eased

• prow ≠ pcol and brow ≠ bcol possible, even desireable

02/14/2006 CS267 Lecture 9 83 02/14/2006 CS267 Lecture 9 84

21 Distributed GE with a 2D Block Cyclic Layout ScaLAPACK Performance Models (2)

• block size b in the algorithm and the block sizes Compare Predictions and Measurements brow and bcol in the layout satisfy b=bcol.

• shaded regions indicate processors busy with computation or communication. (LU) • unnecessary to have a barrier between each step of the algorithm, e.g.. steps 9, 10, and 11 can be (Cholesky) pipelined

02/14/2006 CS267 Lecture 9 85 02/14/2006 CS267 Lecture 9 86

Next release of LAPACK and ScaLAPACK Recursive Algorithms • Class projects available • Still uses delayed updates, but organized differently • www.cs.berkeley.edu/~demmel/Sca-LAPACK-Proposal.pdf - (formulas on board) • New or improved LAPACK algorithms • Can exploit recursive data layouts - Faster and/or more accurate routines for linear systems, - 3x speedups on least squares for tall, thin matrices least squares, eigenvalues, SVD • Parallelizing algorithms for ScaLAPACK - Many LAPACK routines not parallelized yet • Automatic performance tuning - Many tuning parameters in code • Theoretically optimal memory hierarchy performance • See references at - “Recursive Block Algorithms and Hybrid Data Structures,” Elmroth, Gustavson, Jonsson, Kagstrom, SIAM Review, 2004 - http://www.cs.umu.se/research/parallel/recursion/

02/14/2006 CS267 Lecture 9 87 02/14/2006 CS267 Lecture 9 88

22 Gaussian Elimination via a Recursive Algorithm Recursive Factorizations F. Gustavson and S. Toledo • Just as accurate as conventional method LU Algorithm: • Same number of operations 1: Split matrix into two rectangles (m x n/2) • Automatic variable-size blocking if only 1 column, scale by reciprocal of pivot & return - Level 1 and 3 BLAS only ! 2: Apply LU Algorithm to the left part • Simplicity of expression

3: Apply transformations to right part • Potential for efficiency while being “cache oblivious” -1 (triangular solve A12 = L A12 and - But shouldn’t recur down to single columns! matrix multiplication A22=A22 -A21*A12 ) • The recursive formulation is just a rearrangement of the point- wise LINPACK algorithm 4: Apply LU Algorithm to right part • The standard error analysis applies (assuming the matrix L operations are computed the “conventional” way). A12

A21 A22

Most of the work in the matrix multiply Matrices of size n/2, n/4, n/8, … 02/14/2006 CS267 Lecture 9 89 02/14/2006 CS267 Lecture 9 90 Source: Jack Dongarra

DGEMMPentium ATLAS III 550 MHz& DGETRF Dual Processor Recursive Recursive Algorithms – Limits • Two kinds of dense matrix compositions AMD AthlonLU 1GHzFactorization (~$1100 system) • One Sided Recursive LU - Sequence of simple operations applied on left of matrix 800 - Gaussian Elimination: A = L*U or A = P*L*U • Symmetric Gaussian Elimination: A = L*D*LT 400 Dual-processor 600 LAPACK • Cholesky: A = L*LT 300 - QR Decomposition for Least Squares: A = Q*R 400 Recursive LU - Can be nearly 100% BLAS 3 - Susceptible to recursive algorithms

Mflop/s 200

MFlop/s 200 LAPACK • Two Sided 100 Uniprocessor - Sequence of simple operations applied on both sides, 0 alternating 0 - Eigenvalue algorithms, SVD 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 500 1000 1500 2000 2500 3000 - At least ~25% BLAS 2 OrderOrder - Seem impervious to recursive approach? - Some recent progress on SVD (25% vs 50% BLAS2) 02/14/2006 CS267 Lecture 9 91 02/14/2006 CS267 Lecture 9 92 Source: Jack Dongarra

23 Out of “Core” Algorithms Some contributors (incomplete list)

Out-of-core means matrix lives on disk; too big for main memory

Much harder to hide latency of disk

QR much easier than LU because no pivoting needed for QR

02/14/2006 CS267 Lecture 9 93 02/14/2006 CS267 Lecture 9 94 Source: Jack Dongarra

Upcoming related talks • SIAM Conference on Parallel Processing in Scientific Computing - San Francisco, Feb 22-24 - http://www.siam.org/meetings/pp06/index.htm - Applications, Algorithms, Software, Hardware - 3 Minisymposia on Dense Linear Algebra on Friday 2/24 • MS41, MS47(*), MS56 Extra Slides • Scientific Computing Seminar, - “An O(n log n) tridiagonal eigensolver”, Jonathan Moussa - Wednesday, Feb 15, 11-12, 380 Soda • Special Seminar - Towards Combinatorial Preconditioners for Finite- Elements Problems”, Prof. Sivan Toledo, Technion - Tuesday, Feb 21, 1-2pm, 373 Soda

02/14/2006 CS267 Lecture 9 95 02/14/2006 CS267 Lecture 9 96

24 QR (Least Squares)

Current algorithm: Faster than initial algorithm Occasional numerical instability Scales well, New, faster and more stable nearly full machine speed algorithm planned

Initial algorithm: Numerically stable Easily parallelized Slow: will abandon

02/14/2006 CS267 Lecture 9 97 02/14/2006 CS267 Lecture 9 98

Scalable Symmetric Eigensolver and SVD

The “Holy Grail” (Parlett, Dhillon, Marques) Perfect Output complexity (O(n * #vectors)), Embarrassingly parallel, Accurate Have good ideas to speedup Project available!

Hardest of all to parallelize

To be propagated throughout LAPACK and ScaLAPACK 02/14/2006 CS267 Lecture 9 99 02/14/2006 CS267 Lecture 9 100

25 Scalable Nonsymmetric Eigensolver Assignment of parallel work in GE • Think of assigning submatrices to threads, where T • Axi = λi xi , Schur form A = QTQ each thread responsible for updating submatrix it • Parallel HQR owns - Henry, Watkins, Dongarra, Van de Geijn - “owner computes” rule natural because of locality - Now in ScaLAPACK • What should submatrices look like to achieve load - Not as scalable as LU: N times as many messages balance? - Block-Hankel data layout better in theory, but not in ScaLAPACK • Sign Function - Beavers, Denman, Lin, Zmijewski, Bai, Demmel, Gu, Godunov, Bulgakov, Malyshev -1 - Ai+1 = (Ai + Ai )/2 → shifted projector onto Re λ > 0 - Repeat on transformed A to divide-and-conquer spectrum - Only uses inversion, so scalable - Inverse free version exists (uses QRD) - Very high flop count compared to HQR, less stable

02/14/2006 CS267 Lecture 9 101 02/14/2006 CS267 Lecture 9 102

Computational Electromagnetics (MOM) Analysis of MOM for Parallel Implementation

The main steps in the solution process are Task Work Parallelism Parallel Speed • Fill: computing the matrix elements of A

• Factor: factoring the dense matrix A Fill O(n**2) embarrassing low • Solve: solving for one or more excitations b Factor O(n**3) moderately diff. very high Solve O(n**2) moderately diff. high • Field Calc: computing the fields scattered from the object Field Calc. O(n) embarrassing high

02/14/2006 CS267 Lecture 9 103 02/14/2006 CS267 Lecture 9 104

26 BLAS2 version of GE with Partial Pivoting (GEPP) Computational Electromagnetics – Solve Ax=b

for i = 1 to n-1 • Developed during 1980s, driven by defense applications find and record k where |A(k,i)| = max{i <= j <= n} |A(j,i)| … i.e. largest entry in rest of column i • Determine the RCS (radar cross section) of airplane if |A(k,i)| = 0 exit with a warning that A is singular, or nearly so • Reduce signature of plane (stealth technology) elseif k != i •Other applications are antenna design, medical equipment swap rows i and k of A end if • Two fundamental numerical approaches: A(i+1:n,i) = A(i+1:n,i) / A(i,i) … each quotient lies in [-1,1] • MOM methods of moments ( frequency domain) … BLAS 1 A(i+1:n,i+1:n) = A(i+1:n , i+1:n ) - A(i+1:n , i) * A(i , i+1:n) • Large dense matrices … BLAS 2, most work in this line • Finite differences (time domain) • Even larger sparse matrices

02/14/2006 CS267 Lecture 9 105 02/14/2006 CS267 Lecture 9 106

Computational Electromagnetics Computational Electromagnetics (MOM) - Discretize surface into triangular facets using standard modeling tools After discretization the integral equation has the form - Amplitude of currents on surface are unknowns A x = b where A is the (dense) impedance matrix, x is the unknown vector of amplitudes, and b is the excitation vector. - Integral equation is discretized into a set of linear equations (see Cwik, Patterson, and Scott, Electromagnetic Scattering on the Intel Touchstone Delta, ‘ image: NW Univ. Comp. Electromagnetics Laboratory http://nueml.ece.nwu.edu/ IEEE Supercomputing 92, pp 538 - 542)

02/14/2006 CS267 Lecture 9 107 02/14/2006 CS267 Lecture 9 108

27 Results for Parallel Implementation on Intel Delta Computational Chemistry – Ax = λ x Task Time (hours) • Seek energy levels of a molecule, crystal, etc. - Solve Schroedinger’s Equation for energy levels = eigenvalues 2 Fill (compute n matrix entries) 9.20 - Discretize to get Ax = λBx, solve for eigenvalues λ and eigenvectors x - A and B large Hermitian matrices (B positive definite) (embarrassingly parallel but slow) • MP-Quest (Sandia NL) Factor (Gaussian Elimination, O(n3) ) 8.25 - Si and sapphire crystals of up to 3072 atoms - A and B up to n=40000, complex Hermitian (good parallelism with right algorithm) - Need all eigenvalues and eigenvectors - Need to iterate up to 20 times (for self-consistency) 2 Solve (O(n )) 2 .17 • Implemented on Intel ASCI Red - 9200 Pentium Pro 200 processors (4600 Duals, a CLUMP) (reasonable parallelism with right algorithm) - Overall application ran at 605 Gflops (out of 1800 Gflops peak), Field Calc. (O(n)) 0.12 - Eigensolver ran at 684 Gflops - www.cs.berkeley.edu/~stanley/gbell/index.html (embarrassingly parallel and fast) - Runner-up for Gordon Bell Prize at Supercomputing 98 The problem solved was for a matrix of size 48,672. 2.6 Gflops for Factor - The world record in 1991. 02/14/2006 CS267 Lecture 9 109 02/14/2006 CS267 Lecture 9 110

Parallelism in ScaLAPACK

• Level 3 BLAS block • Task parallelism operations - Sign function eigenvalue - All the reduction routines computations • Pipelining • Divide and Conquer - QR Iteration, Triangular - Tridiagonal and band Solvers, classic solvers, symmetric factorizations eigenvalue problem and • Redundant computations Sign function - Condition estimators • Cyclic reduction • Static work assignment - Reduced system in the - Bisection band solver

02/14/2006 CS267 Lecture 9 111 02/14/2006 CS267 Lecture 9 112

28 Winner of TOPS 500 (LINPACK Benchmark) Success Stories for Sca/LAPACK • Widely used Year Machine Tflops Factor Peak Num N faster Tflops Procs - Adopted by Mathworks, Cray, Fujitsu, HP, IBM, IMSL, NAG, 2004 Blue Gene / L, IBM 70.7 2.0 91.8 32768 .93M NEC, SGI, …

- >84M(56M in 2006) web hits 2002 Earth System 35.6 4.9 40.8 5104 1.04M 2003 Computer, NEC @ Netlib (incl. CLAPACK, LAPACK95) 2001 ASCI White, 7.2 1.5 11.1 7424 .52M IBM SP Power 3 • New Science discovered through 2000 ASCI White, 4.9 2.1 11.1 7424 .43M the solution of dense matrix IBM SP Power 3 systems 1999 ASCI Red, 2.4 1.1 3.2 9632 .36M Intel PII Xeon - Nature article on the flat universe used ScaLAPACK 1998 ASCI Blue, 2.1 1.6 3.9 5808 .43M Cosmic Microwave Background IBM SP 604E - Other articles in Physics Analysis, BOOMERanG 1997 ASCI Red, 1.3 3.6 1.8 9152 .24M Review B that also use it collaboration, MADCAP code (Apr. Intel Ppro, 200 MHz 27, 2000). 1996 Hitachi CP-PACS .37 1.3 .6 2048 .10M - 1998 Gordon Bell Prize - www.nersc.gov/news/reports/ ScaLAPACK 1995 Intel Paragon XP/S .28 1 .3 6768 .13M MP newNERSCresults050703.pdf

02/14/2006 CS267 Lecture 9 113 3/3/2008 CS267 Guest Lecture 2 114 Source: Jack Dongarra (UTK)

Motivation (1) Motivation (2) 3 Basic Linear Algebra Problems • Why dense A, as opposed to sparse A? 1. Linear Equations: Solve Ax=b for x - Many large matrices are sparse, but … 2 2. Least Squares: Find x that minimizes ||r||2 ≡ √Σ ri - Dense algorithms easier to understand where r=Ax-b • Statistics: Fitting data with simple functions - Some applications yields large dense matrices 3a. Eigenvalues: Find λ and x where Ax = λ x • Vibration analysis, e.g., earthquakes, circuits - LINPACK Benchmark (www.top500.org) 3b. Singular Value Decomposition: ATAx=σ2x • “How fast is your computer?” = “ ” • Data fitting, Information retrieval How fast can you solve dense Ax=b? - Large sparse matrix algorithms often yield Lots of variations depending on structure of A smaller (but still large) dense problems • A symmetric, positive definite, banded, …

3/3/2008 CS267 Guest Lecture 2 115 3/3/2008 CS267 Guest Lecture 2 116

29 Current Records for Solving Dense Systems (2007) Making TSLU Numerically Stable www.netlib.org, click on Performance Database Server • Stability Goal: Make ||A – PLU|| very small: O(machine_precision · ||A||) Gigaflops • Details matter

Machine n=100 n=1000 Any n Peak - Going up the tree, we could do LU either on original rows of W, or computed rows of U IBM BlueGene/L 478K 596K - Only first choice stable (213K procs) (478 Teraflops) • Thm: New scheme as stable as Partial Pivoting (PP) in following sense: (n=2.5M) get same results as PP applied to different input matrix whose entries NEC SX 8 are blocks taken from input A (8 proc, 2 GHz) 75.1 128 • CALU – Communication Avoiding LU for general A (1 proc, 2 GHz) 2.2 15.0 16 – Use TSLU for panel factorizations – Apply to rest of matrix … – Cost: redundant panel factorizations (extra O(n2) flops – ok)

• Benefit: Palm Pilot III .00000169 – Stable in practice, but not same pivot choice as GEPP (1.69 Kiloflops) – One reduction operation per panel: reduces latency to minimum

3/3/2008 CS267 Guest Lecture 2 117 02/24/2011 CS267 Lecture 12 118

Making TSLU Stable LAPACK and ScaLAPACK Scalability • Break n x b panel into P1/2 submatrices of size n/ P1/2 x b each “ ” • Think of each submatrix assigned to leaf of binary tree • One-sided Problems are scalable - Linear systems Ax=b, and least squares min ||Ax-b|| • At each leaf, run GE with partial pivoting (GEPP) to identify b “good” pivot rows x 2 - In Gaussian elimination, A factored into product of 2 matrices A = • At each internal tree node, TSLU selects b pivot rows from 2b candidates from LU by premultiplying A by sequence of simpler matrices its 2 child nodes - Asymptotically 100% BLAS3 • Does this by running GEPP on 2b original rows selected by child nodes - LU (“Linpack Benchmark”), Cholesky, QR • When TSLU done, permute b selected rows to top of original matrix, redo b steps of LU without pivoting - Can minimize communication, some open problems: • Multiple levels of memory hierarchy • Thm: Same results as GEPP on different input matrix whose entries are the same magnitudes as original • “Heterogeneous” platforms with multiple speeds (eg CPU+GPU) • CALU – Communication Avoiding LU for general A • “Two-sided Problems” are harder – Use TSLU for panel factorizations - Eigenvalue problems, SVD – Apply to rest of matrix - A factored into product of 3 matrices by pre and post multiplication – Cost: redundant panel factorizations - ~Half BLAS2, not all BLAS3 • Benefit: • Narrow band problems hardest (to do BLAS3 or parallelize) – Stable in practice, but not same pivot choice as GEPP - Solving and eigenvalue problems – One reduction operation per panel 119 02/24/2011 CS267 Lecture 12 120 02/24/2011 CS267 Lecture 12

30 Fork-Join vs. Dynamic Execution on Multicore Achieving Asynchronicity on Multicore Source: Jack Dongarra Source: Jack Dongarra

A T T A T Fork-Join – parallel BLAS

B C C The matrix factorizaon can be represented as a DAG: •nodes: tasks that operate on “les” Time •edges: dependencies among tasks

DAG-based – dynamic scheduling Tasks can be scheduled asynchronously and in any order as long as dependencies are not violated. Time saved

Experiments on Systems: PLASMA for mulcore Intel’s Quad Core Clovertown MAGMA for CPU/GPU 121 with 2 Sockets w/ 8 Treads 121 02/24/2011 CS267 Lecture 12 122

Intel’s Clovertown Quad Core Exascale Machine Parameters

Source: Jack Dongarra 3 Implementations of LU factorization Quad core w/2 sockets per board, w/ 8 Treads • 2^30 1,000,000 nodes ≈ 45000 3. DAG Based (Dynamic Scheduling) • 1024 cores/node (a billion cores!) 40000

35000 • 100 GB/sec interconnect bandwidth

30000 2. ScaLAPACK (Mess Pass using mem copy) • 400 GB/sec DRAM bandwidth 25000 • 1 microsec interconnect latency 1. LAPACK (BLAS Fork-Join Parallelism) 20000 Mflop/s • 50 nanosec memory latency 15000 • 32 Petabytes of memory 10000 8 Core Experiments

5000 • 1/2 GB total L1 on a node

0 • 20 Megawatts !? 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000 Problems123 Size

31 Exascale predicted speedups Which algs for LU (and QR) reach lower bounds? for CA-LU vs ScaLAPACK-LU • LU for solving Ax=b, QR for least squares • LAPACK aains neither, depending on relave size of M, n • Recursive sequenal algs minimize bandwidth, not latency - Toledo for LU, Elmroth/Gustavson for QR • ScaLAPACK aains bandwidth lower bound • But sends too many messages /p) = 2 • New LU and QR algorithms do aain both lower bounds, (n 2 both sequenal and parallel

log • LU: need to abandon paral pivong (but sll stable) (memory_per_proc) 2 • QR: similar idea of reducon tree as for LU

log • Neither new alg works for mulple memory hierarchy levels • Open queson! log2 (p) • See EECS TR 2008-89 for QR, SC08 paper for LU 126

Do any Cholesky algs reach lower bounds? Space-Filling Curve Layouts • Cholesky factors A = LLT , for Ax=b when A=AT and positive definite • For both cache hierarchies and parallelism, recursive - Easier: Like LU, but half the arithmetic and no pivoting layouts may be useful • LAPACK (with right block size) or recursive Cholesky minimize • Z-Morton, U-Morton, and X-Morton Layout bandwidth - Recursive: Ahmed/Pingali, Gustavson/Jonsson, Andersen/ Gustavson/Wasniewski, Simecek/Tvrdik, a la Toledo • LAPACK can minimize latency with blocked data structure • Ahmed/Pingali minimize bandwidth and latency across multiple levels of memory hierarchy - Simultaneously minimize communication between all pairs L1/L2/ L3/DRAM/disk/… • Other variations possible - “Space-filling curve layout”, “Cache-oblivious” • What about the users? • ScaLAPACK minimizes bandwidth and latency (mod log P) - Copy data into new format before solving? - Need right choice of block size • Details in EECS TR 2009-29

02/24/2011 CS267 Lecture 12 127 02/24/2011 CS267 Lecture 12 128

32 Summary of dense sequential algorithms Summary of dense parallel algorithms attaining communication lower bounds attaining communication lower bounds 2 • Algorithms shown minimizing # Messages use (recursive) block layout • Assume nxn matrices on P processors, memory per processor = O(n / P) • Not possible with columnwise or rowwise layouts • ScaLAPACK assumes best block size b chosen • Many references (see reports), only some shown, plus ours • Many references (see reports), Green are ours • Cache-oblivious are underlined, Green are ours, ? is unknown/future work • Recall lower bounds: #words_moved = Ω( n2 / P1/2 ) and #messages = Ω( P1/2 ) Algorithm 2 Levels of Memory Multiple Levels of Memory Algorithm Reference Factor exceeding Factor exceeding #Words Moved and # Messages #Words Moved and #Messages lower bound for lower bound for BLAS-3 Usual blocked or recursive algorithms Usual blocked algorithms (nested), #words_moved #messages or recursive [Gustavson,97] Matrix multiply [Cannon, 69] 1 1 Cholesky LAPACK (with b = M1/2) [Gustavson,97] (←same) (←same) Cholesky ScaLAPACK log P log P [Gustavson 97] [Ahmed,Pingali,00] [BDHS09] [BDHS09] LU [GDX08] log P log P ScaLAPACK log P 1/2 LU with LAPACK (rarely) [GDX 08] [Toledo, 97] [GDX 08]? ( n / P ) · log P pivoting [Toledo,97] , [GDX 08] not partial pivoting [GDX 08]? QR [DGHL08] log P log3 P 1/2 QR LAPACK (rarely) [Frens,Wise,03] [Elmroth, [Frens,Wise,03] ScaLAPACK log P ( n / P ) · log P [Elmroth,Gustavson,98] but 3x flops Gustavson,98] [DGHL08] ? Sym Eig, SVD [BDD10] log P log3 P [DGHL08] [DGHL08] [DGHL08] ? ScaLAPACK log P n / P1/2 Eig, SVD Not LAPACK [BDD10] [BDD10] Nonsym Eig [BDD10] log P log3 P [BDD10] randomized, but more flops ScaLAPACK P1/2 · log P n · log P 129 130

Summary of dense parallel algorithms Summary of dense parallel algorithms attaining communication lower bounds attaining communication lower bounds • Assume nxn matrices on P processors, memory per processor = O(n2 / P) • Assume nxn matrices on P processors, memory per processor = O(n2 / P)? • ScaLAPACK assumes best block size b chosen • ScaLAPACK assumes best block size b chosen • Many references (see reports), Green are ours • Many references (see reports), Green are ours • Recall lower bounds: • Recall lower bounds: #words_moved = Ω( n2 / P1/2 ) and #messages = Ω( P1/2 ) #words_moved = Ω( n2 / P1/2 ) and #messages = Ω( P1/2 )

Algorithm Reference Factor exceeding Factor exceeding Algorithm Reference Factor exceeding Factor exceeding lower bound for lower bound for lower bound for lower bound for #words_moved #messages #words_moved #messages Matrix multiply [Cannon, 69] 1 1 Matrix multiply [Cannon, 69] 1 1 Cholesky ScaLAPACK log P log P Cholesky ScaLAPACK log P log P LU [GDX08] log P log P LU [GDX08] log P log P ScaLAPACK log P ( n / P1/2 ) · log P ScaLAPACK log P ( n / P1/2 ) · log P QR [DGHL08] log P log3 P QR [DGHL08] log P log3 P ScaLAPACK log P ( n / P1/2 ) · log P ScaLAPACK log P ( n / P1/2 ) · log P Sym Eig, SVDCan we do beer? [BDD10] log P log3 P Sym Eig, SVDCan we do beer? [BDD10] log P log3 P ScaLAPACK log P n / P1/2 ScaLAPACK log P n / P1/2 Nonsym Eig [BDD10] log P log3 P Nonsym Eig [BDD10] log P log3 P 1/2 1/2 ScaLAPACK P · log P n · log P 131 ScaLAPACK P · log P n · log P 132

33 Does GE Minimize Communication? (1/4) Does GE Minimize Communication? (2/4) • Model of communication costs with fast memory M for ib = 1 to n-1 step b … Process matrix b columns at a time end = ib + b-1 … Point to end of block of b columns - BLAS2 version of GEPP costs apply BLAS2 version of GEPP to get A(ib:n , ib:end) = P’ * L’ * U’ • O(n ·b) if panel fits in M: n·b ≤ M … let LL denote the strict lower triangular part of A(ib:end , ib:end) + I 2 A(ib:end , end+1:n) = LL-1 * A(ib:end , end+1:n) … update next b rows of U • O(n · b ) (#flops) if panel does not fit in M: n·b > M A(end+1:n , end+1:n ) = A(end+1:n , end+1:n ) - Update of A(end+1:n , end+1:n ) by matmul costs - A(end+1:n , ib:end) * A(ib:end , end+1:n) 1/2 2 … apply delayed updates with single matrix-multiply • O( max ( n·b·n / M , n )) … with inner dimension b - Triangular solve with LL bounded by above term • Model of communication costs with fast memory M - Total # slow mem refs for GE = (n/b) · sum of above terms - BLAS2 version of GEPP costs • Case 1: M < n (one column too large for fast mem) • O(n ·b) if panel fits in M: n·b ≤ M - Total # slow mem refs for GE = (n/b)*O(max(n b2 , b n2 / M1/2 , n2 )) • O(n · b2) (#flops) if panel does not fit in M: n·b > M = O( max( n2 b , n3 / M1/2 , n3 / b )) - Update of A(end+1:n , end+1:n ) by matmul costs - Minimize by choosing b = M1/2 1/2 2 • O( max ( n·b·n / M , n )) - Get desired lower bound O(n3 / M1/2 ) - Triangular solve with LL bounded by above term - Total # slow mem refs for GE = (n/b) · sum of above terms 02/24/2011 CS267 Lecture 12 133 02/24/2011 CS267 Lecture 12 134

Does GE Minimize Communication? (3/4) Does GE Minimize Communication? (4/4) • Model of communication costs with fast memory M • Model of communication costs with fast memory M - BLAS2 version of GEPP costs - BLAS2 version of GEPP costs • O(n ·b) if panel fits in M: n·b ≤ M • O(n ·b) if panel fits in M: n·b ≤ M • O(n · b2) (#flops) if panel does not fit in M: n·b > M • O(n · b2) (#flops) if panel does not fit in M: n·b > M - Update of A(end+1:n , end+1:n ) by matmul costs - Update of A(end+1:n , end+1:n ) by matmul costs • O( max ( n·b·n / M1/2 , n2 )) • O( max ( n·b·n / M1/2 , n2 )) - Triangular solve with LL bounded by above term - Triangular solve with LL bounded by above term - Total # slow mem refs for GE = (n/b) · sum of above terms - Total # slow mem refs for GE = (n/b) · sum of above terms • Case 2: M2/3 < n ≤ M • Case 3: M1/2 < n ≤ M2/3 - Total # slow mem refs for GE = (n/b)*O(max(n b2 , b n2 / M1/2 , n2 )) - Total # slow mem refs for GE = (n/b)*O(max(n b , b n2 / M1/2 , n2 )) = O( max( n2 b , n3 / M1/2 , n3 / b )) = O( max(n2 , n3 / M1/2 , n3 / b ) ) - Minimize by choosing b = n1/2 (panel does not fit in M) - Minimize by choosing b = M/n (panel fits in M) - Get O(n2.5) slow mem refs - Get O(n4/M) slow mem refs - Exceeds lower bound O(n3 / M1/2) by factor (M/n)1/2 ≤ M1/6 - Exceeds lower bound O(n3 / M1/2) by factor n/M1/2 ≤ M1/6

• Case 4: n ≤ M1/2 – whole matrix fits in fast mem 02/24/2011 CS267 Lecture 12 135 136