[FrontPage] [TitleIndex] [WordIndex

Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

Solutions to HW05: hw5-solutions.pdf

1. Snapshots

Do Exercise 13.11 from LynchBook.

2. Snapshots and consensus

Do Exercise 13.18 from LynchBook.

3. Fetch-and-permute objects and consensus

A fetch-and-permute object of size k (FAPk) has as its state a permutation of the integers {1,...,k}, and supports k! distinct operations FAP(π), one for each permutation π, where each such operation replaces the old state s with π(s) and returns the old state. Prove the best upper and lower bounds you can on the consensus number of a fetch-and-permute object as a function of k, where the consensus number for the purposes of this problem is defined as the maximum number of processes n for which it is possible to solve wait-free consensus using any number of FAPk objects and any number of registers.


2014-06-17 11:58