python / python/cpython

JIT does not emit trampolines for jumps to addresses encoded as operands

Ouverte
#149,316 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

interpreter-core topic-JIT type-bug
Langage dominant
Python
Étoiles
77.2k
Forks
35.9k
Métriques de merge des PR
Métriques de PR en attente

Description

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

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez dans Python/bytecodes.c vers la ligne 5053 et lisez la discussion dans la pull request 148745. Suivez la manière dont le générateur de code JIT gère les sauts dont les adresses sont des opérandes, puis vérifiez que les variables concernées conservent le comportement de patch des trampolines. La tâche est terminée lorsque ces sauts émettent les trampolines requis dans la branche main de CPython.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
c, python
Domaine
compilers
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
Calme
Clarté
Plutôt claire
Accessibilité débutants
52/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.