On Implementing Semaphores with Sets