如何验证一步是python中的原子操作还是现在

Question

操作就像a,b=1,2原子一样吗？

我的问题的一些背景:我正在处理信号.这是从一些外部过程中提出来的.在这里,我想避免在设置之间捕获信号的情况a=1 and b=2.有没有办法实现这个目标？

有没有办法检查给定的步骤是否是原子的？

Answer 1

它不是原子的,因为它需要多个字节码指令来分​​配多个名称,并且不需要很长时间才能通过实验确认:

import signal

a = 1
b = 2

def handler(sig, trace):
    print a, b

def main():
    global a, b
    signal.signal(signal.SIGINT, handler)
    while True:
        a, b = 3, 4
        a, b = 1, 2

if __name__ == '__main__':
    main()

$ python atom.py
^C3 4
^C3 4
^C1 2
^C1 2
^C3 4
^C1 2
^C1 2
^C1 2
^C1 2
^C1 4 <<<< inconsistent state

在这种特殊情况下,如果您希望以原子方式更改两个值,则可以通过赋值给元组并在信号处理程序中访问其元素.看看反汇编:

>>> a = 1
>>> b = 2
>>> c = (1, 2)
>>> def foo():
...     global a, b
...     a, b = 1, 2
... 
>>> def bar():
...     global c
...     c = (1, 2)
... 
>>> dis.dis(foo)
  3           0 LOAD_CONST               3 ((1, 2))
              3 UNPACK_SEQUENCE          2
              6 STORE_GLOBAL             0 (a)
              9 STORE_GLOBAL             1 (b)
             12 LOAD_CONST               0 (None)
             15 RETURN_VALUE        
>>> dis.dis(bar)
  3           0 LOAD_CONST               3 ((1, 2))
              3 STORE_GLOBAL             0 (c)
              6 LOAD_CONST               0 (None)
              9 RETURN_VALUE        

无论值多么复杂,对变量(或dict条目或对象字段)的赋值都是单个原子存储操作.