Re: Unexpected scheduling with mutexes