Является ли python dict.pop атомом?

Question

Разумно полагать, что dict.pop работает атомарно, так как он повышает KeyError если указанный ключ отсутствует, и не предоставляется по умолчанию, например, так:

d.pop(k) 

Однако, документация не представляется конкретно решить эту точку , по крайней мере, не в разделе, специально документирующем dict.pop.

Этот вопрос мне пришло в голову, когда я просматривал an answer of mine, который использовал этот шаблон:

if k in d: del d[k] 

В то время я не думал о потенциальном условии, что ключ может присутствовать во время if, но не на момент del. Если dict.pop действительно представляет собой атомную альтернативу, то я должен отметить это в своем ответе.

Answer 1

Для типа по умолчанию dict.pop() является вызовом функции C, а это значит, что оно выполнено с помощью одного оценки байт-кода. Это делает этот вызов атомарным.

Нити Python переключаются только тогда, когда цикл оценки байт-кода позволяет им, поэтому на границах байт-кода. Некоторые функции Python C переходят в код Python (думаю, __dunder__ специальные крючки метода), но метод dict.pop() не имеет, по крайней мере, не для типа dict по умолчанию.

Answer 2

Фактически dict.pop() не является атомарным. Например, если вы используете объект в качестве ключа dict, Python должен вызывать реализацию __hash __() объекта. Но вы можете использовать dict.popitem() вместо этого, который поистине атомный.