Fixed: semaphore_up was not incrementing value and not releasing owner