home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / arch / 8230 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  2.1 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!hobbes.physics.uiowa.edu!news.uiowa.edu!ns-mx!pyrite.cs.uiowa.edu
  2. From: jones@pyrite.cs.uiowa.edu (Douglas W. Jones,201H MLH,3193350740,3193382879)
  3. Newsgroups: comp.arch
  4. Subject: Re: Cache Coherence
  5. Message-ID: <13292@ns-mx.uiowa.edu>
  6. Date: 23 Jul 92 16:31:50 GMT
  7. References: <1992Jul23.140423@riese.informatik.uni-frankfurt.de>
  8. Sender: news@ns-mx.uiowa.edu
  9. Lines: 42
  10.  
  11. From article <1992Jul23.140423@riese.informatik.uni-frankfurt.de>,
  12. by feivel@riese.informatik.uni-frankfurt.de (Christine Gross):
  13. > 
  14. > Can anybody give me information about caches and methods to get cache
  15. > coherence ?
  16.  
  17. Plenty has been written, but here's an outline of the basic snoopy cache
  18. protocol:
  19.  
  20. Consider a memory bus with two or more processors plugged into it.  Each
  21. processor has a local write-through cache.  This leads to incoherency.
  22. To fix the problem, additional logic is added to "snoop" on the bus.  This
  23. logic listens to all write transitions from other bus clients, and if it
  24. detects a write to word X in memory, it invalidates any copy of word
  25. X in the local cache.
  26.  
  27. Now, consider what happens when the following code executes on two
  28. processors on this machine:
  29.  
  30.     Process A                Process B
  31.  
  32.      repeat                   stuff
  33.        stuff                  flag = 1
  34.      until flag = 1
  35.  
  36. If the flag is initially 0 and neither process has a cached copy of the
  37. flag, and if Process A starts polling the flag before process B finishes
  38. doing other stuff, then process A will use one bus cycle to get a copy
  39. of the flag into its local cache, and then all further polling of flag
  40. will involve no more bus cycles until some process changes the value
  41. of flag.  At that point, only one bus cycle is needed for Process A to
  42. find the new value.
  43.  
  44. Thus, with this simple snooping cache protocol, busy waiting for a
  45. variable to change its value does not create memory contention.
  46.  
  47. Commercial shared memory machines such as those made by Encore generally
  48. seem to have more interesting protocols than that described here, but
  49. they all seem to follow this spirit.
  50.                     Doug Jones
  51.                     jones@cs.uiowa.edu
  52. more int
  53.