gh-156910: Add free-threading regression test for type_set_abstractmethods() deadlock

Author: davidwelling2

Lib/test/test_free_threading/test_type.py

@@ -1,3 +1,6 @@
+import abc
+import collections.abc
+import gc
 import threading
 import unittest
 
@@ -401,6 +404,41 @@ class B(A):
         with threading_helper.start_threads(threads):
             pass
 
+    def test_abstractmethods_and_register(self):
+        # gh-156910: creating an ABC sets __abstractmethods__ and
+        # Sequence.register() sets type flags recursively.  Both stop the
+        # world while holding the type lock.  type_set_abstractmethods() did
+        # not pin the type lock, so it could be released while waiting for
+        # the stop-the-world mutex and then deadlock re-acquiring it.  The
+        # gc.collect() thread adds contention on the stop-the-world mutex,
+        # which is needed to hit the deadlock.
+        done = threading.Event()
+
+        def make_abcs():
+            for _ in range(ITERS):
+                class C(abc.ABC):
+                    @abc.abstractmethod
+                    def f(self):
+                        pass
+
+        def register():
+            for _ in range(ITERS):
+                collections.abc.Sequence.register(type("S", (), {}))
+
+        def collect():
+            while not done.is_set():
+                gc.collect()
+
+        workers = [Thread(target=make_abcs) for _ in range(NTHREADS)]
+        workers += [Thread(target=register) for _ in range(NTHREADS)]
+        collector = Thread(target=collect)
+        with threading_helper.start_threads([collector]):
+            try:
+                with threading_helper.start_threads(workers):
+                    pass
+            finally:
+                done.set()
+
     def test_class_creation_with_concurrent_setattr(self):
         # Creating a class resolves its slots from the dicts along the MRO
         # while holding the type lock, before the class is reachable from

Misc/NEWS.d/next/Tests/2026-11-02-16-28-30.gh-issue-156910.wGcXXy.rst

@@ -0,0 +1,2 @@
+Add a free-threading regression test for the deadlock between creating an
+abstract base class and :meth:`ABCMeta.register <abc.ABCMeta.register>`.