Additional Reading material:
Time, Events and Distributed Locking (Lamport)
NEW
Distribtued Snapshots (Chandy, Lamport)
NEW
Multiprocessor Operating Systems
POSIX Threads
Readers and Writers
Threads explained
FAQ on Threads
Implementing user level threads (actual code)
Papers to Read