Michael Greenwald David R. Cheriton The Synergy Between Non-Blocking Synchronization and Operating System Structure. 123-136 1996 OSDI db/conf/osdi/osdi96.html#GreenwaldC96