gh-145142: Make str.maketrans safe under free-threading

Lib/test/test_free_threading/test_str.py

@@ -69,6 +69,22 @@ def reader_func():
         for reader in readers:
             reader.join()
 
+    def test_maketrans_dict_concurrent_modification(self):
+        for _ in range(5):
+            d = {2000: 'a'}
+
+            def work(dct):
+                for i in range(100):
+                    str.maketrans(dct)
+                    dct[2000 + i] = chr(i % 16)
+                    dct.pop(2000 + i, None)
+
+            threading_helper.run_concurrently(
+                work,
+                nthreads=5,
+                args=(d,),
+            )
+
 
 if __name__ == "__main__":
     unittest.main()

Misc/NEWS.d/next/Core_and_Builtins/2026-02-23-23-18-28.gh-issue-145142.T-XbVe.rst

@@ -0,0 +1,2 @@
+Fix a crash in the free-threaded build when the dictionary argument to
+:meth:`str.maketrans` is concurrently modified.

Objects/unicodeobject.c

@@ -13155,34 +13155,41 @@
             goto err;
         }
         /* copy entries into the new dict, converting string keys to int keys */
+        Py_BEGIN_CRITICAL_SECTION(x);
         while (PyDict_Next(x, &i, &key, &value)) {
             if (PyUnicode_Check(key)) {
                 /* convert string keys to integer keys */
                 PyObject *newkey;
                 if (PyUnicode_GET_LENGTH(key) != 1) {
                     PyErr_SetString(PyExc_ValueError, "string keys in translate "
                                     "table must be of length 1");
-                    goto err;
+                    goto error;
                 }
                 kind = PyUnicode_KIND(key);
                 data = PyUnicode_DATA(key);
                 newkey = PyLong_FromLong(PyUnicode_READ(kind, data, 0));
                 if (!newkey)
-                    goto err;
+                    goto error;
                 res = PyDict_SetItem(new, newkey, value);
                 Py_DECREF(newkey);
                 if (res < 0)
-                    goto err;
+                    goto error;
             } else if (PyLong_Check(key)) {
                 /* just keep integer keys */
                 if (PyDict_SetItem(new, key, value) < 0)
-                    goto err;
+                    goto error;
             } else {
                 PyErr_SetString(PyExc_TypeError, "keys in translate table must "
                                 "be strings or integers");
-                goto err;
+                goto error;
             }
         }
+        goto done;
+    error:
+        Py_CLEAR(new);
+    done:
+        Py_END_CRITICAL_SECTION();
+        return new;
     }
     return new;
   err: