660 likes | 978 Vues
Parallelism. Lecture notes from MKP and S. Yalamanchili. Introduction. Goal: Higher performance through parallelism Job-level (process-level) parallelism High throughput for independent jobs Application-level parallelism Single program run on multiple processors Multicore microprocessors
E N D
Parallelism Lecture notes from MKP and S. Yalamanchili
Introduction • Goal: Higher performance through parallelism • Job-level (process-level) parallelism • High throughput for independent jobs • Application-level parallelism • Single program run on multiple processors • Multicore microprocessors • Chips with multiple processors (cores) • Support for both job level and application-level parallelism
Core Count Roadmap: AMD From anandtech.com
Core Count: NVIDIA • All cores are not created equal • Need to understand the programming model 1536 cores at 1GHz
Hardware and Software • Hardware • Serial: e.g., Pentium 4 • Parallel: e.g., quad-core Xeon e5345 • Software • Sequential: e.g., matrix multiplication • Concurrent: e.g., operating system • Sequential/concurrent software can run on serial/parallel hardware • Challenge: making effective use of parallel hardware
Parallel Programming • Parallel software is the problem • Need to get significant performance improvement • Otherwise, just use a faster uniprocessor, since it’s easier! • Difficulties • Partitioning • Coordination • Communications overhead
Amdahl’s Law • Sequential part can limit speedup • Example: 100 processors, 90× speedup? • Tnew = Tparallelizable/100 + Tsequential • Solving: Fparallelizable = 0.999 • Need sequential part to be 0.1% of original time
Scaling Example • Workload: sum of 10 scalars, and 10 × 10 matrix sum • Speed up from 10 to 100 processors • Single processor: Time = (10 + 100) × tadd • 10 processors • Time = 10 × tadd + 100/10 × tadd = 20 × tadd • Speedup = 110/20 = 5.5 (55% of potential) • 100 processors • Time = 10 × tadd + 100/100 × tadd = 11 × tadd • Speedup = 110/11 = 10 (10% of potential) • Idealized model • Assumes load can be balanced across processors
Scaling Example (cont) • What if matrix size is 100 × 100? • Single processor: Time = (10 + 10000) × tadd • 10 processors • Time = 10 × tadd + 10000/10 × tadd = 1010 × tadd • Speedup = 10010/1010 = 9.9 (99% of potential) • 100 processors • Time = 10 × tadd + 10000/100 × tadd = 110 × tadd • Speedup = 10010/110 = 91 (91% of potential) • Idealized model • Assuming load balanced
Strong vs Weak Scaling • Strong scaling: problem size fixed • As in example • Weak scaling: problem size proportional to number of processors • 10 processors, 10 × 10 matrix • Time = 20 × tadd • 100 processors, 32 × 32 matrix • Time = 10 × tadd + 1000/100 × tadd = 20 × tadd • Constant performance in this example • For a fixed size system grow the number of processors to improve performance
What WeHave Seen • §3.6: Parallelism and Computer Arithmetic • Associativity and bit level parallelism • §4.10: Parallelism and Advanced Instruction-Level Parallelism • Recall multi-instruction issue • §6.9: Parallelism and I/O: • Redundant Arrays of Inexpensive Disks • Now we will look at categories in computation • classification
Concurrency and Parallelism • Concurrent access to shared data must be controlled for correctness • Programming models? • Each core can operate concurrently and in parallel • Multiple threads may operate in a time sliced fashion on a single core Image from futurelooks.com
Instruction Level Parallelism (ILP) Multiple instructions in EX at the same time IF ID MEM WB • Single (program) thread of execution • Issue multiple instructions from the same instruction stream • Average CPI<1 • Often called out of order (OOO) cores
The P4 Microarchitecture From, “The Microarchitecture of the Pentium 4 Processor 1,” G. Hinton et.al, Intel Technology Journal Q1, 2001
ILP Wall - Past the Knee of the Curve? Made sense to go Superscalar/OOO: good ROI Performance Very little gain for substantial effort Scalar In-Order “Effort” Moderate-Pipe Superscalar/OOO Very-Deep-Pipe Aggressive Superscalar/OOO Source: G. Loh
Thread Level Parallelism (TLP) • Multiple threads of execution • Exploit ILP in each thread • Exploit concurrent execution across threads
Instruction and Data Streams • Taxonomy due to M. Flynn • SPMD: Single Program Multiple Data • A parallel program on a MIMD computer where each instruction stream is identical • Conditional code for different processors
Programming Model: Multithreading • Performing multiple threads of execution in parallel • Replicate registers, PC, etc. • Fast switching between threads • Fine-grain multithreading • Switch threads after each cycle • Interleave instruction execution • If one thread stalls, others are executed • Coarse-grain multithreading • Only switch on long stall (e.g., L2-cache miss) • Simplifies hardware, but doesn’t hide short stalls (eg, data hazards)
Conventional Multithreading • Zero-overhead context switch • Duplicated contexts for threads 0:r0 0:r7 1:r0 CtxtPtr Memory (shared by threads) 1:r7 2:r0 2:r7 3:r0 3:r7 Register file
Simultaneous Multithreading • In multiple-issue dynamically scheduled processor • Schedule instructions from multiple threads • Instructions from independent threads execute when function units are available • Within threads, dependencies handled by scheduling and register renaming • Example: Intel Pentium-4 HT • Two threads: duplicated registers, shared function units and caches • Known as Hyperthreading in Intel terminology
Hyper-threading 2 CPU Without Hyper-threading 2 CPU With Hyper-threading • Implementation of Hyper-threading adds less that 5% to the chip area • Principle: share major logic components by adding or partitioning buffering logic Processor Execution Resources Processor Execution Resources Processor Execution Resources Processor Execution Resources Arch State Arch State Arch State Arch State Arch State Arch State
Shared Memory • SMP: shared memory multiprocessor • Hardware provides single physicaladdress space for all processors • Synchronize shared variables using locks • Memory access time • UMA (uniform) vs. NUMA (nonuniform)
Example: Communicating Threads Consumer Producer The Producer calls while (1) { while (count == BUFFER_SIZE) ; // do nothing // add an item to the buffer ++count; buffer[in] = item; in = (in + 1) % BUFFER_SIZE; }
Example: Communicating Threads Consumer Producer The Consumer calls while (1) { while (count == 0) ; // do nothing // remove an item from the buffer --count; item = buffer[out]; out = (out + 1) % BUFFER_SIZE; }
Uniprocessor Implementation • count++ could be implemented asregister1 = count; register1 = register1 + 1; count = register1; • count-- could be implemented asregister2 = count; register2 = register2 – 1; count = register2; • Consider this execution interleaving: S0: producer execute register1 = count {register1 = 5}S1: producer execute register1 = register1 + 1 {register1 = 6} S2: consumer execute register2 = count {register2 = 5} S3: consumer execute register2 = register2 - 1 {register2 = 4} S4: producer execute count = register1 {count = 6 } S5: consumer execute count = register2 {count = 4}
Synchronization • We need to prevent certain instruction interleavings • Or at least be able to detect violations! • Some sequence of operations (instructions) must happen atomically • E.g., register1 = count; register1 = register1 + 1; count = register1; • atomic operations/instructions
Synchronization • Two processors sharing an area of memory • P1 writes, then P2 reads • Data race if P1 and P2 don’t synchronize • Result depends of order of accesses • Hardware support required • Atomic read/write memory operation • No other access to the location allowed between the read and write • Could be a single instruction • E.g., atomic swap of register ↔ memory • Or an atomic pair of instructions
Synchronization in MIPS • Load linked: llrt, offset(rs) • Store conditional: scrt, offset(rs) • Succeeds if location not changed since the ll • Returns 1 in rt • Fails if location is changed • Returns 0 in rt • Example: atomic swap (to test/set lock variable) try: add $t0,$zero,$s4 ;copy exchange value ll $t1,0($s1) ;load linked sc $t0,0($s1) ;store conditional beq $t0,$zero,try ;branch store fails add $s4,$zero,$t1 ;put load value in $s4
Cache Coherence • A shared variable may exist in multiple caches • Multiple copies to improve latency • This is a really a synchronization problem
Cache Coherence Problem • Suppose two CPU cores share a physical address space • Write-through caches
Rd? Rd? X= -100 X= -100 X= -100 Example (Writeback Cache) P P P Cache Cache Cache X= 505 Memory X= -100 Courtesy H. H. Lee
Coherence Defined • Informally: Reads return most recently written value • Formally: • P writes X; P reads X (no intervening writes) read returns written value • P1 writes X; P2 reads X (sufficiently later) read returns written value • c.f. CPU B reading X after step 3 in example • P1 writes X, P2 writes X all processors see writes in the same order • End up with the same final value for X
Cache Coherence Protocols • Operations performed by caches in multiprocessors to ensure coherence • Migration of data to local caches • Reduces bandwidth for shared memory • Replication of read-shared data • Reduces contention for access • Snooping protocols • Each cache monitors bus reads/writes • Directory-based protocols • Caches and memory record sharing status of blocks in a directory
Invalidating Snooping Protocols • Cache gets exclusive access to a block when it is to be written • Broadcasts an invalidate message on the bus • Subsequent read in another cache misses • Owning cache supplies updated value
Programming Model: Message Passing • Each processor has private physical address space • Hardware sends/receives messages between processors
Parallelism • Write message passing programs • Explicit send and receive of data • Rather than accessing data in shared memory Process 2 Process 2 send() receive() send() receive()
Loosely Coupled Clusters • Network of independent computers • Each has private memory and OS • Connected using I/O system • E.g., Ethernet/switch, Internet • Suitable for applications with independent tasks • Web servers, databases, simulations, … • High availability, scalable, affordable • Problems • Administration cost (prefer virtual machines) • Low interconnect bandwidth • c.f. processor/memory bandwidth on an SMP
High Performance Computing theregister.co.uk zdnet.com • The dominant programming model is message passing • Scales well but requires programmer effort • Science problems have fit this model well to date
Grid Computing • Separate computers interconnected by long-haul networks • E.g., Internet connections • Work units farmed out, results sent back • Can make use of idle time on PCs • E.g., SETI@home, World Community Grid
Programming Model: SIMD • Operate elementwise on vectors of data • E.g., MMX and SSE instructions in x86 • Multiple data elements in 128-bit wide registers • All processors execute the same instruction at the same time • Each with different data address, etc. • Simplifies synchronization • Reduced instruction control hardware • Works best for highly data-parallel applications • Data Level Parallelism
SIMD Co-Processor • Graphics and media processing operates on vectors of 8-bit and 16-bit data • Use 64-bit adder, with partitioned carry chain • Operate on 8×8-bit, 4×16-bit, or 2×32-bit vectors • SIMD (single-instruction, multiple-data) 4x16-bit 2x32-bit
History of GPUs • Early video cards • Frame buffer memory with address generation for video output • 3D graphics processing • Originally high-end computers (e.g., SGI) • Moore’s Law lower cost, higher density • 3D graphics cards for PCs and game consoles • Graphics Processing Units • Processors oriented to 3D graphics tasks • Vertex/pixel processing, shading, texture mapping,rasterization
GPU Architectures • Processing is highly data-parallel • GPUs are highly multithreaded • Use thread switching to hide memory latency • Less reliance on multi-level caches • Graphics memory is wide and high-bandwidth • Trend toward general purpose GPUs • Heterogeneous CPU/GPU systems • CPU for sequential code, GPU for parallel code • Programming languages/APIs • DirectX, OpenGL • C for Graphics (Cg), High Level Shader Language (HLSL) • Compute Unified Device Architecture (CUDA)
Example: NVIDIA Tesla Streaming multiprocessor 8 × Streamingprocessors
Compute Unified Device Architecture Bulk synchronous processing (BSP) execution model • For access to CUDA tutorials http://developer.nvidia.com/cuda-education-training
Example: NVIDIA Tesla • Streaming Processors • Single-precision FP and integer units • Each SP is fine-grained multithreaded • Warp: group of 32 threads • Executed in parallel,SIMD style • 8 SPs× 4 clock cycles • Hardware contextsfor 24 warps • Registers, PCs, …
Classifying GPUs • Does not fit nicely into SIMD/MIMD model • Conditional execution in a thread allows an illusion of MIMD • But with performance degradation • Need to write general purpose code with care Really Single Instruction Multiple Thread (SIMT)
Vector Processors • Highly pipelined function units • Stream data from/to vector registers to units • Data collected from memory into registers • Results stored from registers to memory • Example: Vector extension to MIPS • 32 × 64-element registers (64-bit elements) • Vector instructions • lv, sv: load/store vector • addv.d: add vectors of double • addvs.d: add scalar to each element of vector of double • Significantly reduces instruction-fetch bandwidth