Skip to content

GH-117442: Check eval-breaker at start (rather than end) of tier 2 loops#118482

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

Jump to bottom
Merged
markshannon merged 6 commits into from
May 2, 2024
Merged

GH-117442: Check eval-breaker at start (rather than end) of tier 2 loops #118482

markshannon merged 6 commits into from
May 2, 2024

Conversation

@markshannon
Copy link
Member

@markshannonmarkshannon commented May 1, 2024•
edited
Loading

Insert a _TIER2_RESUME_CHECK at the start of all traces starting at a back edge.
_JUMP_TO_TOP no longer performs an eval breaker check.

Also, simplify the handling of the eval breaker in tier 2:

  • Always drop to tier 1 if the eval breaker is set.
  • Guarantee progress by never entering tier 2 from tier 1 with the eval breaker set.

@bedevere-appbedevere-appbot mentioned this pull request May 1, 2024
Closed
@brandtbucher
Copy link
Member

brandtbucher commented May 1, 2024

Can you remove the CHECK_EVAL_BREAKER(); from the _JUMP_TO_TOP special-case in Tools/jit/template.c?

gvanrossum
gvanrossum reviewed May 1, 2024
View reviewed changes
Copy link
Member

@gvanrossumgvanrossum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Simple enough, I have one question.

@brandtbucher
Copy link
Member

brandtbucher commented May 1, 2024

Nice, that ended up being a lot cleaner than I thought it would be!

@markshannonmarkshannon merged commit 67bba9d into python:mainMay 2, 2024
@markshannonmarkshannon deleted the check_periodic_on_back_edges branch May 2, 2024 12:22
SonicField pushed a commit to SonicField/cpython that referenced this pull request May 8, 2024
@markshannon@SonicField
pythonGH-117442: Check eval-breaker at start (rather than end) of tie…
f6b89ad
…r 2 loops (pythonGH-118482)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gvanrossumgvanrossumgvanrossum approved these changes

@brandtbucherbrandtbucherbrandtbucher approved these changes

Assignees

No one assigned

Labels

skip news

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@markshannon@brandtbucher@gvanrossum