Rework and simplify initial versioning and tiering rules by davidwrighton · Pull Request #125243 · dotnet/runtime

davidwrighton · 2026-03-05T22:15:16Z

Remove CallCountingInfo::Disabled stage and associated methods (DisableCallCounting, IsCallCountingEnabled, CreateWithCallCountingDisabled)
Move initial optimization tier determination from per-method JIT-time logic to a config-time decision (TieredCompilation_DefaultTier) computed once during EEConfig::sync()
Store the default code version's optimization tier directly on MethodDescCodeData, replacing the indirect approach of disabling call counting to signal optimized tier
Remove WasTieringDisabledBeforeJitting flag from PrepareCodeConfig and MethodDescVersioningState
Simplify GetJitFlags by removing the special default-version fast path and using the unified optimization tier switch for all code versions
Add OptimizationTierUnknown sentinel to distinguish uninitialized state
Simplify FinalizeOptimizationTierForTier0Load to handle R2R loading based on the stored optimization tier

- Remove CallCountingInfo::Disabled stage and associated methods (DisableCallCounting, IsCallCountingEnabled, CreateWithCallCountingDisabled) - Move initial optimization tier determination from per-method JIT-time logic to a config-time decision (TieredCompilation_DefaultTier) computed once during EEConfig::sync() - Store the default code version's optimization tier directly on MethodDescCodeData, replacing the indirect approach of disabling call counting to signal optimized tier - Remove WasTieringDisabledBeforeJitting flag from PrepareCodeConfig and MethodDescVersioningState - Simplify GetJitFlags by removing the special default-version fast path and using the unified optimization tier switch for all code versions - Add OptimizationTierUnknown sentinel to distinguish uninitialized state - Simplify FinalizeOptimizationTierForTier0Load to handle R2R loading based on the stored optimization tier Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

dotnet-policy-service · 2026-03-05T22:16:34Z

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

Copilot

Pull request overview

This PR refactors CoreCLR tiered compilation’s initial tier selection and tiering signaling by moving “default tier” decisions into EEConfig::sync(), removing the call-counting “disabled” signaling path, and storing the default version tier on MethodDesc code data.

Changes:

Compute and expose a single TieredCompilation_DefaultTier value in EEConfig, and use it for initial tier selection.
Add OptimizationTierUnknown and a per-MethodDesc stored optimization tier, and route default-version tier reads/writes through it.
Remove the call-counting “Disabled” stage and related APIs/flags, simplifying tier-related logic in the JIT flag path and prestub tier finalization.

Reviewed changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
src/coreclr/vm/tieredcompilation.cpp	Switch initial tier selection to use `EEConfig`’s computed default tier.
src/coreclr/vm/prestub.cpp	Remove “disable call counting” signaling; revise tier finalization for R2R load based on stored tier.
src/coreclr/vm/method.hpp	Add stored optimization tier to `MethodDescCodeData`; remove `WasTieringDisabledBeforeJitting` plumbing.
src/coreclr/vm/method.cpp	Initialize and implement `MethodDesc` optimization tier storage helpers.
src/coreclr/vm/eeconfig.h	Add `TieredCompilation_DefaultTier()` accessor and config backing field.
src/coreclr/vm/eeconfig.cpp	Compute `tieredCompilation_DefaultTier` during `EEConfig::sync()`.
src/coreclr/vm/codeversion.h	Add `OptimizationTierUnknown` sentinel value.
src/coreclr/vm/codeversion.cpp	Use stored `MethodDesc` tier when available; set it for default versions via `MethodDesc`.
src/coreclr/vm/callcounting.h	Remove `CallCountingInfo::Disabled` stage and disabled-construction helpers.
src/coreclr/vm/callcounting.cpp	Remove disabled-stage construction/guards and remove disabled-callcounting APIs’ implementations.

Copilot · 2026-03-05T22:22:52Z

src/coreclr/vm/method.cpp

+    IfFailRet(EnsureCodeDataExists(NULL));
+
+    _ASSERTE(m_codeData != NULL);
+    if (InterlockedExchangeT(&m_codeData->OptimizationTier, tier) != NativeCodeVersion::OptimizationTierUnknown)


SetMethodDescOptimizationTier() uses InterlockedExchangeT, which overwrites any previously-set OptimizationTier even when returning S_FALSE. This breaks the intended “set once from Unknown” semantics and can race with other threads, potentially flipping a method’s tier unexpectedly. Use InterlockedCompareExchangeT to only store the tier when the current value is OptimizationTierUnknown (and return S_FALSE without modifying otherwise).

Suggested change

if (InterlockedExchangeT(&m_codeData->OptimizationTier, tier) != NativeCodeVersion::OptimizationTierUnknown)

if (InterlockedCompareExchangeT(&m_codeData->OptimizationTier, tier, NativeCodeVersion::OptimizationTierUnknown) != NativeCodeVersion::OptimizationTierUnknown)

I agree with copilot here. This is an indiscriminate exchange. Why don't we want InterlockedCompareExchange?

Mmm... the latest change does a simple set, but there is some merit to not wanting to march over stuff willy nilly. I'll think about that tomorrow.

Looking into this, I've concluded that the current logic, which simply sets the value is correct. We could in theory add asserts that its behaving as expected, but just doing the set unconditionally is acceptable.

src/coreclr/vm/prestub.cpp

src/coreclr/vm/eeconfig.cpp

src/coreclr/vm/callcounting.cpp

src/coreclr/vm/method.cpp

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Copilot

Pull request overview

Copilot reviewed 10 out of 10 changed files in this pull request and generated 4 comments.

src/coreclr/vm/tieredcompilation.cpp

src/coreclr/vm/prestub.cpp

src/coreclr/vm/callcounting.cpp

src/coreclr/vm/method.cpp

….com:davidwrighton/runtime into rework_and_simplify_initial_versioning_rules

src/coreclr/vm/eeconfig.cpp

src/coreclr/vm/method.cpp

AaronRobinsonMSFT · 2026-03-06T00:11:59Z

src/coreclr/vm/method.cpp

+    IfFailRet(EnsureCodeDataExists(NULL));
+
+    _ASSERTE(m_codeData != NULL);
+    if (InterlockedExchangeT(&m_codeData->OptimizationTier, tier) != NativeCodeVersion::OptimizationTierUnknown)


I agree with copilot here. This is an indiscriminate exchange. Why don't we want InterlockedCompareExchange?

- Remove redundant IsDefaultVersion() guard before IsFinalTier() check in CallCountingManager::SetCodeEntryPoint - Query optimization tier from CodeVersion instead of MethodDesc in FinalizeOptimizationTierForTier0Load - Clean up comment formatting in EEConfig::sync Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot

Pull request overview

Copilot reviewed 10 out of 10 changed files in this pull request and generated 2 comments.

src/coreclr/vm/eeconfig.h

Copilot · 2026-03-06T20:18:59Z

src/coreclr/vm/eeconfig.cpp

        }
    }
+#else // !FEATURE_TIERED_COMPILATION
+    tieredCompilation_DefaultTier = NativeCodeVersion::OptimizationTierOptimized;


In the !FEATURE_TIERED_COMPILATION branch, tieredCompilation_DefaultTier (a DWORD) is assigned an enum value without an explicit cast, while other assignments in this method cast to DWORD. Using a consistent explicit cast here helps avoid compiler warnings (and matches the nearby code style).

Suggested change

tieredCompilation_DefaultTier = NativeCodeVersion::OptimizationTierOptimized;

tieredCompilation_DefaultTier = (DWORD)NativeCodeVersion::OptimizationTierOptimized;

davidwrighton requested review from AaronRobinsonMSFT, Copilot and rcj1 March 5, 2026 22:15

github-actions bot added the area-VM-coreclr label Mar 5, 2026

dotnet-policy-service bot assigned davidwrighton Mar 5, 2026

Copilot started reviewing on behalf of davidwrighton March 5, 2026 22:16 View session

Copilot AI reviewed Mar 5, 2026

View reviewed changes

Update src/coreclr/vm/method.cpp

c639ff0

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Copilot AI review requested due to automatic review settings March 5, 2026 23:31

Copilot started reviewing on behalf of davidwrighton March 5, 2026 23:32 View session

Copilot AI reviewed Mar 5, 2026

View reviewed changes

src/coreclr/vm/tieredcompilation.cpp Show resolved Hide resolved

src/coreclr/vm/prestub.cpp Show resolved Hide resolved

src/coreclr/vm/callcounting.cpp Show resolved Hide resolved

src/coreclr/vm/method.cpp Outdated Show resolved Hide resolved

davidwrighton added 2 commits March 5, 2026 16:08

Feedback

12130e6

Merge branch 'rework_and_simplify_initial_versioning_rules' of github…

12209cf

….com:davidwrighton/runtime into rework_and_simplify_initial_versioning_rules

AaronRobinsonMSFT reviewed Mar 6, 2026

View reviewed changes

build-analysis bot mentioned this pull request Mar 6, 2026

LibraryImportGenerator.Unit.Tests crashing on linux-x64 mono interpreter #100800

Open

Copilot AI review requested due to automatic review settings March 6, 2026 20:12

Copilot started reviewing on behalf of davidwrighton March 6, 2026 20:14 View session

Copilot AI reviewed Mar 6, 2026

View reviewed changes

	if (InterlockedExchangeT(&m_codeData->OptimizationTier, tier) != NativeCodeVersion::OptimizationTierUnknown)
	if (InterlockedCompareExchangeT(&m_codeData->OptimizationTier, tier, NativeCodeVersion::OptimizationTierUnknown) != NativeCodeVersion::OptimizationTierUnknown)

	tieredCompilation_DefaultTier = NativeCodeVersion::OptimizationTierOptimized;
	tieredCompilation_DefaultTier = (DWORD)NativeCodeVersion::OptimizationTierOptimized;

Conversation

davidwrighton commented Mar 5, 2026

Uh oh!

dotnet-policy-service bot commented Mar 5, 2026

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Copilot AI Mar 5, 2026

Choose a reason for hiding this comment

Uh oh!

AaronRobinsonMSFT Mar 6, 2026

Choose a reason for hiding this comment

Uh oh!

davidwrighton Mar 6, 2026

Choose a reason for hiding this comment

Uh oh!

davidwrighton Mar 6, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

AaronRobinsonMSFT Mar 6, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Uh oh!

Copilot AI Mar 6, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants