trying to use all the mutex locks now, one for each phil