Data Race Detector (ThreadSanitizer): "chạy được" không có nghĩa là đúng

TSan instrument mọi truy cập bộ nhớ và mọi thao tác lock, giữ vector clock (happens-before view) cho từng thread cùng shadow memory ghi ai đã đọc/ghi ô nhớ nào; hễ hai thread chạm cùng địa chỉ mà không có quan hệ happens-before nào giữa chúng, nó báo race ngay cả khi lần chạy đó ra kết quả đúng.

ConcurrencyTrung bình2026-08-21

Hai hàng đợi nối tiếp: thread pool request và connection pool DB Container thrash: runtime thấy sai số CPU so với cgroup quota

Data Race Detector (ThreadSanitizer): "chạy được" không có nghĩa là đúng

Tags

#data-race #tsan #sanitizer #happens-before #vector-clock #shadow-memory #debugging

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

ConcurrencyNâng cao

Acquire/Release Memory Order

Acquire trên load và release trên store thiết lập happens-before giữa hai thread mà không cần sequential consistency đầy đủ, rẻ hơn nhưng vẫn đúng.

#memory-order#acquire-release#happens-before#atomic

ConcurrencyCơ bản

Goroutine Leak - Blocked Forever

Goroutine gửi vào channel không buffer nhưng không ai nhận, khiến nó bị block vĩnh viễn và tích tụ leak theo thời gian.

#goroutine-leak#unbuffered-channel#blocking#memory-leak

ConcurrencyNâng cao

Memory Visibility & Happens-Before

Không có đồng bộ hóa, một luồng có thể không thấy ghi của luồng khác do cache/reordering; volatile/lock thiết lập happens-before.

#memory-model#happens-before#volatile#visibility