Renamed all semaphore variables from sem_p* to mut_* to reflect what these semaphores really are -- mutexes