reference leak when a JIT trace is rewound

Offen

#157,875 erstellt am 20.9.2026 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 45/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Aktiv
Tech-Stack: c, python
Bereich: compilers

Rechercherichtung

Start by running the supplied Python reproducer with the JIT enabled, then inspect the rewind loop shown in the report and the value-recording RECORD uops. Trace whether the recorded object is released when the trace is rewound; done means gc.collect() allows ref() to return None without regressing JIT behavior.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

type-bug

Bug report

Bug description:

import gc
import sys
import weakref

def run():
    class C:
        def __iter__(self):
            return self
        def __next__(self):
            raise StopIteration

    obj = C()
    for _ in range(10_000):
        for _ in obj:
            pass
    return weakref.ref(C)


ref = run()
gc.collect()
print("jit enabled:", sys._jit.is_enabled())
print("leaked:", ref() is not None)

This looks to be caused by value-recording uop (in the RECORD family) taking a strong reference to an object not being decref'd when traces are rewound

{
            _PyUOpInstruction *curr = uop_buffer_last(trace);
            while (curr->opcode != _SET_IP && uop_buffer_length(trace) > 2) {
                trace->next--;
                curr = uop_buffer_last(trace);
            }
            if (curr->opcode == _SET_IP) {
                int32_t old_target = (int32_t)uop_get_target(curr);
                curr->opcode = _DEOPT;
                curr->format = UOP_FORMAT_TARGET;
                curr->target = old_target;
            }
            goto done;
        }

CPython versions tested on:

CPython main branch

Operating systems tested on:

macOS

Vorherrschende Sprache: Python
Sterne: 77.2k
Forks: 36k
Ø Merge: 1 T. 9 Std.
Gemergte PRs (30 T.): 558

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/cpython

docs: Zipfile contains a 13-years outdated warning regarding path sanitization Offen

docs pending

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

python/cpython#157339 · 10 Kommentare · Erstellt am 11.9.2026
pydoc HTML output is not responsive and has no viewport meta in released versions Offen

stdlib type-feature

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

python/cpython#155601 · 2 Kommentare · Erstellt am 12.8.2026
`zipfile.ZipFile.writestr()` raises `AttributeError` instead of accepting `os.PathLike` objects (e.g. `pathlib.Path`) Offen

stdlib type-feature

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/cpython#153771 · 5 Kommentare · Erstellt am 15.7.2026
BOLT-WARNING: specifying numeric value "1" for option -icf is deprecated Offen

build type-bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/cpython#149708 · 1 Kommentar · Erstellt am 12.5.2026
Expose message ID list from `ReferencesHeader` Offen

stdlib topic-email type-feature

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100

python/cpython#148797 · 3 Kommentare · Erstellt am 20.4.2026

Alle Issues in python/cpython