Consider further speeding up division by `const`-generic specialization.
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 35/100
- Issue 类型
- 重构
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- rust
- 领域
- performance
调研方向
从 ieee::sig::div 任意精度除法实现入手，检查现有的 "from decimal" 基准测试是否覆盖相关情况。在更改实现之前添加基准测试，然后评估针对常用除数的 const-generic 特化。完成的标准是保持除法行为不变，并且基准测试显示出有意义的速度提升。
由索引模型根据 Issue 内容生成。
描述
The main implementation of the ieee::sig::div "arbitrary-precision division" function could be made into a separate function with a const SPECIALIZE_FOR_KNOWN_DIVISOR: u128 const-generic parameter, which it would use as such:
// The parameter being `0` is like `None` - could use `Option<NonZeroU128>` in the future.
if SPECIALIZE_FOR_KNOWN_DIVISOR != 0 {
assert_eq!(divisor[0], SPECIALIZE_FOR_KNOWN_DIVISOR);
assert!(is_all_zeros(&divisor[1..]));
}
(Hopefully this is enough for the rest of the body to be specialized by LLVM, but it can be further forced if necessary)
Then ieee::sig::div would become a "dispatch" fn, which invokes N+1 different instantiations of the const-generic implementation, for N "commonly used divisors" (10 comes to mind, tho there may be a whole sequence of powers of 5 for the conversion from decimal strings IIRC), and one 0 instantiation (which isn't specialized at all), and because the code still does the same division, we're only relying on the optimizer to actually turn the divisions into multiplications.
Whatever we do to the division algorithm, we shouldn't forget to add benchmarks first (unless the "from decimal" benchmark would cover enough interesting cases).
- 主要语言
- Rust
- 星标
- 23
- 派生
- 18
- 平均合并
- 2 天 13 小时
- 30 天内合并 PR
- 2
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
rust-lang/rustc_apfloat 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 70/100
rust-lang/rustc_apfloat#44 · 3 条评论 ·
-
Overflow flag when result is larget finite value可能已有人在做 @Garfield1002 于 51 天前认领。 未关闭
难度 2/5 1-3 小时 新手友好度 84/100
rust-lang/rustc_apfloat#36 ·
-
难度 4/5 3-5 天 新手友好度 48/100
rust-lang/rustc_apfloat#46 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
rust-lang/rustc_apfloat#20 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rust-lang/rustc_apfloat#14 · 1 条评论 ·
查看 rust-lang/rustc_apfloat 的全部 Issue
相似的 Issue
-
documentation priority:p2 type:chore
难度 2/5 1-3 小时 新手友好度 73/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
facebookincubator/scrut#60 ·
-
dispatch:sol-high documentation
难度 1/5 1-3 小时 新手友好度 85/100
carrick-sh/carrick#768 · 1 条评论 ·
维护者通常 1 天内回复
-
correctness postgres tursopg
难度 2/5 1-3 小时 新手友好度 76/100
tursodatabase/turso#10442 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 82/100
ankitects/anki#5864 · 1 个 reaction ·
维护者通常 2 天内回复