The mutex makes guarantees about memory in the same process. It says nothing about side effects beyond that; in this case, it has no effect like triggering a call to
flush() or waiting for the completion of operating system calls.