Separate the lectures for mutexes and for asynchronous operations