proto.lib

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.

ConcurrencyCơ bản2026-07-07
Goroutine Leak - Blocked Forever

Tags

#goroutine-leak#unbuffered-channel#blocking#memory-leak#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

Sync-over-Async Deadlock: block một luồng pool để chờ chính pool đó

Gọi .Result/.get()/block_on bên trong request handler để chờ đồng bộ một tác vụ bất đồng bộ sẽ giữ chết một luồng worker, trong khi continuation của tác vụ đó lại phải xếp hàng chờ MỘT luồng worker khác trong cùng pool để chạy tiếp; nếu pool cạn luồng, không ai hoàn tất được gì — dịch vụ deadlock hoàn toàn dù CPU gần như rảnh.

#deadlock#thread-pool#async-await#blocking
ConcurrencyTrung bình

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.

#data-race#tsan#sanitizer#happens-before
ConcurrencyTrung bình

Writer Starvation trong RWLock: writer chờ vô hạn

Một readers-writer lock ưu tiên reader (reader-preferring) cho phép luồng đọc mới liên tục chen vào miễn còn ít nhất một reader đang giữ khoá, khiến writer chờ vô hạn; chính sách write-preferring hoặc phase-fair chặn reader mới khi có writer đang đợi để writer được vào sau khi các reader hiện tại kết thúc.

#rwlock#writer-starvation#fairness#phase-fair