`list.sort` enhancement proposal: Adaptivity for `binarysort`
未关闭
@tim-one 已经在做这个了。
开始于 2025年9月16日。
interpreter-core
performance
type-feature
- 主要语言
- Python
- 星标
- 77.2k
- 派生
- 35.9k
- PR 合并指标
- PR 指标待抓取
描述
Feature or enhancement
Proposal:
Adding adaptivity to binarysort routine of list.sort.
See PR for specifics.
Initial Post (Outdated)
Note:
- This is POC that this has a observable impact.
- This is subject to further calibration and optimizations, but high level concept is dicusable.
- Will issue PR shortly.
Rationale
Galloping provides adaptivity when merging runs.
However, underlying binarysort always does O(nlogn).
Concept
The concept is simple:
binarysortoptionally does adaptive routine.- It has a mechanism to switch it off during the run and go to simple binarysort
- It returns 1 if it has completed full data with binary routine and 0 otherwise
timsortcallsbinarysort- If it returns 1, then use it again next time
- If it returns 0, then use
binarysortwithout adaptivity next time - increase number of simple
binarysortruns before next attempt of adaptive run with every 0 returned
High level results
A0is currentA1is with adaptivityPmeans performance / runtimeCmeans comparison count- Aggregate numbers for all datasets combined are in the title
- Plain integers and floats
- Integers and floats wrapped in
list, so comparisons are__lt__calls, thus more expensive
So the benefit is higher when comparisons cost more.
But there is some benefit for optimized comparisons as well.
Has this already been discussed elsewhere?
I have already discussed this feature proposal on Discourse
Links to previous discussion of this feature:
https://discuss.python.org/t/sorting-adaptivity-improvement/103700
Linked PRs
- gh-138947
- gh-139342
- gh-139969
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
评估
这个 Issue 还没有评估数据。