gh-154916: Fix data race in ga_iter_reduce under free-threading

Misc/NEWS.d/next/Core_and_Builtins/2026-07-30-15-10-00.gh-issue-154916.Kp3nQz.rst

@@ -0,0 +1,3 @@
+Fix a data race in :meth:`!__reduce__` of a shared :class:`types.GenericAlias`
+iterator under the :term:`free-threaded build`. Follow-up to
+:gh:`154043`, which only covered iteration itself.

Objects/genericaliasobject.c

@@ -997,8 +997,19 @@ ga_iter_reduce(PyObject *self, PyObject *Py_UNUSED(ignored))
      * call must be before access of iterator pointers.
      * see issue #101765 */
 
-    if (gi->obj)
-        return Py_BuildValue("N(O)", iter, gi->obj);
+    /* ga_iternext takes gi->obj out with an atomic exchange and then drops the
+     * reference, so a plain read here is not just a data race: the two reads of
+     * gi->obj below could straddle that exchange and hand Py_BuildValue a
+     * pointer whose last reference is already gone. Take a strong reference
+     * once instead. Racing with next() may legitimately observe either the
+     * object or the exhausted iterator; both reductions are correct. */
+#ifdef Py_GIL_DISABLED
+    PyObject *obj = _Py_XGetRef(&gi->obj);
+#else
+    PyObject *obj = Py_XNewRef(gi->obj);
+#endif
+    if (obj != NULL)
+        return Py_BuildValue("N(N)", iter, obj);
     else
         return Py_BuildValue("N(())", iter);
 }
@@ -1030,6 +1041,11 @@ ga_iter(PyObject *self) {
         return NULL;
     }
     gi->obj = Py_NewRef(self);
+#ifdef Py_GIL_DISABLED
+    /* _Py_XGetRef in ga_iter_reduce needs the stored object to be flagged, or
+     * its try-incref cannot succeed from another thread and it would spin. */
+    _PyObject_SetMaybeWeakref(self);
+#endif
     PyObject_GC_Track(gi);
     return (PyObject *)gi;
 }