Make it possible for the jit to deopt to tier1 upon interrupts
Open
Nobody has claimed this yet.
interpreter-core
type-feature
- Dominant language
- Python
- Stars
- 77.2k
- Forks
- 35.9k
- PR merge metrics
- PR metrics pending
Description
Make CHECK_PERIODIC a separate instruction, use it instead of the _CHECK_PERIODIC uops for calls.
Then the JIT can safely abort the check instruction. For jumps we don't need to do this because the top appears before the jump instruction has any side effect on program state.
Linked PRs
- gh-132533
- gh-135772
- gh-137098
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the CHECK_PERIODIC instruction and the _CHECK_PERIODIC uops for calls described in the issue, then review linked PRs 132533, 135772, and 137098 for the current implementation. Done means the JIT can safely abort the check instruction and deopt to tier1 upon interrupts, while jump handling remains unchanged.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 20/100