CS 594: Distributed Systems

Spring 2010
Micah Beck instructor

Homework Assignment #1, due 1/29 in class

  1. Explain why each of the safe histories in Figure 5.1 on page 67 of Garg is or is not atomic.
  2. We can modify history (d) in Figure 5.3 on page 69 of Garg by changing the value returned by the first read from 3 to another value x. For what values of x is the resulting history atomic? Explain.
  3. Do problem 5.1 on page 87 of Garg.
  4. Do problem 5.2 on page 87 of Garg.

Homework Assignment #2, due 2/24 in class

  1. Do problems 6.1, 6.8, 7.2, 7.4, 7.8 and 7.10 in Garg.

Homework Assignment #3, due 3/22 in class

  1. Do problems 8.2 and 8.5 in Garg.

Homework Assignment #4, due 4/7 in class

In Garg:
  1. Do problems 9.1, 9.2 (no Java implementation required), and 9.5
  2. Do problems 10.1, 10.3 and 10.5
  3. Do problem 11.3

Homework Assignment #5, due 5/2 by midnight

In Garg:
  1. Do problems 12.5, 13.1, 14.3, 15.2f