Corso di Laurea Magistrale e Dottorati in Matematica Applicata CALCOLO SCIENTIFICO (PARALLELO) Prof. Luca F. Pavarino Dipartimento di Matematica Universita` di Milano a.a. 2005-2006 pavarino@mat.unimi.it, http://www.mat.unimi.it/~pavarino 1 Struttura del corso • Orario - Lunedi` 10.30-12.30 Aula 2 - Martedi` 14.30-12.30 - Giovedi` 13.30-14.30 Aula 2 Aula 8 • 13 settimane (66 ore = 40 lezione + 26 laboratorio) hardware - software • Laboratorio in Aula 2: esercitazioni con Nostro Cluster Linux (ulisse.mat.unimi.it), 72 processori Cluster Linux del Cilea (avogadro.cilea.it), 256 processori (IBM SP5 del Cineca (sp5.sp.cineca.it), 512 processori) (Cluster Linux del Cineca (clx.cineca.it), 1024 processori) - Uso della libreria standard per “message passing” MPI - Uso della libreria parallela di calcolo scientifico PETSc dell’Argonne National Lab., basata su MPI 2 Materiale e Testi • Slides in inglese basate su corsi di calcolo parallelo tenuti a UC Berkeley da Jim Demmel, MIT da Alan Edelmann, Univ. Illinois da Michael Heath • Possibile testo: L. R. Scott, T. Clark, B. Bagheri, Scientific Parallel Computing, Princeton University Press, 2005 • Tantissimo materiale on-line, e.g.: - www-unix.mcs.anl.gov/dbpp/ (Ian Foster’s book) www.cs.berkeley.edu/~demmel/ (Demmel’s course) www-math.mit.edu/~edelman/ (Edelman’s course) www.cse.uiuc.edu/~heath/ (Heath’s course) - www.cs.rit.edu/~ncs/parallel.html (Nan’s ref page) 3 Schedule of Topics 1) Introduction 2) Parallel architectures 3) Networks 4) Parallel Algorithm Design 5) Performance modeling: speedup, efficiency, scalability 6) Dependences 7) Parallel languages and programming 8) Collective operations, MPI (Message Passing Interface), PETSc 9) Parallel Linear Algebra: products, linear systems (direct and iterative methods), QR, eigenvalues, SVD 10) FFT, nonlinear equations, Ordinary Differential Equations 11) Particle methods 12) Partial Differential Equations, Domain Decomposition methods 13) Sorting 14) Grid and Distributed Computing, future trends (quantum computing, DNA computing,...) 4 1) Introduction • What is parallel computing • Large important problems require powerful computers • Why powerful computers must be parallel processors • Why writing (fast) parallel programs is hard • Principles of parallel computing performance 5 What is parallel computing • It is an example of parallel processing: - division of task (process) into smaller tasks (processes) - assign smaller tasks to multiple processing units that work simultaneously - coordinate, control and monitor the units • Many examples from nature: - human brain consists of ~10^11 neurons - complex living organisms consist of many cells (although monocellular organism are estimated to be ½ of the earth biomass) - leafs of trees ... • Many examples from daily life: - highways tollbooths supermarket cashiers building construction written exams ... 6 • Parallel computing is the use of multiple processors to execute different parts of the same program (task) simultaneously • Main goals of parallel computing are: - Increase the size of problems that can be solved - bigger problem would not be solvable on a serial computer in a reasonable amount of time decompose it into smaller problems - bigger problem might not fit in the memory of a serial computer distribute it over the memory of many computer nodes - Reduce the “wall-clock” time to solve a problem Solve (much) bigger problems (much) faster Subgoal: save money using cheapest available resources (clusters, beowulf, grid computing,...) 7 Why we need powerful computers 8 Simulation: The Third Pillar of Science • Traditional scientific and engineering paradigm: 1) Do theory or paper design. 2) Perform experiments or build system. • • Limitations: - Too difficult -- build large wind tunnels. Too expensive -- build a throw-away passenger jet. - Too slow -- wait for climate or galactic evolution. Too dangerous -- weapons, drug design, climate experimentation. Computational science paradigm: 3) Use high performance computer systems to simulate the phenomenon - Based on known physical laws and efficient numerical methods. 9 Some Particularly Challenging Computations • Science - Global climate modeling - Astrophysical modeling - Biology: Genome analysis; protein folding (drug design) - Medicine: cardiac modeling, physiology, neurosciences • Engineering - Crash simulation - Semiconductor design - Earthquake and structural modeling • Business - Financial and economic modeling - Transaction processing, web services and search engines • Defense - Nuclear weapons -- test by simulations - Cryptography 10 $5B World Market in Technical Computing 1998 1999 2000 2001 2002 2003 100% 90% 80% 70% Other Technical Management and Support Simulation Scientific Research and R&D Mechanical Design/Engineering Analysis Mechanical Design and Drafting 60% Imaging 50% Geoscience and Geoengineering 40% Electrical Design/Engineering Analysis Economics/Financial 30% Digital Content Creation and Distribution 20% Classified Defense 10% Chemical Engineering 0% Biosciences Source: IDC 2004, from NRC Future of Supercomputer Report 11 Units of Measure in HPC • High Performance Computing (HPC) units are: - Flops: floating point operations - Flops/s: floating point operations per second - Bytes: size of data (a double precision floating point number is 8) • Typical sizes are millions, billions, trillions… Mega bytes Mflop/s = 106 flop/sec Mbyte = 220 = 1048576 ~ 106 Giga Tera Peta Exa Gflop/s = 109 flop/sec Tflop/s = 1012 flop/sec Pflop/s = 1015 flop/sec Eflop/s = 1018 flop/sec Gbyte = 230 ~ 109 bytes Tbyte = 240 ~ 1012 bytes Pbyte = 250 ~ 1015 bytes Ebyte = 260 ~ 1018 bytes Zetta Yotta Zflop/s = 1021 flop/sec Yflop/s = 1024 flop/sec Zbyte = 270 ~ 1021 bytes Ybyte = 280 ~ 1024 bytes 12 Ex. 1: Global Climate Modeling Problem • Problem is to compute: f(latitude, longitude, elevation, time) temperature, pressure, humidity, wind velocity • Atmospheric model: equation of fluid dynamics Navier-Stokes system of nonlinear partial differential equations • Approach: - Discretize the domain, e.g., a measurement point every 1km Devise an algorithm to predict weather at time t+1 given t • Uses: - Predict major events, e.g., El Nino - Use in setting air emissions standards 13 Source: http://www.epm.ornl.gov/chammp/chammp.html Global Climate Modeling Computation • One piece is modeling the fluid flow in the atmosphere - Solve Navier-Stokes problem - Roughly 100 Flops per grid point with 1 minute timestep • Computational requirements: - To match real-time, need 5x 1011 flops in 60 seconds ~ 8 Gflop/s - Weather prediction (7 days in 24 hours) 56 Gflop/s - Climate prediction (50 years in 30 days) 4.8 Tflop/s - To use in policy negotiations (50 years in 12 hours) 288 Tflop/s • To double the grid resolution, computation is at least 8x • State of the art models require integration of atmosphere, ocean, sea-ice, land models, plus possibly carbon cycle, geochemistry and more • Current models are coarser than this 14 Climate Modeling on the Earth Simulator System Development of ES started in 1997 in order to make a comprehensive understanding of global environmental changes such as global warming. Its construction was completed at the end of February, 2002 and the practical operation started from March 1, 2002 35.86Tflops (87.5% of the peak performance) is achieved in the Linpack benchmark. 26.58Tflops was obtained by a global atmospheric circulation code. 15 Ex. 2: Cardiac simulation • Very difficult problem spanning many disciplines: - Electrophysiology (spreading of electrical excitation front) - Structural Mechanics (large deformation of incompressible biomaterial) - Fluid Dynamics (flow of blood inside the heart) • Large-scale simulations in computational electrophysiology (joint work with P. Colli-Franzone) - Bidomain model (system of 2 reaction-diffusion equations) coupled with Luo-Rudy 1 gating (system of 7 ODEs) in 3D - Q1 finite elements in space + adaptive semi-implicit method in time - Parallel solver based on PETSc library - Linear systems up to 36 M unknowns each time-step (128 procs of Cineca SP4) solved in seconds or minutes - Simulation of full heartbeat (4 M unknowns in space, thousands of time-steps) took more than 6 days on 25 procs of Cilea HP Superdome, now down to about 50 hours on 36 procs of our cluster 16 3D simulations: isochrones of acti, repo, APD 17 Activation and repolarization fronts 18 • Hemodynamics in circulatory system (work in Quarteroni’s group) • Blood flow in the heart (work by Peskin’s group) - Modeled as an elastic structure in an incompressible fluid. - The “immersed boundary method” due to Peskin and McQueen. - 20 years of development in model - Many applications other than the heart: blood clotting, inner ear, paper making, embryo growth, and others - Use a regularly spaced mesh (set of points) for evaluating the fluid - Uses - Current model can be used to design artificial heart valves Can help in understand effects of disease (leaky valves) Related projects look at the behavior of the heart during a heart attack Ultimately: real-time clinical work 19 This involves solving Navier-Stokes equations - 64^3 was possible on Cray YMP, but 128^3 required for accurate model (would have taken 3 years). - Done on a Cray C90 -- 100x faster and 100x more memory - Until recently, limited to vector machines - Needs more features: - Electrical model of the heart, and details of muscles fibers, - Circulatory systems - Lungs 20 Ex. 3: Parallel Computing in Data Analysis • Web search: - Functional parallelism: crawling, indexing, sorting Parallelism between queries: multiple users Finding information amidst junk Preprocessing of the web data set to help find information • Google physical structure (2004 estimate): - about 63.272 nodes (126,544 cpus) - 126.544 GB RAM - 5,062 TB hard drive space (This would make Google server farm one of the most powerful supercomputer in the world) • Google index size (June 2005 estimate): - about 8 billion web pages, 1 billion images 21 - Note that the total Surface Web ( = publically indexable, i.e. reachable by web crawlers) has been estimated (Jan. 2005) at over 11.5 billion web pages. - Invisible (or Deep) Web ( = not indexed by search engines; it consists of dynamic web pages, subscription sites, searchable databases) has been estimated (2001) at over 550 billion documents. - Invisible Web not to be confused with Dark Web consisting of machines or network segments not connected to the Internet • Data collected and stored at enormous speeds (Gbyte/hour) - remote sensor on a satellite - telescope scanning the skies - microarrays generating gene expression data - scientific simulations generating terabytes of data - NSA analysis of telecommunications 22 Why powerful computers are parallel 23 Tunnel Vision by Experts • “I think there is a world market for maybe five computers.” - Thomas Watson, chairman of IBM, 1943. • “There is no reason for any individual to have a computer in their home” - Ken Olson, president and founder of Digital Equipment Corporation, 1977. • “640K [of memory] ought to be enough for anybody.” - Bill Gates, chairman of Microsoft,1981. Slide source: Warfield et al. 24 Technology Trends: Microprocessor Capacity Moore’s Law 2X transistors/Chip Every 1.5 years Called “Moore’s Law” Microprocessors have become smaller, denser, and more powerful. Gordon Moore (co-founder of Intel) predicted in 1965 that the transistor density of semiconductor chips would double roughly every 18 months. Slide source: Jack Dongarra 25 Impact of Device Shrinkage • What happens when the feature size shrinks by a factor of x ? • Clock rate goes up by x - actually less than x, because of power consumption • Transistors per unit area goes up by x2 • Die size also tends to increase - typically another factor of ~x • Raw computing power of the chip goes up by ~ x4 ! - of which x3 is devoted either to parallelism or locality 26 Microprocessor Transistors per Chip • Growth in transistors per chip • Increase in clock rate 100,000,000 1000 10,000,000 1,000,000 i80386 i80286 100,000 R3000 R2000 100 Clock Rate (MHz) Transistors R10000 Pentium 10 1 i8086 10,000 i8080 i4004 1,000 1970 1975 1980 1985 1990 1995 2000 2005 Year 0.1 1970 1980 1990 2000 Year 27 Physical limits: how fast can a serial computer be? 1 Tflop/s, 1 Tbyte sequential machine r = 0.3 mm • Consider the 1 Tflop/s sequential machine: - Data must travel some distance, r, to get from memory to CPU. - Go get 1 data element per cycle, this means 1012 times per second at the speed of light, c = 3x108 m/s. Thus r < c/1012 = 0.3 mm. • Now put 1 Tbyte of storage in a 0.3 mm 0.3 mm area: - Each byte occupies less than 3 square Angstroms, or the size of a small atom. • No choice but parallelism 28 “Automatic” Parallelism in Modern Machines • Bit level parallelism: within floating point operations, etc. • Instruction level parallelism (ILP): multiple instructions execute per clock cycle. • Memory system parallelism: overlap of memory operations with computation. • OS parallelism: multiple jobs run in parallel on commodity SMPs. There are limitations to all of these: to achieve high performance, the programmer needs to identify, schedule and coordinate parallel tasks and data. 29 Processor-DRAM Gap (latency) CPU “Moore’s Law” Processor-Memory Performance Gap: (grows 50% / year) DRAM DRAM 7%/yr. 100 10 1 µProc 60%/yr. 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 Performance 1000 Time 30 Principles of Parallel Computing • Parallelism and Amdahl’s Law • Finding and exploiting granularity • Preserving data locality • Load balancing • Coordination and synchronization • Performance modeling All of these issues makes parallel programming harder than sequential programming. 31 Amdahl’s law: Finding Enough Parallelism • Suppose only part of an application seems parallel • Amdahl’s law - Let s be the fraction of work done sequentially, so (1-s) is fraction parallelizable. - P = number of processors. Speedup(P) = Time(1)/Time(P) <= 1/(s + (1-s)/P) <= 1/s Even if the parallel part speeds up perfectly, we may be limited by the sequential portion of code. Ex: if only s = 1%, then speedup <= 100 not worth it using more than p = 100 processors 32 Overhead of Parallelism • Given enough parallel work, this is the most significant barrier to getting desired speedup. • Parallelism overheads include: - cost of starting a thread or process cost of communicating shared data cost of synchronizing extra (redundant) computation • Each of these can be in the range of milliseconds (= millions of flops) on some systems • Tradeoff: Algorithm needs sufficiently large units of work to run fast in parallel (i.e. large granularity), but not so large that there is not enough parallel work. 33 Locality and Parallelism Conventional Storage Proc Hierarchy Cache L2 Cache Proc Cache L2 Cache Proc Cache L2 Cache L3 Cache L3 Cache Memory Memory Memory potential interconnects L3 Cache • Large memories are slow, fast memories are small. • Storage hierarchies are large and fast on average. • Parallel processors, collectively, have large, fast memories -- the slow accesses to “remote” data we call “communication”. • Algorithm should do most work on local data. 34 Load Imbalance • Load imbalance is the time that some processors in the system are idle due to - insufficient parallelism (during that phase). - unequal size tasks. • Examples of the latter - adapting to “interesting parts of a domain”. - tree-structured computations. - fundamentally unstructured problems - Adaptive numerical methods in PDE (adaptivity and parallelism seem to conflict). • Algorithm needs to balance load - but techniques the balance load often reduce locality 35 Measuring Performance: Real Performance? Peak Performance grows exponentially, a la Moore’s Law In 1990’s, peak performance increased 100x; in 2000’s, it will increase 1000x 1,000 But efficiency (the performance relative to the hardware peak) has declined was 40-50% on the vector supercomputers of 1990s now as little as 5-10% on parallel supercomputers of today Close the gap through ... Mathematical methods and algorithms that achieve high performance on a single processor and scale to thousands of processors More efficient programming models and tools for massively parallel supercomputers 100 Teraflops Peak Performance Performance Gap 10 1 Real Performance 0.1 1996 2000 2004 36 Performance Levels • Peak advertised performance (PAP) - You can’t possibly compute faster than this speed • LINPACK - The “hello world” program for parallel computing - Solve Ax=b using Gaussian Elimination, highly tuned • Gordon Bell Prize winning applications performance - The right application/algorithm/platform combination plus years of work • Average sustained applications performance - What one reasonable can expect for standard applications When reporting performance results, these levels are often confused, even in reviewed publications 37 Performance Levels (for example on NERSC-3) • Peak advertised performance (PAP): 5 Tflop/s • LINPACK (TPP): 3.05 Tflop/s • Gordon Bell Prize winning applications performance : 2.46 Tflop/s - Material Science application at SC01 • Average sustained applications performance: ~0.4 Tflop/s - Less than 10% peak! 38 Simple example 1: sum of N numbers, P procs N A ai i 1 Also known as reduction (of the vector [a1,…,aN] to the scalar N) - Assume N is an integer multiple of P: N = kP - Divide the sum into P partial sums: Aj jk a i i ( j 1) k 1 P Then P parallel tasks, each with k -1 additions of k = N/P data A Ai i 1 Global sum (not parallel, communication needed) 39 Simple example 2: pi 1 2 1 4 /( 1 x ) dx 4 arctg ( x ) | 0 0 N - Use composite midpoints quadrature rule: where h = 1/N and xi (i 1 / 2)h 2 4 h /( 1 x i ), i 1 -Decompose sum into P parallel partial sums + 1 global sum, (as before or with stride P) On processor myid = 0,…,P-1, (P = numprocs) compute: sum = 0; for I = myid + 1:numprocs:N, x = h*(I – 0.5); sum = sum + 4/(1+x*x); end; mypi = h*sum; global sum the local mypi into glob_pi (reduction) 40 Simple example 3: prime number sieve See exercise in class on Thursday Oct. 6, 2005 Simple example 4: Jacobi method for BVP See exercise in class on Thursday Oct. 6, 2005 41