Semaphore updates

Enabling semaphores with multiple tokens (counting semaphore)