It isn't possible to temporarily resurrect objects safely in the Py3.15t limited API

Bug report

Bug description:

In Cython we do something like

Py_SET_REFCNT(o, Py_REFCNT(o) + 1);
// Run user implemented deallocation code
Py_SET_REFCNT(o, Py_REFCNT(o) - 1);

The reason for this is that we don't want any refcounting (e.g. of temps) within the user code to accidentally trigger a recursive call to dealloc (the user code really shouldn't resurrect the object and it's their own problem if they do, but it is reasonable for it to generate temporaries, which may well be out of their control anyway).

This turns out not to be thread-safe in the freethreaded build because it makes TryIncRef succeed. Outside the limited API it's possible to fix by manual access to the reference count, but obviously not inside the limited API.

It would be nice to have a way of to avoid this.

• Most convenient would be to properly access _PyObject_ResurrectStart and _PyObject_ResurrectEnd.
• The other thing that could work is some way to defer the deallocation until the next GC cycle (when I think any TryIncRefs would have fall out of scope anyway). I suspect I could manually arrange to do that, although it feels fragile, possibly relies on the GC being single-threaded, and which I haven't tested (so may not work...)

CPython versions tested on:

3.15

Operating systems tested on:

No response

先檢視此處所述與參照計數復活及 free-threaded TryIncRef 行為相關的 limited-API 介面範圍，接著將其與 _PyObject_ResurrectStart、_PyObject_ResurrectEnd 以及 Cython issue #7769 進行比較。完成的標準是定義一種執行緒安全的 limited-API 機制，避免在使用者解構程式碼期間進行不安全的暫時復活。