Skip to content
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.

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

JIT: assert if we see schema mismatches with dynamic pgo data #85898

Merged
merged 1 commit into from
May 8, 2023

Conversation

AndyAyersMS
Copy link
Member

When the profile data comes from dynamic PGO, the spanning tree encoded in the schema produced by an earlier tier should exactly match the spanning tree for the current jit attempt, since the JIT and method IL are identical.

(This is not the case for static PGO; that schema may have come from a different JIT and/or different version of IL).

Note in release modes we won't assert; instead, we will silently throw the PGO data away.

Follow-on change to #85805 to catch more issues like #85799.

When the profile data comes from dynamic PGO, the spanning tree encoded in the
schema produced by an earlier tier should exactly match the spanning tree for
the current jit attempt, since the JIT and method IL are identical.

(This is not the case for static PGO; that schema may have come from a different
JIT and/or different version of IL).

Note in release modes we won't assert; instead, we will silently throw the PGO
data away.

Follow-on change to dotnet#85805 to catch more issues like dotnet#85799.
@ghost ghost assigned AndyAyersMS May 8, 2023
@dotnet-issue-labeler dotnet-issue-labeler bot added the area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI label May 8, 2023
@ghost
Copy link

ghost commented May 8, 2023

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

Issue Details

When the profile data comes from dynamic PGO, the spanning tree encoded in the schema produced by an earlier tier should exactly match the spanning tree for the current jit attempt, since the JIT and method IL are identical.

(This is not the case for static PGO; that schema may have come from a different JIT and/or different version of IL).

Note in release modes we won't assert; instead, we will silently throw the PGO data away.

Follow-on change to #85805 to catch more issues like #85799.

Author: AndyAyersMS
Assignees: AndyAyersMS
Labels:

area-CodeGen-coreclr

Milestone: -

@AndyAyersMS
Copy link
Member Author

@EgorBo PTAL
cc @dotnet/jit-contrib

This replays cleanly with latest SPMI collections, so hopefully #85873 and #85860 have fixed the outstanding issues.

Will run some of the PGO stress legs here, once the basic CI is happy. Those are not completely clean.

@AndyAyersMS AndyAyersMS requested a review from EgorBo May 8, 2023 01:05
@AndyAyersMS
Copy link
Member Author

/azp run runtime-coreclr pgo, runtime-coreclr pgostress, runtme-coreclr libraries-pgo

@azure-pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@AndyAyersMS
Copy link
Member Author

/azp run runtime-coreclr libraries-pgo

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@EgorBo
Copy link
Member

EgorBo commented May 8, 2023

Makes sense, LGTM assuming CI failures aren't related

@AndyAyersMS
Copy link
Member Author

runtime-coreclr pgostress failures are pre-existing (#84911)
runtme-libraries pgostress failures are pre-existing (##85838, #84599)

The new assert didn't fire.

@AndyAyersMS AndyAyersMS merged commit 873f3c5 into dotnet:main May 8, 2023
@ghost ghost locked as resolved and limited conversation to collaborators Jun 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants