JIT does not emit trampolines for jumps to addresses encoded as operands
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 77.2k
- Forks
- 35.9k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug report
Bug description:
We need to declare variables volatile here and in https://github.com/python/cpython/pull/148745 otherwise the code generator emits normal jumps without the necessary patching to add trampolines.
For more details see https://github.com/python/cpython/pull/148745#discussion_r3177522254
CPython versions tested on:
CPython main branch
Operating systems tested on:
No response
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne in Python/bytecodes.c ungefähr bei Zeile 5053 und lies die Diskussion in pull request 148745. Verfolge, wie der JIT-Codegenerator Sprünge behandelt, deren Adressen Operanden sind, und überprüfe anschließend, dass die betroffenen Variablen das Verhalten zum Patchen von Trampolines beibehalten. Als erledigt gilt die Aufgabe, wenn solche Sprünge im CPython-main-Branch die erforderlichen Trampolines emittieren.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- c, python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 52/100