Some doubts on MUTEX