Pythonでは、set.pop（）はthreadsafeですか？

Question

私は、Pythonの組込み型は一般にスレッドセーフではないことを知っていますが、thisは、競合する2つのスレッドからpop（）を呼び出すことは安全だと主張しています。もちろん、例外が発生する可能性がありますが、データは破損していません。この主張を検証する文書を見つけることができないようです。本当ですか？ドキュメンテーション、してください！

Answer 1

set.pop method in the CPython sourceを見ると、GILがリリースされないことがわかります。

これは、CPythonプロセス内で一度に1つしか発生しないことを意味します。つまり、set.popは1度に発生します。

set.pop checks if the set is empty以降、空のセットからポップしようとすると、IndexError以外は何も起こりません。

いいえ、CPythonを使用して複数のスレッドのセットからデータを破棄することはできません。

Answer 2

2つのスレッドが同じ値をポップできないという意味で、アトミックであるために「ポップ」操作がスレッドセーフであると考えています。

たとえば、別のスレッドがそのコレクションを反復していると、その動作に依存しません。

いずれの具体的なドキュメントも見つかりませんでしたが、この方向を指すトピックがいくつかあります。 Pythonの公式文書は実際にこの種の情報に役立ちます。