My guess is the rename must occur immediately or he would have covered it. But even if it doesn't the write and the rename are not correlated so it's still not

My guess is the rename must occur immediately or he would have covered it. But even if it doesn't the write and the rename are not correlated so it's still not safe. e.g. the move does not occur iff the write completes. Is there any way to queue the move as a system call?