Skip to content

gh-140138: NOGIL: add atomic owner refcount to PyInterpreterState; finalize on last tstate#140224

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
ashm-dev wants to merge 11 commits into from
Closed

gh-140138: NOGIL: add atomic owner refcount to PyInterpreterState; finalize on last tstate #140224

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
115e4d2
fix tsan
ashm-dev Oct 16, 2025
b58d4a1
add blurb
ashm-dev Oct 16, 2025
55b5fe4
Reorder and add `_owners` field
ashm-dev Oct 16, 2025
2aba8ba
Fix typo in interpreter owner atomic variable
ashm-dev Oct 16, 2025
2690fac
Fix news
ashm-dev Oct 16, 2025
e6ff33e
Rename interpreter cleanup functions
ashm-dev Oct 16, 2025
47e51d7
Refactor interpreter cleanup
ashm-dev Oct 16, 2025
37ccb72
Rename _owners to owners in interp struct
ashm-dev Oct 16, 2025
e5c1336
fix
ashm-dev Oct 16, 2025
d08a093
Stop setting `interp->finalizing`
ashm-dev Oct 16, 2025
5001c54
Merge remote-tracking branch 'upstream/main' into gh-140138
ashm-dev Oct 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Include/internal/pycore_interp_structs.h
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -965,6 +965,7 @@ struct _is{
# endif
#endif

Py_ssize_t owners;
/* the initial PyInterpreterState.threads.head */
_PyThreadStateImpl _initial_thread;
// _initial_thread should be the last field of PyInterpreterState.
Expand Down
1 change: 1 addition & 0 deletions Misc/NEWS.d/next/Core_and_Builtins/2025-10-16-20-06-33.gh-issue-140138.a_fhrh.rst
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
Fix a TSAN-reported data race and potential use-after-free when shutting down a subinterpreter with running daemon threads in free-threaded (NOGIL) builds.
18 changes: 15 additions & 3 deletions Python/pystate.c
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -488,6 +488,15 @@ free_interpreter(PyInterpreterState *interp)
}
}

static inline void
release_interp_owner(PyInterpreterState *interp)
{
Py_ssize_t prev = _Py_atomic_add_ssize(&interp->owners, -1);
if (prev == 1){
free_interpreter(interp);
}
}

#ifndef NDEBUG
static inline int check_interpreter_whence(long);
#endif
Expand DownExpand Up@@ -537,6 +546,7 @@ init_interpreter(PyInterpreterState *interp,
interp->id = id;

interp->id_refcount = 0;
interp->owners = 1;

assert(runtime->interpreters.head == interp);
assert(next != NULL || (interp == runtime->interpreters.main));
Expand DownExpand Up@@ -960,10 +970,8 @@ PyInterpreterState_Delete(PyInterpreterState *interp)
HEAD_UNLOCK(runtime);

_Py_qsbr_fini(interp);

_PyObject_FiniState(interp);

free_interpreter(interp);
release_interp_owner(interp);
}


Expand DownExpand Up@@ -1427,6 +1435,8 @@ free_threadstate(_PyThreadStateImpl *tstate)
else{
PyMem_RawFree(tstate);
}

release_interp_owner(interp);
}

static void
Expand DownExpand Up@@ -1553,6 +1563,8 @@ new_threadstate(PyInterpreterState *interp, int whence)
uint64_t id = interp->threads.next_unique_id;
init_threadstate(tstate, interp, id, whence);

_Py_atomic_add_ssize(&interp->owners, 1);

// Add the new thread state to the interpreter.
PyThreadState *old_head = interp->threads.head;
add_threadstate(interp, (PyThreadState *)tstate, old_head);
Expand Down
Loading