GeezerVison

This draft reports memory retained after embedded interpreter teardown and OS-thread exit. The focus is repeated creation and shutdown of interpreters, rather than memory growth during continued execution in one long-lived interpreter. It includes small reproducers, allocation measurements, and candidate fixes to help maintainers investigate the teardown ownership problems and choose an appropriate solution.

The measured lifecycle is: create an interpreter on a dedicated OS thread, execute a small workload, destroy the interpreter, let the thread exit, join it, then sample memory. Interpreter teardown releases the interpreter-owned state; OS-thread exit also destroys its thread-local freelists. Both parts of that shutdown lifecycle matter here.

Please review the leak locations and reproducers first. The implementation here is exploratory, especially the freelist lifecycle change; its design would benefit from maintainer review before considering it for merge.

Observed problems

The GC snippets isolate ownership edges that can keep object graphs alive after interpreter teardown. The slice snippet isolates a reference retained by a cached payload; allocation scans separately demonstrate payload buffers surviving OS-thread exit. These focused snippets use explicit collection to reproduce the ownership defects without a full embedding harness. Each fails on unpatched main (7536730ed6afb948ffa335fc113a0fcd9af0cdbf) and passes under CPython 3.14 and the candidate patch:

• extra_tests/snippets/stdlib_gc_function_builtins.py
• extra_tests/snippets/stdlib_gc_member_descriptor.py
• extra_tests/snippets/stdlib_gc_weakref_callback.py
• extra_tests/snippets/stdlib_gc_slice_payload.py

For example, run cargo run -- extra_tests/snippets/stdlib_gc_slice_payload.py. Deleting a slice should release its stop argument; the weakref assertion demonstrates that the cached payload retains it instead.

Candidate approach

The GC changes report the omitted strong-reference edges. Weakref callbacks are visited under the existing stripe lock while referents remain weak.

For freelists, the patch destroys payloads before publishing cached entries, while thread-local deallocation state is available. Reuse writes a fresh payload, and thread teardown releases only the remaining header/allocation using its complete layout. Custom freelists such as the MemoryError pool preserve their initialized-payload contract.

This is intended to respect the reason for skipping destructors during TLS teardown. It also changes when payload destruction occurs and adds a payload-state contract to freelist reuse. Maintainers may prefer a different ownership or cleanup design; the reproducers and measurements should be useful independently of that choice.

Measurements and validation

Across repeated interpreter creation/shutdown cycles, RSS sampled after the interpreter was destroyed and its thread joined originally grew about 1.72 MiB per cycle. With all candidate fixes, a 1,000-cycle run has a tail RSS slope of about 0.0044 MiB/cycle. RSS includes reachable allocations and allocator retention, so this is not a claim of zero memory growth.

Before the freelist change, macOS leaks --atExit --noContent reported 372,640 leaked bytes after ten bare interpreter creation/shutdown cycles and 410,144 bytes after ten creation/shutdown cycles in an embedding harness. With the complete patch, scans report zero leaked blocks/bytes across 100 bare interpreter creation/shutdown cycles, 100 JSON-workload interpreter creation/shutdown cycles in the embedding harness, and additional object and native-call workloads. These are workload-specific results using an optimized RustPython dependency in a dev-profile embedding binary.

• Rust workspace tests and doctests: 1,346 passed, 18 ignored.
• Separately configured C API tests: 116 passed, 4 ignored.
• Release test_gc and test_weakref: 194 tests run, 28 skipped; both modules pass.
• Python snippets: 471 passed, 17 failed. The exact same 17 failures were reproduced individually against unpatched main. Existing tests were not changed or disabled.
• Workspace and separate C API Clippy checks, and pre-commit hooks, pass.

AI assistance: Codex (GPT-6) investigated the ownership graph, wrote the candidate changes and regression tests, and ran the checks. This draft is prepared for the contributor's review; no human review or human-use verification is claimed yet.