python / python/cpython

time.tzset() races on process-global timezone state

Ouverte
#157,500 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

extension-modules 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:
import time, os, threading
N=8; ITERS=5000
barrier=threading.Barrier(N)
def setter():
    barrier.wait()
    for i in range(ITERS):
        os.environ['TZ']='UTC0' if i&1 else 'EST5EDT'
        time.tzset()
def reader():
    barrier.wait()
    for _ in range(ITERS):
        time.localtime(); 
        try: time.strftime('%Z')
        except Exception: pass
ts=[threading.Thread(target=setter) for _ in range(N//2)]+[threading.Thread(target=reader) for _ in range(N//2)]
[t.start() for t in ts]; [t.join() for t in ts]
print("done tzset")
WARNING: ThreadSanitizer: data race
  Read of size 4 by thread T3:
    #0 strncpy
    #1 get_zone       Modules/timemodule.c:1773
    #2 init_timezone  Modules/timemodule.c:1864
    #3 time_tzset     Modules/timemodule.c:1182
  Previous write of size 8 by thread T1 (malloc, in another time_tzset)
  Location is heap block of size 20 allocated by thread T1
(also: read at tmtotuple Modules/timemodule.c:490 — localtime/gmtime struct_time builder)

(truncated sanitizer output)
CPython versions tested on:

CPython main branch

Operating systems tested on:

Linux

Linked PRs
  • gh-157806

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 par Modules/timemodule.c, en particulier get_zone, init_timezone, time_tzset et le chemin tmtotuple indiqué dans le rapport du sanitizer. Reproduisez l’exemple avec ThreadSanitizer et examinez la PR liée gh-157806 ; le travail est terminé lorsque les race conditions signalées ne se produisent plus et que les API de fuseau horaire conservent leur comportement attendu.

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

Évaluation

Stack technique
c, python
Domaine
operating-systems
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
25/100

Recevez les nouvelles issues par e-mail

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