Thanks! <br><br><div class="gmail_quote">On Fri, Jun 13, 2008 at 5:40 AM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="Wj3C7c"><br>
</div></div>Yes, those operations are performed atomically when the OS supports it.<br>
<br>
Currently, only the docs for `rename-file-or-directory&#39; mention<br>
atomicity, and in that case to clarify that there&#39;s a race condition on<br>
the check for an existing file --- which corresponds to the fact that<br>
the rename() system call always replaces existing files.<br>
<font color="#888888"><br>
Matthew<br>
<br>
</font></blockquote></div><br>