Snooping coherence protocols (cont.)

Transcription

1 Snooping coherence protocols (cont.) A four-state update protocol [ 5.3.3] When there is a high degree of sharing, invalidation-based protocols perform poorly. Blocks are often invalidated, and then have to be re-fetched from memory. Wouldn t it be better to send new values out rather than invalidation signals? This is the motivation behind update-based protocols. We will look at the Dragon protocol, initially proposed for Xerox s Dragon multiprocessor, and more recently used in sun SparcServer multiprocessors. This is a four-state protocol, with two of the states identical to those in the four-state invalidation protocol: The E (exclusive) state indicates that a block is in use by a single processor, but has not been modified. The M (modified) state indicates that a block is present in only this cache, and main memory is not up to date. There are also two new states. The Sc (shared-clean) state indicates that potentially two or more caches hold this block, and main memory may or may not be up to date. The Sm (shared-modified) state indicates that potentially two or more caches hold this block, main memory is not up to date, and it is this cache s responsibility to update main memory when the block is purged (i.e., ). A block can be in Sm state in only one cache at a time. However, while a block is in Sm state in one cache, it can be in Sc state in others. Lecture 14 Architecture of Parallel Computers 1

2 It is possible for a block to be in Sc state in some caches without being in Sm state in any cache. In this case, main memory is up to date. Why is there no I (invalid) state? Here is a state-transition diagram for this protocol. PrRd/ PrRd/ BusUpd/Update PrRdMiss/ BusRd(S) E BusRd/ PrWr/ Sc PrRdMiss/ BusRd(S) PrWr/BusUpd(S) BusUpd/Update PrWr/ BusUpd(S) PrWrMiss/ (BusRd(S); BusUpd) Sm BusRd/Flush M PrWrMiss/ BusRd(S) PrRd/ PrWr/BusUpd(S) BusRd/Flush PrWr/BusUpd(S) PrRd/ PrWr/ In diagrams for previous protocols, if a block not in the cache was referenced, we showed the transition as coming out of the I (invalid) state. In this protocol, we don t have an invalid state. So, looking at the diagram above, can you see what is supposed to happen when a referenced block is not in the cache? What happens if there is a read-miss and Lecture 14 Architecture of Parallel Computers 2

3 the shared line is asserted? the shared line is not asserted? What happens if there is a write-miss and the shared line is asserted? the shared line is not asserted? If there s a write-miss and the shared line is asserted, what else happens? Why is only a single word broadcast? Let us first consider the transitions out of the Exclusive state. What happens if this processor reads a word? What happens if this processor writes a word? There is one more transition out of this state. What causes it, and what happens? Now let us consider the transitions out of the Shared-Clean state. What happens if this processor reads a word? What happens if this processor writes a word? Lecture 14 Architecture of Parallel Computers 3

4 There is one more transition out of this state. What causes it, and what happens? Next, let s look at the transitions out of the Shared-Modified state. What happens if this processor reads a word? What happens if this processor writes a word? How many more transitions are there out of this state? What causes the first one, and what happens? What causes the second one, and what happens? Finally, let s look at the transitions out of the Modified state. What happens if this processor reads a word? What happens if this processor writes a word? What happens if another processor reads a word? Let s go through the same example as we did for the 3-state invalidation protocol. Lecture 14 Architecture of Parallel Computers 4

5 P 1 P 2 P 3 u =? u =? u = 7 $ 4 $ 5 $ u:5 u:5 3 1 u:5 2 I/O devices Memory Processor action State in P 1 State in P 2 State in P 3 P 1 reads u P 3 reads u P 3 writes u P 1 reads u P 2 reads u Bus action Data supplied by A three-state update protocol Whenever a bus update is generated, suppose that main memory as well as the caches updates its contents. Then which state don t we need? What s the advantage, then, of having the fourth state? The Firefly protocol, named after a multiprocessor workstation developed by DEC, is an example of such a protocol. Lecture 14 Architecture of Parallel Computers 5

6 Here is a state diagram for the Firefly protocol: V BR CRMx CWHx S BR, BW D BR, BW CWH CWMx Key: CRM CPU read miss CWM CPU write miss CWH CPU write hit BR bus read BW bus write A following a transition means SharedLine was asserted. An x means it was not. Processor-induced transitions Bus-induced transitions CWH CRM, CWM Read hits do not cause state transitions and are not shown. What do you think the states are, and how do they correspond to the states in The scheme works as follows: On a read hit, the data is returned immediately to the processor, and no caches change state. On a read miss, If another cache (other caches) had a copy of the block, it supplies (one supplies) it directly to the requesting cache and raises the SharedLine. The bus timing is fixed so all caches respond in the same cycle. All caches, including the requestor, set the state to shared. If the owning cache had the block in state dirty, the block is written to main memory at the same time. Lecture 14 Architecture of Parallel Computers 6

7 If no other cache had a copy of the block, it is read from main memory and assigned state valid-exclusive. On a write hit, If the block is already dirty, the write proceeds to the cache without delay. If the block is valid-exclusive, the write proceeds without delay and the state is changed to dirty. If the block is in state shared, the write is delayed until the bus is acquired and a write-word to main memory initiated. Other caches pick the data off the bus and update their copies (if any). They also raise the SharedLine. The writing cache can determine whether the block is still being shared by testing this line. On a write miss, If the SharedLine is not asserted, no other cache has a copy of the block. The requesting cache changes to state valid-exclusive. If the SharedLine is asserted, the block remains in state shared. If any other caches have a copy of the block, they supply it. By inspecting the SharedLine, the requesting processor determines that the block has been supplied by another cache, and sets its state to shared. The block is also written to memory, and other caches pick the data off the bus and update their copies (if any). If no other cache has a copy of the block, the block is loaded from memory in state dirty. Lecture 14 Architecture of Parallel Computers 7

8 In update protocols in general, since all writes appear on the bus, write serialization, write-completion detection, and write atomicity are simple. Performance results [ 5.4] What cache line size is performs best? Which protocol is best to use? Questions like these can be answered by simulation. However, getting the answer write is part art and part science. Parameters need to be chosen for the simulator. The authors selected a single-level 4-way set-associative 1 MB cache with 64- byte lines. The simulation assumes an idealized memory model, which assumes that references take constant time. Why is this not realistic? The simulated workload consists of 6 parallel programs from the SPLASH-2 suite and one multiprogrammed workload, consisting of mainly serial programs. Effect of coherence protocol [ 5.4.3] Three coherence protocols were compared: The Illinois MESI protocol ( Ill, left bar). The three-state invalidation protocol (3St) with bus upgrade for S M transitions. (This means that instead of rereading data from main memory when a block moves to the M state, we just issue a bus transaction invalidating the other copies.) The three-state invalidation protocol without bus upgrade (3St-BusRdX). (This means that when a block moves to the M state, we reread it from main memory.) Lecture 14 Architecture of Parallel Computers 8

9 Address bus Data bus Traffic (MB/s) x Barnes/III Barnes/3St Barnes/3St-RdEx LU/III LU/3St LU/3St-RdEx Ocean/III Ocean/3S Ocean/3St-RdEx d l Radiosity/III t Radiosity/3St x Ill t Ex Radiosity/3St-RdEx Radix/III Radix/3St Radix/3St-RdEx Raytrace/III Raytrace/3St Raytrace/3St-RdEx In our parallel programs, which protocol seems to be best? Somewhat surprisingly, the result turns out to be the same for the multiprocessor workload. The reason for this? The advantage of the four-state protocol is that no bus traffic is generated on E M transitions. But E M transitions are very rare (less than 1 per 1K references). Effect of cache line size [ 5.4.4] Recall from Lecture 11 that cache misses can be classified into four categories: Cold misses (called compulsory misses in the previous discussion) occur the first time that a block is referenced. Lecture 14 Architecture of Parallel Computers 9

10 Conflict misses are misses that would not occur if the cache were fully associative with LRU replacement. Capacity misses occur when the cache size is not sufficient to hold data between references. Coherence misses are misses caused by the coherence protocol. Coherence misses can be divided into those caused by true sharing and those caused by false sharing. False-sharing misses are those caused by having a line size larger than one word. Can you explain? Lecture 14 Architecture of Parallel Computers 10

11 True-sharing misses, on the other hand, occur when a processor writes some words into a cache block, invalidating the block in another processors cache, after which the other processor reads one of the modified words. How could we attack each of the four kinds of misses? To reduce capacity misses, we could To reduce conflict misses, we could To reduce cold misses, we could To reduce coherence misses, we could If we increase the line size, the number of coherence misses might go up or down. Why? Increasing the line size has other disadvantages. It increases conflict misses. Why? It increases bus traffic. Why? So it is not clear which line size will work best. Lecture 14 Architecture of Parallel Computers 11

12 0.6 Upgrade False sharing True sharing Capacity Cold Miss rate (%) Barnes/8 Barnes/16 Barnes/32 Barnes/64 Barnes/128 Barnes/256 8 Lu/8 Lu/16 Lu/32 Lu/64 Lu/128 Lu/256 Radiosity/8 Radiosity/16 Radiosity/32 Radiosity/64 Radiosity/128 Radiosity/256 Results for the first three applications seem to show that which line size is best? Lecture 14 Architecture of Parallel Computers 12

13 12 Upgrade 10 8 False sharing True sharing Capacity Cold Miss rate (%) Ocean/8 Ocean/16 Ocean/32 Ocean/64 Ocean/ Ocean/ Radix/8 6 8 Radix/16 Radix/32 Radix/64 Radix/128 Radix/256 Raytrace/8 Raytrace/16 Raytrace/32 Raytrace/64 Raytrace/128 Raytrace/256 For the second set of applications, Radix shows a greatly increasing number of false-sharing misses with increasing block size. However, this is not the whole story. Larger line sizes also create more bus traffic. Lecture 14 Architecture of Parallel Computers 13

14 Address bus Data bus 0 2 Barnes/ Barnes/16 Barnes/32 Traffic (bytes/instructions) Barnes/64 Barnes/128 Barnes/256 Radiosity/8 Radiosity/16 Radiosity/32 Radiosity/64 Radiosity/128 Radiosity/256 Raytrace/8 Raytrace/16 Raytrace/32 Raytrace/64 Raytrace/128 Raytrace/256 With this in mind, which line size would you say is best? Invalidate vs. update [ 5.4.5] Which is better, an update or an invalidation protocol? At first glance, it might seem that update schemes would always be superior to write-invalidate schemes. Why might this be true? Why might this not be true? When there are not many external rereads, When there is a high degree of sharing, For example, in a producer-consumer pattern, Lecture 14 Architecture of Parallel Computers 14

15 Update and invalidation schemes can be combined (see 5.4.5). Let s look at real programs False sharing True sharing Capacity 2.00 Miss rate (%) Cold Miss rate (%) LU/inv LU/upd Ocean/inv Ocean/mix Ocean/upd Raytrace/inv Raytrace/upd Radix/inv Radix/mix Radix/upd Where there are many coherence misses, If there were many capacity misses, So let s look at bus traffic Lecture 14 Architecture of Parallel Computers 15

16 Note that in two of the applications, updates in an update protocol are much more prevalent than upgrades in an invalidation protocol. LU/inv LU/upd 0.00 Upgrade/update rate (%) Each of these operations produces bus traffic; therefore, the update protocol causes more traffic. Ocean/inv Ocean/mix Ocean/upd The main problem is that one processor tends to write a block multiple times before another processor reads it. Raytrace/inv Raytrace/upd This causes several bus transactions instead of one, as there would be in an invalidation protocol. Radix/inv Upgrade/update rate (%) In addition, updates cause problems in nonbus-based multiprocessors. Radix/mix Radix/upd Lecture 14 Architecture of Parallel Computers 16