Today’s readings:

(Lecture 18, Friday 5/8/2015)

• Williams. Chapter 5, §5.2.5: pp. 116; §5.3: pp. 119-126, through sequentially conistent ordering.
• Williams. Chapter 8, pp.267-9. Read the discussion about barriers only.

• Wikipedia entry for Compare and Swap

• For further reading (memory models, optional)
  • (http://www.hpl.hp.com/techreports/2009/HPL-2009-259html.html)[Threads Basics], by Hans-J. Boehm.
  • Memory Models: A Case for Rethinking Parallel Languages and Hardware(http://cacm.acm.org/magazines/2010/8/96610-memory-models-a-case-for-rethinking-parallel-languages-and-hardware/fulltext), by Sarita V. Adve and Hans-J. Boehm, Commun. ACM 53(8): 90-101.
• For further reading on compare and swap (optional)
  • Wait-Free Synchronization, by Morris Herlihy, ACM TOPLAS, 13(1):124-149 (1991).
  • C++11 compare and Exchange
  • CMPXCHG instruction, Intel 64 and IA-32 Architectures Software Developer’s Manual Volume 2A: Instruction Set Reference, A-M, pp. 3-188 through 190.