Ist Sequenz entpackt Atom?

Question

Ist Sequenz entpackt Atom? Beispiel:

(a, b) = (c, d) 

Ich bin unter dem Eindruck, es ist nicht.

Edit: Ich meinte Atomarität im Zusammenhang mit Multi-Threading, d. H. Ob die gesamte Aussage unteilbar ist, wie Atome früher waren.

Answer 1

Es ist eine Operation; der rechte Ausdruck ausgewertet wird, bevor die linke Zuordnung angewandt wird:

>>> a, b = 10, 20 
>>> a, b 
(10, 20) 
>>> b, a = a, b 
>>> a, b 
(20, 10) 
>>> a, b = a*b, a/b 
>>> a, b 
(200, 2) 

Oder, wenn Sie Multi-Threaded-Umgebungen zu sprechen sind über, dann ist die Zuordnung nicht Atome; der Interpreter wertet eine Tupel Zuordnung mit einem einzigen Operationscode, sondern verwendet separaten Opcodes, um dann die Ergebnisse in jede betroffenen Variablen zu speichern:

>>> def t(self): a,b=20,20 
... 
>>> dis.dis(t) 
    1   0 LOAD_CONST    2 ((20, 20)) 
       3 UNPACK_SEQUENCE   2 
       6 STORE_FAST    1 (a) 
       9 STORE_FAST    2 (b) 
      12 LOAD_CONST    0 (None) 
      15 RETURN_VALUE   

jedoch normale assigment immer mindestens zwei Opcodes sein würde (ein für der rechte Ausdruck, einer zum Speichern des Ergebnisses), so in Python im Allgemeinen Assigment ist nicht atomar. Sequenz Entpacken ist nicht anders.

Answer 2

Definitiv Atom nicht in einer Multi-Threaded-Umgebung getestet, um die folgenden Skript:

import threading 

a, b = 10, 10 
finished = False 
def thr(): 
    global finished 
    while True: 
     # if sequence unpacking and assignment is atomic then (a, b) will always 
     # be either (10, 10) or (20, 20). Could also just check for a != b 
     if (a, b) in [(10, 20), (20, 10)]: 
      print('Not atomic') 
      finished = True 
      break 

t = threading.Thread(target=thr) 
t.start() 

while True: 
    for i in range(1000000): 
     a, b = 20, 20 
     a, b = 10, 10 
    if finished: 
     t.join() 
     break 

Verwendung Getestete CPython 2.6, 2.7 und 3.2. Auf jeder Version druckte dieses Skript "Nicht atomar" und verschwand in weniger als einer Sekunde.