Baowen Xu Tagged Semaphores. 11-15 2000 34 Operating Systems Review 3 db/journals/sigops/sigops34.html#Baowen00