Para algunos, código simple relacionado con subprocesos, es decir:
import threading a = 0 threads = [] def x(): global a for i in range(1_000_000): a += 1 for _ in range(10): thread = threading.Thread(target=x) threads.append(thread) thread.start() for thread in threads: thread.join() print(a) assert a == 10_000_000
Obtuvimos un comportamiento diferente, basado en la versión de Python.
Para 3.10, la salida es:
❯ python3.10 b.py 10000000
Para 3.9, la salida es:
❯ python3.9 b.py 2440951 Traceback (most recent call last): File "/Users/romka/t/threads-test/b.py", line 24, in <module> assert a == 10_000_000 AssertionError
Como no adquirimos ningún bloqueo, para mí, los resultados de 3.9 son obvios y esperados. La pregunta es por qué y cómo 3.10 obtuvo resultados "correctos", mientras que no debería.
Estoy revisando el registro de cambios para Python 3.10 y no hay nada relacionado con subprocesos o GIL que pueda generar tales resultados.
Una respuesta de un desarrollador principal :
Consecuencia no deseada del cambio de Mark Shannon que refactoriza el envío rápido del código de operación: https://github.com/python/cpython/commit/4958f5d69dd2bf86866c43491caf72f774ddec97 -- el código de operación INPLACE_ADD ya no usa la ruta de envío "lenta" que busca interrupciones y demás.