Là một lập trình viên yêu công nghệ, thích viết blog để chia sẻ kiến thức, kinh nghiệm lập trình và những điều thú vị trong thế giới tech.
String là header 16 byte trỏ vào dữ liệu bất biến, không có cap. Đo thật: substring s[7:13] miễn phí (chia sẻ backing, 0 cấp phát) nhưng chuyển string sang []byte phải copy toàn bộ (21 ns, 1 cấp phát) vì string bất biến còn byte sửa được. Vì sao và khi nào tốn kém. Go 1.23.
Goroutine sinh ra với stack 2KB chứ không phải 8MB như OS thread. Đo thật: 100.000 goroutine chỉ 2051 bytes stack mỗi cái; khi đệ quy sâu, runtime cấp stack gấp đôi (tỉ lệ x2.00 chính xác) và copy toàn bộ khung — địa chỉ biến cục bộ nhảy vùng. Go 1.23.
Gán giá trị vào interface có thể cấp phát heap để đóng hộp. Đo thật: int nhỏ 0-255 và con trỏ đều 0 cấp phát, nhưng int lớn (8 byte) và struct (16 byte) mỗi lần gán tốn 1 cấp phát. Vì sao, khi nào Go tối ưu, và cách tránh bằng generics. Go 1.23.
So sánh cột với sai kiểu dữ liệu khiến PostgreSQL chèn ép kiểu — và nếu nó ép vế cột, index chết. Đo thật: int8 so với numeric literal chạy Seq Scan 55 ms so với 0,04 ms; hướng ép quyết định tất cả. Cách đọc EXPLAIN để phát hiện và cách sửa. PostgreSQL 16.
Panic trace không phải chữ đỏ đáng sợ mà là bản đồ đầy đủ để tìm bug. Bài này mổ xẻ từng phần: số hiệu goroutine, trạng thái [running]/[chan receive]/[sync.Mutex.Lock], ngăn xếp đọc từ đâu, tham số hex, tín hiệu SIGSEGV — và dùng runtime.Stack chụp mọi goroutine. Đo thật trong Go 1.23.
Test ví dụ kiểm từng cặp input-output cụ thể; property-based testing khẳng định một tính chất đúng với mọi input rồi để máy sinh hàng vạn input tìm phản ví dụ. Đo thật trong Go với testing/quick: bất biến sắp xếp qua 100k input, và round-trip lộ bug logic khi list rỗng ra [0] — thứ fuzzing trần bỏ lọt.