Improving GC collections: dynamic thresholds, single generation gc and time barriers

In the pursuit of trying to optimize GC runs it has been observed that the weak generational hypothesis may not apply that well to Python. This is because, according to this argument, in the presence of a mixel cycle GC + refcount GC strategy, young objects are mostly cleaned up by reference count, not by the GC. Is important as well that there is no segregation between the GC strategies and that the cycle GC needs to deal with objects that according to this will be mainly cleaned up by reference count alone.

This questions the utility of segregating GC by generations and indeed there is some evidence of this. I have been benchmarking the percentage of success of different generations in some programs (such as blach and mypy and a bunch of HTTP servers) and the success rate of the lower generations is generally small. Here is an example of running black over all the standard library:

Statistics for generation 0

Statistics for generation 1

Statistics for generation 2

I am currently investigating if having a single generation with a dynamic threshold that is similar to the strategy that we use currently for the last generation would be generally better to get better performance.

What do you think?

Linked PRs

• gh-100958

まず、この issue にあるベンチマークの観察結果と、リンクされている PR gh-100958 を確認してください。提案されている作業は、現在の世代戦略と、単一世代および動的なしきい値を比較することです。完了には、パフォーマンス結果に裏付けられた方針を決定する必要がありますが、ここでは具体的なファイルやテストは指定されていません。