Design and implementation of a distributed semaphore facility | IEEE Conference Publication | IEEE Xplore