Free threading: Data race on `tool_id` in `sys.monitoring`
Personne n'a encore pris cette issue.
- 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:
Thanks devdanzin for his fusil, this issue was reported by #153852 TSAN-0030. It;s a data race about interp->monitoring_tool_names[tool_id]
how to reproduce
run the following on a no-gil tsan build
import sys, threading
assert not sys._is_gil_enabled(), "run free-threaded: PYTHON_GIL=0"
# sys.monitoring.use_tool_id(tool_id, name) does an unsynchronized check-then-act on the
# interpreter-global registry interp->monitoring_tool_names[tool_id]:
# if (interp->monitoring_tool_names[tool_id] != NULL) { raise; } # :2190 read
# interp->monitoring_tool_names[tool_id] = Py_NewRef(name); # :2194 write
# Many threads racing to claim the SAME free tool id read the slot while one writes it.
mon = sys.monitoring
TOOL_ID = 3 # any 0..5; not reserved
NT = 8
ROUNDS = 6000
enter = threading.Barrier(NT + 1)
leave = threading.Barrier(NT + 1)
def worker():
for _ in range(ROUNDS):
enter.wait() # all workers released together onto a freshly-freed slot
try:
mon.use_tool_id(TOOL_ID, "t") # read :2190 races the winner's write :2194
except ValueError:
pass # "tool 3 is already in use" -> lost the race, expected
leave.wait()
ts = [threading.Thread(target=worker, name=f"w{i}") for i in range(NT)]
for t in ts:
t.start()
for r in range(ROUNDS):
mon.free_tool_id(TOOL_ID) # NULL the slot so the next round starts from a free id
enter.wait()
leave.wait()
for t in ts:
t.join()
print("done, no crash")
CPython versions tested on:
CPython main branch
Operating systems tested on:
Linux
Linked PRs
- gh-154459
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par les points d’entrée sys.monitoring.use_tool_id() et free_tool_id() référencés autour des lignes 2190 et 2194, puis exécutez le reproducer fourni sur un build TSAN no-GIL. C’est terminé lorsque le test répété de claim/free concurrents ne signale plus de data race tout en conservant le comportement attendu du tool-id ; le PR lié gh-154459 indique que le travail est déjà en cours.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- backend
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 25/100