CPSC 668: Distributed Algorithms and Systems
Spring 2008
Homework 4
Due: beginning of class on Mon, March 31.
Check course
web page homework section
for more information, especially regarding paper reviews and cover sheet.
Problems:
The numbered exercises are from the textbook.
Do your best to give rigorous proofs of all the results.
- Exercise 13.2
- Exercise 13.9
- Exercise 9.2
- Exercise 9.3
- Exercise 9.5
Paper Review:
- "Specifying Memory Consistency of Write Buffer Multiprocessors,"
L. Higham, L. Jackson, and J. Kawash. in press: ACM Transactions on
Computer Systems.
Available at http://pages.cpsc.ucalgary.ca/~higham/Research/research.php