JIT does not emit trampolines for jumps to addresses encoded as operands
未关闭
还没有人认领这个 Issue。
interpreter-core
topic-JIT
type-bug
- 主要语言
- Python
- 星标
- 77.2k
- 派生
- 35.9k
- PR 合并指标
- PR 指标待抓取
描述
Bug report
Bug description:
We need to declare variables volatile here and in https://github.com/python/cpython/pull/148745 otherwise the code generator emits normal jumps without the necessary patching to add trampolines.
For more details see https://github.com/python/cpython/pull/148745#discussion_r3177522254
CPython versions tested on:
CPython main branch
Operating systems tested on:
No response
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
调研方向
从 Python/bytecodes.c 约第 5053 行开始，阅读 pull request 148745 中的讨论。跟踪 JIT 代码生成器如何处理地址作为操作数的跳转，然后验证受影响的变量保留 trampoline 修补行为。完成标准是，此类跳转会在 CPython main 分支上生成所需的 trampoline。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- c, python
- 领域
- compilers
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 冷清
- 描述清晰度
- 基本清楚
- 新手友好度
- 52/100