Trình biên dịch Go tự quyết biến nào ở lại stack (rẻ) và biến nào thoát lên heap (do GC quản). Đo thật: cùng logic, slice cỡ hằng số 0 cấp phát 0.23 ns, slice cỡ biến 128 byte 27.94 ns — chậm 120 lần. Cách đọc output -m và vì sao nó quan trọng. Go 1.23.
Con trỏ không tự làm biến lên heap — nó chỉ buộc thoát khi biến sống lâu hơn hàm. Đo thật bốn mẫu kinh điển bằng gcflags=-m: trả con trỏ, lưu toàn cục, đóng gói interface, và leaking param. Con trỏ dùng nội bộ vẫn ở stack 0 cấp phát. Go 1.23.
Go cấp phát bộ nhớ qua ba tầng như tcmalloc: mcache mỗi P không khoá, mcentral có khoá, mheap khoá heap. Đo thật: cấp đối tượng nhỏ song song còn nhanh hơn một luồng (mcache per-P), cấp lớn song song chậm gấp 3 vì tranh khoá mheap. Và tiny allocator gộp đối tượng nhỏ. Go 1.23.
pprof cho biết cấp phát ở hàm nào, dòng nào. Nhưng có hai góc nhìn khác hẳn: đo thật cùng một chương trình, inuse_space chỉ hàm giữ 47MB RAM còn alloc_space chỉ hàm churn 515MB — hai thủ phạm hoàn toàn khác. Chọn sai chỉ số là đuổi nhầm. Go 1.23.
Cần 10 phần tử lớn nhất từ 8 triệu? Sắp xếp cả mảng rồi lấy 10 đầu là cách ai cũng nghĩ tới — và là cách sai. Bài này đo thật trong go-lab: min-heap size k lấy top-10 trong 4,3 ms, còn full sort mất hơn 1 giây — nhanh hơn 247 lần. Kèm cơ chế heap làm hàng đợi ưu tiên với Push/Pop O(log n), nền tảng của Dijkstra và lập lịch.
Dijkstra tìm đường đi ngắn nhất, nhưng tốc độ của nó phụ thuộc vào một chi tiết: tìm đỉnh gần nguồn nhất bằng cách nào. Bài này đo thật trong go-lab: bản quét mảng O(V²) mất 3,55 giây trên đồ thị thưa 50.000 đỉnh, còn bản dùng heap O((V+E)log V) chỉ 16,9 ms — nhanh hơn 210 lần, cùng kết quả. Nhưng trên đồ thị dày, bản mảng lại cạnh tranh.