In Python, is set.pop() threadsafe?
<p>I know that the builtin set type in python is not generally threadsafe, but <a href="http://stackoverflow.com/a/2227228/162094">this</a> answer claims that it is safe to call pop() from two competing threads.  Sure, you might get an exception, but your data isn't corrupted.  I can't seem to find a doc that validates this claim.  Is it true?  Documentation, please!</p>
