Convert JIT_Box* to C#

[am11]

No description provided.

[dotnet-policy-service]

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

[am11]

@EgorBot -amd -arm

usingSystem.Reflection;usingBenchmarkDotNet.Attributes;publicclassBench{publicreadonlyintAReadonlyIntField=42;[Benchmark]publicintReflectionFieldBoxing(){FieldInfofieldInfo=typeof(Bench).GetTypeInfo().GetDeclaredField(nameof(AReadonlyIntField));BenchmyInstance=new();objectcurrent=fieldInfo.GetValue(myInstance);fieldInfo.SetValue(myInstance,int.MinValue);return(int)current+(int)fieldInfo.GetValue(myInstance);}}

[am11]

@jkotas, @EgorBo, WDYT? We can get rid of this HMF and later remove the managed helpers when JIT starts inlining boxes (in Tier 0 as it does in Tier 1).

[EgorBo]

@EgorBot -windows_intel -amd -arm

usingSystem.Runtime.CompilerServices;usingBenchmarkDotNet.Attributes;publicclassBench{[Benchmark]publicobjectBox8()=>Box(newBuffer8());[Benchmark]publicobjectBox16()=>Box(newBuffer16());[Benchmark]publicobjectBox32()=>Box(newBuffer32());[Benchmark]publicobjectBox256()=>Box(newBuffer256());[MethodImpl(MethodImplOptions.NoInlining|MethodImplOptions.NoOptimization)]staticobjectBox<T>(Tvalue)=>(object)value;}[InlineArray(1)]publicstructBuffer8{long_element0;}[InlineArray(2)]publicstructBuffer16{long_element0;}[InlineArray(4)]publicstructBuffer32{long_element0;}[InlineArray(32)]publicstructBuffer256{long_element0;}

[am11]

@EgorBot -windows_intel -amd -arm

usingSystem.Runtime.CompilerServices;usingBenchmarkDotNet.Attributes;publicclassBench{[Benchmark]publicobjectBox8()=>Box(newBuffer8());[Benchmark]publicobjectBox16()=>Box(newBuffer16());[Benchmark]publicobjectBox32()=>Box(newBuffer32());[Benchmark]publicobjectBox256()=>Box(newBuffer256());[MethodImpl(MethodImplOptions.NoInlining|MethodImplOptions.NoOptimization)]staticobjectBox<T>(Tvalue)=>(object)value;}[InlineArray(1)]publicstructBuffer8{long_element0;}[InlineArray(2)]publicstructBuffer16{long_element0;}[InlineArray(4)]publicstructBuffer32{long_element0;}[InlineArray(32)]publicstructBuffer256{long_element0;}

[am11]

arm32 doesn't seem to be happy with the TLV commit despite src/coreclr/vm/arm/stubs.cpp was using JIT_Box_MP_FastPortable. 🤔

[filipnavara]

arm32 doesn't seem to be happy with the TLV commit

arm32 had the special alignment code path (RequiresAlign8)

[am11]

NativeAOT's AllocFast mechanism is much efficient, maybe coreclr can reuse it via asm sharing being introduced in #114982?

Alternatively, JIT can optimize/inline InternalAlloc{NoChecks}. It will not only speed up the existing helpers, but also allow us to complete all remaining HMFs; basically all the remaining ones are due to Alloc GC API call Allocate{Object,String,Array} end up calling GCHeapUtilities::GetGCHeap()->Alloc() and therefore require HELPER_METHOD_FRAME. If we move them to C# today as-is, they will show mixed regressions, just likt JIT_Box which also requrie HMF due to AllocateOjbect call in the fallback path.

[huoyaoyuan]

NativeAOT's AllocFast mechanism is much efficient, maybe coreclr can reuse it via asm sharing being introduced in #114982?

I'm unsure if there is behavioral difference: #105949
But sharing allocation stubs between coreclr and nativeaot should be very appealing.

[jkotas]

Thank you!

[am11]

Thanks @jkotas, @EgorBo and @filipnavara for the help!

Do you think we can bring the rest of these to the same plan:

runtime/src/coreclr/vm/jitinterfacegen.cpp

Lines 84 to 87 in 9e490ef

	SetJitHelperFunction(CORINFO_HELP_NEWSFAST, JIT_TrialAllocSFastSP);
	SetJitHelperFunction(CORINFO_HELP_NEWSFAST_ALIGN8, JIT_TrialAllocSFastSP);
	SetJitHelperFunction(CORINFO_HELP_NEWARR_1_VC, JIT_NewArr1VC_UP);
	SetJitHelperFunction(CORINFO_HELP_NEWARR_1_OBJ, JIT_NewArr1OBJ_UP);

or would they (some of them?) require different approach?

[filipnavara]

or would they (some of them?) require different approach?

I'd think that they are good candidate for implementing in assembly and sharing with NativeAOT (as per #115134 (comment)). For some of them it looks like a quite straightforward mapping but perhaps I was just lucky to look at the ones that match up closely...

[am11]

Sounds good. Then we can follow @davidwrighton's footsteps once #114982 is completed. :)

[filipnavara]

Then we can follow @davidwrighton's footsteps once #114982 is completed. :)

JFYI I have a prototype on top of #114982 that moves AllocFast.S/asm to the shared code base and replaces most of the helpers. Still needs a bit of love but wanted to let you know to avoid working on the same thing...

[am11]

Thanks! Can't wait to see class HelperMethodFrame cleanup all the way up to LazyMachState::unwindLazyState, which has one of 13 calls to PAL_VirtualUnwind -> unw_step. 😁