Skip to content

gh-119786: Add jit.md. Move adaptive.md to a section of interpreter.md. #127175

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
iritkatriel merged 13 commits into from
Dec 6, 2024
Merged

gh-119786: Add jit.md. Move adaptive.md to a section of interpreter.md. #127175

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
2fb97e3
gh-119786: add intro to adaptive.md. Update index headings
iritkatriel Nov 22, 2024
2414871
add content to tier2
iritkatriel Nov 22, 2024
e040267
review comments
iritkatriel Nov 23, 2024
e5802d7
add jit
iritkatriel Nov 28, 2024
0c96eb2
merge adaptive.md into interpreter.md
iritkatriel Dec 5, 2024
43aa0df
cache layouts
iritkatriel Dec 5, 2024
e7c3363
tier 2 --> jit
iritkatriel Dec 5, 2024
4731d94
remove adaptive.md
iritkatriel Dec 5, 2024
c4b288b
mike's comments
iritkatriel Dec 5, 2024
aced06a
Apply suggestions from code review
iritkatriel Dec 6, 2024
bc8a50b
interpreter jit is for debugging
iritkatriel Dec 6, 2024
3bbf6ee
Update InternalDocs/jit.md
iritkatriel Dec 6, 2024
acaef71
Merge branch 'main' into adaptive
iritkatriel Dec 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
interpreter jit is for debugging
  • Loading branch information
@iritkatriel
iritkatriel committed Dec 6, 2024
commit bc8a50bf7eed9f0b49e729ffd5981dda2186a32b
20 changes: 13 additions & 7 deletions InternalDocs/jit.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,18 +59,24 @@ and an instance of `_PyUOpExecutor_Type` is created to contain it.
After a `JUMP_BACKWARD` instruction invokes the uop optimizer to create a uop
executor, it transfers control to this executor via the `GOTO_TIER_TWO` macro.

When the JIT is configured to run on its interpreter (i.e., python is
configured with
[`--enable-experimental-jit=interpreter`](https://docs.python.org/dev/using/configure.html#cmdoption-enable-experimental-jit)),
the executor jumps to `tier2_dispatch:` in
CPython implements two executors. Here we describe the JIT interpreter,
which is the simpler of them and is therefore useful for debugging and analyzing
the uops generation and optimization stages. To run it, we configure the
JIT to run on its interpreter (i.e., python is configured with
[`--enable-experimental-jit=interpreter`](https://docs.python.org/dev/using/configure.html#cmdoption-enable-experimental-jit)).

When invoked, the executor jumps to the `tier2_dispatch:` label in
[`Python/ceval.c`](../Python/ceval.c), where there is a loop that
executes the micro-ops. The micro-ops are are defined in
[`Python/executor_cases.c.h`](../Python/executor_cases.c.h),
executes the micro-ops. The body of this loop is a switch statement over
the uops IDs, reselmbling the one used in the adaptive interpreter.
Comment thread
iritkatriel marked this conversation as resolved.
Outdated

The swtich implementing the uops is in [`Python/executor_cases.c.h`](../Python/executor_cases.c.h),
which is generated by the build script
[`Tools/cases_generator/tier2_generator.py`](../Tools/cases_generator/tier2_generator.py)
from the bytecode definitions in
[`Python/bytecodes.c`](../Python/bytecodes.c).
This loop exits when an `_EXIT_TRACE` or `_DEOPT` uop is reached,

When an `_EXIT_TRACE` or `_DEOPT` uop is reached, the uop interpreter exits
and execution returns to the adaptive interpreter.

## Invalidating Executors
Expand Down