Deadlock là các goroutine chờ nhau vòng tròn. Đo thật: runtime Go tự phát hiện deadlock toàn cục (mọi goroutine ngủ) nhưng KHÔNG bắt deadlock cục bộ 2 mutex ngược thứ tự. Bốn điều kiện Coffman, cách phòng bằng thứ tự khóa nhất quán, và công cụ chẩn đoán. Go 1.23.
Deadlock làm mọi goroutine đứng; livelock làm chúng bận rộn mà không tiến; starvation bỏ đói số ít. Đo thật: mẫu nhường nhau hiếm khi livelock trên runtime Go (1,03x lãng phí), nhưng starvation lộ 12x mất cân bằng dù Go mutex chống đói hoàn toàn. Cách phát hiện và tránh. Go 1.23.
Benchmark cho biết chậm, nhưng không cho biết khóa nào nghẽn. Mutex profile đo tổng thời gian goroutine phải chờ khóa. Đo thật: 10 goroutine tranh một mutex nóng tích lũy 20,8 giây chờ, 100% quy về đúng khóa đó, khóa nguội bị loại. Cách bật, phân tích, và sửa. Go 1.23.