Fix LoaderHeap's free list growing more than expected

[eduardo-vp]

I was working with the test in https://github.com/korchak-aleksandr/net10-regression-repro and found out that the free list in UnlockedLoaderHeap grows to thousands of elements, which makes allocations very slow since we do a linear scan of this free list for each one of them.

In these scenarios multiple threads might need the same generic instantiation simultaneously and they all race to create/publish it. Multiple threads can lose the race and quickly add blocks to the free list since they don't need that memory. Subsequent calls that need generic instantiations do a linear scan of the free list to find a memory block to reuse. This ends up taking a lot of time due to its size (can be up to ten of thousands).

This PR stops making thread race to create/publish such that we don't insert several blocks in the free list.

	.NET 10	.NET 10 + this PR
Time	91.2 s	3.9 s
Max RSS	114.1 MB	117.5 MB

[Copilot]

Pull request overview

This PR restructures UnlockedLoaderHeap’s free list to reduce allocation-time overhead in backout-heavy scenarios by replacing a single linear-scanned free list with size-segregated buckets for common small block sizes plus an overflow list for larger blocks.

Changes:

• Replaces m_pFirstFreeBlock with 32 size buckets (pointer-size increments) and a separate “large/overflow” free list.
• Updates free-block insertion/allocation logic to use bucketed O(1) reuse for small sizes, and retains linear scanning only for the overflow list (including a stress-log warning on long scans).
• Adjusts debug-only free-list dumping and validation to iterate across all buckets and the overflow list.

Reviewed changes

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

File	Description
src/coreclr/utilcode/loaderheap.cpp	Implements bucket initialization, bucket-aware allocation/insertion, overflow scan warning, and updates debug dump/validation to traverse buckets.
src/coreclr/utilcode/loaderheap_shared.h	Updates LoaderHeapFreeBlock API to no longer take an explicit head pointer (heap chooses bucket internally).
src/coreclr/inc/loaderheap.h	Adds bucket/overflow free list fields and related constants to UnlockedLoaderHeap.

[jkotas]

In these scenarios multiple threads might need the same generic instantiation simultaneously and they all race to create/publish it

Where is this race condition exactly? Can we add a lock there instead?

The freelist in LoaderHeap is meant to be only used in error conditions to backout types that failed to load, or to deal with rare race condition. If you see the freelist growing this much, it means that the loader heap is not used correctly. We should fix that instead.

[eduardo-vp]

I'll take a look, this the part where many threads lose

runtime/src/coreclr/vm/genmeth.cpp

Lines 493 to 542 in 24547a7

	InstantiatedMethodDesc *pOldMD = FindLoadedInstantiatedMethodDesc(pExactMT,
	pGenericMDescInRepMT->GetMemberDef(),
	methodInst,
	getWrappedCode,
	pGenericMDescInRepMT->IsAsyncVariantMethod());
	if (pOldMD == NULL)
	{
	// No one else got there first, our MethodDesc wins.
	amt.SuppressRelease();
	#ifdef _DEBUG
	SString name;
	TypeString::AppendMethodDebug(name, pNewMD);
	constchar* pDebugNameUTF8 = name.GetUTF8();
	constchar* verb = "Created";
	if (pWrappedMD)
	LOG((LF_CLASSLOADER, LL_INFO1000,
	"GENERICS: %s instantiating-stub method desc %s with dictionary size %d\n",
	verb, pDebugNameUTF8, infoSize));
	else
	LOG((LF_CLASSLOADER, LL_INFO1000,
	"GENERICS: %s instantiated method desc %s\n",
	verb, pDebugNameUTF8));
	S_SIZE_T safeLen = S_SIZE_T(strlen(pDebugNameUTF8))+S_SIZE_T(1);
	if(safeLen.IsOverflow()) COMPlusThrowHR(COR_E_OVERFLOW);
	size_t len = safeLen.Value();
	pNewMD->m_pszDebugMethodName = (char*) (void*)pAllocator->GetLowFrequencyHeap()->AllocMem(safeLen);
	_ASSERTE(pNewMD->m_pszDebugMethodName);
	strcpy_s((char *) pNewMD->m_pszDebugMethodName, len, pDebugNameUTF8);
	pNewMD->m_pszDebugClassName = pExactMT->GetDebugClassName();
	pNewMD->m_pszDebugMethodSignature = (LPUTF8)pNewMD->m_pszDebugMethodName;
	#endif// _DEBUG
	// Generic methods can't be varargs. code:MethodTableBuilder::ValidateMethods should have checked it.
	_ASSERTE(!pNewMD->IsVarArg());
	// Verify that we are not creating redundant MethodDescs
	_ASSERTE(!pNewMD->IsTightlyBoundToMethodTable());
	// The method desc is fully set up; now add to the table
	InstMethodHashTable* pTable = pExactMDLoaderModule->GetInstMethodHashTable();
	pTable->InsertMethodDesc(pNewMD);
	}
	else
	pNewMD = pOldMD;
	// CrstHolder goes out of scope here
	}

[Copilot]

Pull request overview

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

[Copilot]

Pull request overview

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

[Copilot]

Pull request overview

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

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 3 comments.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

[jkotas]

Could you please run a perf test that tries to create many different method instantiations on multiple threads, and see whether taking a lock around MethodDesc creation makes it measurably slower?

If we find that it is getting measurably slower, we may want to do something else about it - e.g. move more of the work outside the lock.

[eduardo-vp]

I used a script to create a Gen.cs file and test the creation of 150k different method instantiations.

publicstaticclassW{[System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]publicstaticlongM1<T>()=>System.Runtime.CompilerServices.Unsafe.SizeOf<T>();[System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]publicstaticlongM2<T>()=>System.Runtime.CompilerServices.Unsafe.SizeOf<T>();[System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]publicstaticlongM3<T>()=>System.Runtime.CompilerServices.Unsafe.SizeOf<T>();[System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]publicstaticlongM4<T>()=>System.Runtime.CompilerServices.Unsafe.SizeOf<T>();[System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]publicstaticlongM5<T>()=>System.Runtime.CompilerServices.Unsafe.SizeOf<T>();}publicstructS0{}publicstructS1{}publicstructS2{}publicstructS3{}publicstructS4{}// ...publicstructS29998{}publicstructS29999{}publicstaticclassGen{publicstaticreadonlySystem.Action[]Actions=newSystem.Action[]{static()=>{W.M1<S0>();W.M2<S0>();W.M3<S0>();W.M4<S0>();W.M5<S0>();},static()=>{W.M1<S1>();W.M2<S1>();W.M3<S1>();W.M4<S1>();W.M5<S1>();},static()=>{W.M1<S2>();W.M2<S2>();W.M3<S2>();W.M4<S2>();W.M5<S2>();},static()=>{W.M1<S3>();W.M2<S3>();W.M3<S3>();W.M4<S3>();W.M5<S3>();},static()=>{W.M1<S4>();W.M2<S4>();W.M3<S4>();W.M4<S4>();W.M5<S4>();},// ...static()=>{W.M1<S29998>();W.M2<S29998>();W.M3<S29998>();W.M4<S29998>();W.M5<S29998>();},static()=>{W.M1<S29999>();W.M2<S29999>();W.M3<S29999>();W.M4<S29999>();W.M5<S29999>();},}}

The main programs just runs a loop

Parallel.For(0,N,newParallelOptions{MaxDegreeOfParallelism=Workers}, i =>actions[i]());

net10 takes ~690 ms while .net10 + this change takes ~705 ms (around 2% slower in this extreme case). I think this should be fine.

[eduardo-vp]

Double checked the perf improvement for the original benchmark too. The CI errors are timeouts only.

[jkotas]

Thanks

[eduardo-vp]

/ba-g timeouts

[eduardo-vp]

/backport to release/10.0

[github-actions]

Started backporting to release/10.0 (link to workflow run)

[github-actions]

@eduardo-vp backporting to release/10.0 failed, the patch most likely resulted in conflicts. Please backport manually!

git am output

$ git am --3way --empty=keep --ignore-whitespace --keep-non-patch changes.patchApplying: Add size-segregated bucketsApplying: Remove race in NewInstantiatedMethodDescApplying: Revert "Add size-segregated buckets"Applying: Place constraints check outside of the lockApplying: Do the constraint check upfronterror: sha1 information is lacking or useless (src/coreclr/vm/genmeth.cpp).error: could not build fake ancestorhint: Use 'git am --show-current-patch=diff' to see the failed patchhint: When you have resolved this problem, run "git am --continue".hint: If you prefer to skip this patch, run "git am --skip" instead.hint: To restore the original branch and stop patching, run "git am --abort".hint: Disable this message with "git config set advice.mergeConflict false"Patch failed at 0005 Do the constraint check upfrontError: The process '/usr/bin/git' failed with exit code 128

Link to workflow output