time.tzset() races on process-global timezone state
Đang mở
Chưa có ai nhận issue này.
extension-modules
type-bug
- Ngôn ngữ chính
- Python
- Star
- 77.2k
- Fork
- 35.9k
- Chỉ số merge pull request
- Chỉ số pull request đang chờ
Mô tả
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
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu với Modules/timemodule.c, đặc biệt là get_zone, init_timezone, time_tzset và đường dẫn tmtotuple được nêu trong báo cáo sanitizer. Tái hiện ví dụ bằng ThreadSanitizer và xem xét PR được liên kết gh-157806; hoàn tất khi các race condition được báo cáo không còn xảy ra và các API múi giờ vẫn giữ nguyên hành vi như mong đợi.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- c, python
- Lĩnh vực
- operating-systems
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 25/100