CMSC 411 Computer Systems Architecture Lecture 21 Multiprocessors 3

Transcription

1 MS 411 omputer Systems rchitecture Lecture 21 Multiprocessors 3 Outline Review oherence Write onsistency dministrivia Snooping Building Blocks Snooping protocols and examples oherence traffic and performance on M Directory-based protocols and examples onclusion MS (some from atterson, Sussman, others) 2 S252 S05 1

2 OHERENE OMLITIONS & ERFORMNE FOR SNOOING MS (some from atterson, Sussman, others) 3 omplications: Write Races annot update cache until bus is obtained Otherwise, another processor may get bus first, and then write the same cache block! Two step process: rbitrate for bus lace miss on bus and complete operation MS (some from atterson, Sussman, others) 4 S252 S05 2

3 omplications: Write Races (cont.) If miss occurs to block while waiting for bus Handle miss (invalidate may be needed) and then restart Split transaction bus: Bus transaction is not atomic: can have multiple outstanding transactions for a block Multiple misses can interleave, allowing two caches to grab block in the Exclusive state» Must track and prevent multiple misses for one block MS (some from atterson, Sussman, others) 5 Limitations in Symmetric Shared-Memory Multiprocessors and Snooping rotocols Single memory to accommodate all Us Multiple memory banks Bus must support both coherence traffic & normal memory traffic Multiple buses or interconnection networks (cross bar or small point-to-point) Example - MD Opteron: Memory connected directly to each dual-core chip oint-to-point connections for up to 4 chips Remote memory and local memory latency are similar, allowing OS to view Opteron as uniform memory access (UM) computer MS (some from atterson, Sussman, others) 6 S252 S05 3

4 erformance of Symmetric Shared-Memory Ms ache performance is combination of Uniprocessor cache miss traffic Traffic caused by communication» Results in invalidations and subsequent cache misses 4th : coherency miss Joins ompulsory, apacity, onflict MS (some from atterson, Sussman, others) 7 oherency Misses True sharing misses arise from the communication of data through the cache coherence mechanism Invalidates due to 1 st write to shared block Reads by another U of modified block in different cache Miss would still occur if block size were 1 word False sharing misses when a block is invalidated because some word in the block, other than the one being read, is written into Invalidation does not cause a new value to be communicated, but only causes an extra cache miss Block is shared, but no word in block is actually shared miss would not occur if block size were 1 word MS (some from atterson, Sussman, others) 8 S252 S05 4

5 Example: True v. False Sharing v. Hit? ssume x1 and x2 in same cache block. 1 and 2 both read x1 and x2 before. Time 1 2 True, False, Hit? Why? 1 Write x1 2 Read x2 3 Write x1 4 Write x2 5 Read x2 True miss; invalidate x1 in 2 False miss; x1 irrelevant to 2 False miss; x1 irrelevant to 2 False miss; x1 irrelevant to 2 True miss; invalid x2 in 1 MS (some from atterson, Sussman, others) 9 M erformance 4 rocessor ommercial Workload: OLT, Decision Support (Database), Search Engine True sharing and false sharing unchanged going from 1 MB to 8 MB (L3 cache) Uniprocessor cache misses improve with cache size increase (Instruction, apacity/onflict, ompulsory) (Memory) ycles per Instruction MB 2 MB 4 MB 8 MB ache size Instruction apacity/onflict old False Sharing True Sharing MS (some from atterson, Sussman, others) 10 S252 S05 5

6 M erformance 2MB ache ommercial Workload: OLT, Decision Support (Database), Search Engine True sharing, false sharing increase going from 1 to 8 Us Instruction onflict/apacity old False Sharing True Sharing rocessor count MS (some from atterson, Sussman, others) 11 Outline Review oherence Write onsistency dministrivia Snooping Building Blocks Snooping protocols and examples oherence traffic and erformance on M Directory-based protocols and examples onclusion MS (some from atterson, Sussman, others) 12 S252 S05 6

7 ache oherent System Must: rovide set of states, state transition diagram, and actions Manage coherence protocol (0) Determine when to invoke coherence protocol (a) Find info about other copies to determine action» whether need to communicate with other cached copies (b) Locate the other copies (c) ommunicate with those copies (invalidate/update) (0) is done the same way on all systems state of the line is maintained in the cache protocol is invoked if an access fault occurs on the line Different approaches distinguished by (a) to (c) MS (some from atterson, Sussman, others) 13 Bus-based oherence ll of (a), (b), (c) done through broadcast on bus Faulting processor sends out a search Others respond to the search probe and take necessary action ould do it in scalable network, too Broadcast to all processors, and let them respond onceptually simple, but broadcast doesn t scale with p (# of processors) On bus, bus bandwidth doesn t scale On scalable network, every fault leads to at least p network transactions MS (some from atterson, Sussman, others) 14 S252 S05 7

8 Scalable pproach: Directories Scalable coherence uses Same cache states and state transition diagram But different mechanisms to manage protocol Every memory block has associated directory information Keeps track of copies of cached blocks and their states On a miss, find directory entry, look it up, and communicate only with the nodes that have copies if necessary In scalable networks, communication with directory and copies is through network transactions Many alternatives for organizing directory information MS (some from atterson, Sussman, others) 15 Basic Operation of Directory ache ache k processors. Interconnection Network With each cache-block in memory: k presence-bits, 1 dirty-bit Memory Directory With each cache-block in cache: 1 valid bit, and 1 dirty (owner) bit presence bits dirty bit Read from main memory by processor i: If dirty-bit OFF then { read from main memory; turn p[i] ON; } if dirty-bit ON then { recall line from dirty proc (cache state to shared); update memory; turn dirty-bit OFF; turn p[i] ON; supply recalled data to i;} Write to main memory by processor i: If dirty-bit OFF then { supply data to i; send invalidations to all caches that have the block; turn dirty-bit ON; turn p[i] ON;... }... MS (some from atterson, Sussman, others) 16 S252 S05 8

9 icture To Keep In Mind 1 $ Mem 1 2 $ Mem 2 ost structure cache ~2 cycles local memory ~80 cycles remote memory ~200 cycles MS (some from atterson, Sussman, others) 17 Directory rotocol Similar to Snoopy rotocol: Three states Shared: 1 processors have data, memory up-to-date Uncached (no processor has it; not valid in any cache) Exclusive: 1 processor (owner) has data; memory out-of-date In addition to cache state, must track which processors have data when in the shared state (usually bit vector, 1 if processor has copy) Keep it simple(r): Writes to non-exclusive data» write miss rocessor blocks until access completes ssume messages received and acted upon in order sent MS (some from atterson, Sussman, others) 18 S252 S05 9

10 Directory rotocol 2 No bus and don t want to broadcast: Interconnect no longer single arbitration point ll messages have explicit responses Terms: typically 3 processors involved Local node where a request originates Home node where the memory location of an address resides Remote node has a copy of a cache block, whether exclusive or shared Example messages on next slide = processor number, = address MS (some from atterson, Sussman, others) 19 State Transition Diagram for One Block States identical to snoopy case; transactions very similar. Transitions caused by read misses, write misses, invalidates, data fetch requests Generates read miss & write miss msg to home directory. Write misses that were broadcast on the bus for snooping => explicit invalidate & data fetch requests. Note: on a write, a cache block is bigger, so need to read the full cache block write allocate MS (some from atterson, Sussman, others) 20 S252 S05 10

11 U -ache State Machine U Read hit State machine for U requests for each memory block Invalid state if in memory Fetch/Invalidate send Data Write Back message to home directory U read hit U write hit Invalid Exclusive (read/write) Invalidate U Read Send Read Miss message U Write: Send Write Miss msg to h.d. Shared (read/only) U read miss: Send Read Miss U Write: Send Write Miss message to home directory Fetch: send Data Write Back message to home directory U read miss: send Data Write Back message and read miss to home directory U write miss: send Data Write Back message and Write Miss to home directory MS (some from atterson, Sussman, others) 21 State Transition Diagram for Directory Same states & structure as the transition diagram for an individual cache 2 actions: update of directory state & send messages to satisfy requests Tracks all copies of memory block lso indicates an action that updates the sharing set, Sharers, as well as sending a message MS (some from atterson, Sussman, others) 22 S252 S05 11

12 Directory State Machine State machine for Directory requests for each memory block Uncached state if in memory Data Write Back: Sharers = {} (Write back block) Write Miss: Sharers = {}; send Fetch/Invalidate; send Data Value Reply msg to remote cache Uncached Exclusive (read/write) Read miss: Sharers = {} send Data Value Reply Write Miss: Sharers = {}; send Data Value Reply msg Shared (read only) Read miss: Sharers += {}; send Fetch; send Data Value Reply msg to remote cache (Write back block) Read miss: Sharers += {}; send Data Value Reply Write Miss: send Invalidate to Sharers; then Sharers = {}; send Data Value Reply msg MS (some from atterson, Sussman, others) 23 Basic Directory Transactions Requestor 3. Read req. to owner Data Reply 1. Read request to directory 2. Reply with owner identity 4a. 4b. Revision message to directory Directory node for block Requestor RdEx request to directory Reply with sharers identity 3a. 3b. Inval. req. to sharer Inval. req. to sharer 4a. 4b. Inval. ack Inval. ack Directory node Node with dirtycopy (a) Read miss to a block in dirty state Sharer Sharer (b) Write miss to a block with two sharers MS (some from atterson, Sussman, others) 24 S252 S05 12

13 opular Middle Ground Two-level hierarchy Individual nodes are multiprocessors, connected non-hiearchically e.g. mesh of SMs oherence across nodes is directory-based directory keeps track of nodes, not individual processors oherence within nodes is snooping or directory orthogonal, but needs a good interface of functionality SM on a chip directory + snoop? MS (some from atterson, Sussman, others) 25 nd in onclusion aches contain all information on state of cached memory blocks Snooping cache over shared medium for smaller multiprocessors By invalidating other cached copies on write Sharing cached data oherence (values returned by a read) onsistency (when a written value will be returned by a read) Snooping and Directory rotocols similar Bus makes snooping easier because of broadcast Snooping uniform memory access Directory has extra data structure Keep track of state of all cache blocks Distributing directory scalable shared address space multiprocessor cache coherent, non-uniform memory access MS (some from atterson, Sussman, others) 26 S252 S05 13