home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / arch / 11569 < prev    next >
Encoding:
Text File  |  1992-12-11  |  3.5 KB  |  70 lines
  1. Newsgroups: comp.arch
  2. Path: sparky!uunet!europa.asd.contel.com!howland.reston.ans.net!wupost!cs.utexas.edu!newsfeed.rice.edu!rice!medea.cs.rice.edu!retrac
  3. From: retrac@medea.cs.rice.edu (John Carter)
  4. Subject: Re: IBM's FIRST RISC System/6000(tm) based Shared Memory Parallel Processor
  5. Message-ID: <Bz41xs.3w8@rice.edu>
  6. Keywords: mp shared-memory parallel multiprocessor risc smp
  7. Sender: news@rice.edu (News)
  8. Organization: Rice University, Houston
  9. References: <lifvl6INNan3@exodus.Eng.Sun.COM>
  10. Date: Fri, 11 Dec 1992 19:53:51 GMT
  11. Lines: 57
  12.  
  13. In article <lifvl6INNan3@exodus.Eng.Sun.COM> chased@rbbb.Eng.Sun.COM (David Chase) writes:
  14. >
  15. >I've had this nagging suspicion for about a year that people building
  16. >MP's were working awfully hard to maintain coherency where it just
  17. >didn't matter.  Given that most of the programming languages tell you
  18. >to lock your data if it is shared, the "we're guarding against this"
  19. >examples always looked like buggy programs to me.  People have been
  20. >working on this at Rice, I know, and at least one other place that I
  21. >cannot recall right now.
  22.  
  23. There's been quite a bit of work on relaxed forms of consistency that
  24. "force" programmers to use appropriate synchronization (locks,
  25. barriers, whatever) to ensure correctness, and in return promise to
  26. significantly reduce the amount of unnecessary communications imposed
  27. by the sequential consistency (or "strong" consistency) model.  Some
  28. examples are the work on weak consistency done at USC by Scheurich and
  29. Dubois and the work on release consistency from Stanford's DASH
  30. project by Gharachorloo, et al.  Note that the Alpha incorporates
  31. hooks to support relaxed consistency models.  This is far from new
  32. stuff, at least in the research community.  Expect the next generation
  33. of shared memory multiprocessors (at least the ones larger than four
  34. or so processors) to incorporate these ideas.
  35.  
  36. >        Data Merging for Shared-Memory Multiprocessors
  37. >        ---------------------------------------------
  38. >                <person working at>, IBM
  39. >
  40. >We describe an efficient software cache consistency mechanism for shared
  41. >memory multiprocessors that supports multiple writers and works for
  42. >cache lines of any size.  Our mechanism relies on the fact that, for a
  43. >correct program, only the global memory needs a consistent view of the
  44. >shared data between synchronization points.  Our delayed consistency
  45. >mechanism allows arbitrary use of data blocks between synchronizations.
  46.  
  47. Sounds like something I published at SOSP (Symposium on Operating
  48. Systems Principles) last year.  The write-shared protocol of the Munin
  49. distributed shared memory system supports multiple concurrent writers
  50. to the same block of data (page or object, depending on how you're
  51. looking at things).  Munin uses as its memory model the release
  52. consistency model, although it uses it in a novel way to support the
  53. delaying and merging of updates and thus allow multiple concurrent
  54. writers to shared data.  Does wonders towards eliminating the effects
  55. of false sharing.
  56.  
  57. For details on the write-shared and other protocols of Munin, you can
  58. look in the proceedings of the 13th SOSP for "Implementation and
  59. Performance of Munin".  More details and a lot more performance
  60. numbers are in my dissertation, which will be available within a
  61. month.
  62.  
  63. [I doubt that I am the person at Rice to whom David was referring.
  64. The compiler group has started looking into these issues as well.]
  65.  
  66. -- 
  67. John Carter  -*-  Rice University Computer Systems Lab  -*-  retrac@rice.edu
  68.  
  69. Thesis hacking Owl, soon to be Ute.  Move over Salt Lake, here he comes!
  70.