dotnet/runtime

JIT: Reloc is not used in Tier1 for this simple snippet

Open

#71.545 geöffnet am 1. Juli 2022

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C# (5.445 Forks)batch import
area-CodeGen-coreclrhelp wantedtenet-performance

Repository-Metriken

Stars
 (17.886 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 12T 11h) (661 gemergte PRs in 30 T)

Beschreibung

public class Program
{
    public static void Main(string[] args)
    {
        for (int i = 0; i < 100; i++)
        {
            F();
            Thread.Sleep(16);
        }
    }

    static int f;

    [MethodImpl(MethodImplOptions.NoInlining)]
    static void F() => f++;
}

Codegen for Tier0 and Tier1 for method F():

; Assembly listing for method Program:F()
; Tier-0 compilation
       55                   push     rbp
       488BEC               mov      rbp, rsp
       FF05CEDB1900         inc      dword ptr [(reloc 0x7ffa7536f918)]
       5D                   pop      rbp
       C3                   ret      


; Assembly listing for method Program:F()
; Tier-1 compilation
       48B818F93675FA7F0000 mov      rax, 0x7FFA7536F918
       FF00                 inc      dword ptr [rax]
       C3                   ret

Tier0 managed to use a reloc for inc while tier1 does not (the address remains the same)

category:cq theme:tiering skill-level:intermediate cost:small impact:medium

Contributor Guide

Research-Richtung
Untersuche die JIT Codegenerierung für Tier0 und Tier1, um zu verstehen, warum Tier0 einen Reloc für die inc Anweisung verwendet, während Tier1 die Adresse in ein Register lädt. Sieh dir die Reloc Logik im JIT und die Tiering Heuristiken an.
Tech Stack
csharp
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C#JITAssembler
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40