simplify semaphore alley using only one waiting semaphore and update spin file