Trình tự giải nén có phải là nguyên tử không?

Question

Trình tự giải nén có phải là nguyên tử không? ví dụ:

(a, b) = (c, d) 

Tôi đang bị ấn tượng là không.

Chỉnh sửa: Tôi có nghĩa là nguyên tử trong ngữ cảnh đa luồng, tức là toàn bộ câu lệnh có thể phân tách được không, như các nguyên tử được sử dụng.

Answer 1

Đây là một hoạt động; biểu thức bên phải được đánh giá trước khi việc chuyển nhượng trái được áp dụng:

>>> 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) 

Hoặc, nếu bạn đang nói về môi trường đa luồng, sau đó phân công là không nguyên tử; người phiên dịch đánh giá một giao tuple với một opcode duy nhất, nhưng sử dụng opcodes riêng biệt để sau đó lưu trữ các kết quả vào mỗi biến ảnh hưởng:

>>> 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   

Tuy nhiên, bình thường assigment sẽ luôn luôn có ít nhất hai opcodes (một cho biểu thức bên phải, một để lưu trữ kết quả), vì vậy trong python nói chung, assigment không phải là nguyên tử. Giải nén trình tự không khác nhau.

Answer 2

Chắc chắn không nguyên tử trong một môi trường đa luồng, kiểm tra bằng cách sử dụng kịch bản sau đây:

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 

Tested sử dụng CPython 2.6, 2.7, và 3.2. Trên mỗi phiên bản, tập lệnh này được in 'Không phải nguyên tử' và đã thoát ngay sau một giây.