Currently all references to objects in frameobjects use_PyStackRef instead ofPyObject *.
This is necessary for the free-threaded build to support deferred references.

For the default build_PyStackRef is just an alias forPyObject *.
We should change_PyStackRef to use proper tagged pointers in the default build for two important reasons:

• It will reduce the maintenance burden of using tagged pointers if they were the same in both builds
• It offers a lot of optimization potential. The overhead of reference counting operations is large, and tagged pointers will allow us to reduce that overhead considerably.

My initial implementation is0.8% slower, although I'd like to get that closer to 0 before merging anything. There is some speedup in the GC due to streamlined immortality checks, and some slowdown due to increased overhead of turning newPyObject * references into_PyStackRefs.

This small slowdown will allow us a large speedup (maybe more than 5%) as we can do the following:

• Reduce the overhead of refcount operations by using tagged references for the majority ofLOAD_ instructions in the interpreter.
• Completely eliminate many decref operations by tracking which references are tagged in the JIT.

The tagging scheme:

This tagging scheme is chosen as it provides the best performance for the most common operations:

• PyStackRef_DUP: Can check to see if the object's reference count needs updating with a single check and no memory read:ptr & 1
• PyStackRef_CLOSE: As for PyStackRef_DUP, only a single bit check is needed
• PyStackRef_XCLOSE: SinceNULL is treated as immortal and tagged, this is the same as PyStackRef_CLOSE.

Maintaining the invariant that tag11 is used for all immortal objects is a bit expensive, but can be mitigated by pushing the conversion fromPyObject * to_PyStackRef down to a point where it is known whether an object is newly created or not.
For newly created objectsPyStackRef_FromPyObjectStealMortal can be used which performs no immortality check.

1. Actually, any object that was immortal when the reference was created. References to objects that are made immortal after the reference is created would have the low bits set to00, or01. This is OK as immortal refcounts have a huge margin of error and the number of possible references to one of these immortal objects is very small.

Linked PRs

• GH-127705: Use_PyStackRefs in the default build. #127875
• GH-127705: Add debug mode for_PyStackRefs inspired by HPy debug mode #128121
• GH-127705: better double free message. #130785
• GH-127705: Check for immortality in refcount accounting #131072
• GH-127705: Fix _Py_RefcntAdd to handle objects becoming immortal #131140
• GH-127705: Handle trace refs in specialized decref #131198
• GH-127705: Adds the missing bits from #131198 #131365
• GH-127705: Revert "Move mortal decrefs to internal header and make sure _PyReftracerTrack is called" #131500
• GH-127705: Don't call _Py_ForgetReference before _Py_Dealloc #131508
• gh-127705: Move Py_INCREF_MORTAL() to the internal C API #136178
• [3.14] gh-127705: Move Py_INCREF_MORTAL() to the internal C API (GH-136178) #136206