‫کالبدشکافی بهینه‌سازی‌های کامپایلر JIT در دات‌نت ۱۱

چکیده: با انتشار هر نسخه جدید از پلتفرم دات‌نت (.NET)، مقالات رسمی مایکروسافت از بهبودهای چشمگیر عملکرد (Performance Improvements) سخن می‌گویند. با این حال، کامپایلرهای درجا (JIT Compilers) بهینه‌سازی‌ها را به‌صورت مشروط و صرفاً در صورت اثبات گزاره‌های قطعی در کد ماشین اعمال می‌کنند. در .NET 11، کامپایلر RyuJIT با تکیه بر استراتژی‌های استنتاجی جدید در چهار حوزه اساسی شامل غیرمجازی‌سازی محافظت‌شده (Guarded Devirtualization)، تحلیل گریز (Escape Analysis)، بهینه‌سازی طرح حافظه چندنماینده‌ها (Delegate Memory Layout) و حذف بررسی محدوده آرایه‌ها (Bounds-Check Elimination) ارتقا یافته است. این مقاله با رویکردی تحلیلی و فنی، سازوکار درونی این بهینه‌سازی‌ها، موارد شکست شروط تحلیلی، و ابزارهای اعتبارسنجی سطح اسمبلی نظیر DOTNET_JitDisasm را بررسی می‌کند.

public interface IValidator
{
    bool IsValid(Order order);
}

public sealed class DefaultValidator : IValidator
{
    public bool IsValid(Order order) => order.Total > 0 && order.Items.Count > 0;
}

public decimal ProcessOrders(IEnumerable<Order> orders, IValidator validator)
{
    decimal total = 0;
    foreach (var order in orders)
    {
        // در صورت مونومورفیک بودن، GDV حدس DefaultValidator را اعمال می‌کند
        if (validator.IsValid(order))
            total += order.Total;
    }
    return total;
}

• اگر محل فراخوانی واقعاً چندریختی (Polymorphic) باشد و چندین نوع مختلف به‌طور متوازن ارسال شوند، بررسی نوع ناموفق بوده و علاوه بر سربار فراخوانی غیرمستقیم، هزینه شرط چک نشده نیز اضافه می‌شود.
• GDV متکی بر داده‌های پروفایلینگ زمان اجرا (PGO) است؛ در نتیجه الگوهای مونو‌مورفیک (تک‌ریختی) بیشترین نفع را خواهند برد.

public string FormatNullableInt(int? value)
{
    // در صورتی که مرجع به بیرون درز نکند، تخصیص حافظه در هیپ حذف می‌شود
    object boxed = value; 
    return boxed switch
    {
        null => "none",
        int i => i.ToString(),
        _ => "unexpected"
    };
}

نکته کلیدی: تحلیل گریز قوانین خود را تغییر نداده است. ارجاع دادن شیء به فیلد یک کلاس، ثبت آن در یک کلوژر (Closure) با طول عمر بیشتر از متد، یا ارسال آن به متدی که درون‌ریزی (Inline) نمی‌شود، بی‌درنگ باعث نشت شیء به هیپ خواهد شد.

چیدمان مرسوم در دات‌نت ۱۰:
[ MethodTable Pointer (8B) ] [ Target Object (8B) ] [ Extra Pointer (8B) ] [ MethodPtr (8B) ] ...
                                                     └── حذف شد (کاهش ۸ بایت)

چیدمان بهینه‌شده در دات‌نت ۱۱:
[ MethodTable Pointer (8B) ] [ Target Object (8B) ] [ MethodPtr (8B) ] ...
                             └─────────────────────┴──────────────────┘
                                   فراخوانی جفتی روی Arm64 (Paired Load)

// نمونه بهینه‌سازی تلفیق عملیات بیتی (#122263)
byte b = GetByte();
int index = ((b & 0x03) << 4) | ((b & 0xF0) >> 4);

// با توجه به ماسک بیتی، JIT اثبات می‌کند که مقدار اندیس همواره کمتر از 64 است
// در نتیجه، چک انتهای محدوده از کد ماشین آرایه حذف می‌گردد
byte decoded = lookupTable[index];

# گام ۱: دریافت لیست نام‌های داخلی متدها در حالت Release
$env:DOTNET_JitDisasmSummary = "1"
dotnet run -c Release

# گام ۲: دیس‌اسمبل کردن متد هدف
$env:DOTNET_JitDisasmSummary = $null
$env:DOTNET_JitDisasm = "ProcessOrders"
dotnet run -c Release

• در حذف Bounds Check: به دنبال حذف زوج دستورالعمل‌های cmp reg, [len] و پرش‌های وابسته مانند jae (Jump if Above or Equal) بگردید.
• در تحلیل گریز: بررسی کنید که آیا فراخوانی به CORINFO_HELP_NEWSFAST (تخصیص روی هیپ) به کلی حذف شده و جای خود را به دستکاری ثبات پشته (rsp) داده است یا خیر.

• بازسنجی کدهای بهینه‌سازی دستی (Workarounds): الگوهای پیچیده‌ای را که در نسخه‌های گذشته برای فرار از تخصیص حافظه (مثل تعریف استراکت‌های سفارشی برای دور زدن اینومریتورها یا استفاده از کلاس‌های ناامن Unsafe جهت پرش از روی چک آرایه‌ها) پیاده کرده‌اید، مجدداً محک بزنید؛ کامپایلر اکنون بخش زیادی از این موارد را به‌طور خودکار رفع می‌کند.
• پرهیز از تعمیم کورکورانه: بهینه‌سازی‌ها محلی و مقید به دامنه هستند. اگر منطق محاسبه یک اندیس داخل تابعی قرار گیرد که درون‌ریزی نمی‌شود، یا شیء از دید تحلیل‌گر فرار کند، بهینه‌سازی متوقف می‌گردد.
• اندازه‌گیری مبتنی بر شواهد اسمبلی: مبنای سنجش نهایی باید ابزارهایی نظیر BenchmarkDotNet و تحلیل مستقیم اسمبلی (DOTNET_JitDisasm) باشد. بهینه‌سازی در دنیای واقعی، نتیجه اثبات دقیق شروط کامپایلر است، نه فرضیات تئوریک.