Added comparison between paper approach and our approach.
Added (incomplete) paper writeup.
Added user-level examples of using futexes to implement more advanced atomic devices.