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.
Planner quy mọi kế hoạch về một con số cost để so sánh. Hiểu công thức từ seq_page_cost, cpu_tuple_cost, và tự tay tính lại đúng cost một Seq Scan — rồi thấy planner luôn chọn phương án cost thấp nhất.
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.
DI trong Go có hai lối: nối dây thủ công gọi constructor đúng thứ tự, hoặc wire của Google sinh mã tự động. Đo thật trong Go 1.23: wire suy thứ tự từ kiểu tham số và sinh đúng mã bạn viết tay, bắt thiếu provider ngay lúc sinh mã, và mã sinh ra có 0 reflection.
Cùng một kế hoạch có thể nhanh hay chậm tuỳ dữ liệu nằm trong cache hay trên đĩa. Tuỳ chọn BUFFERS của EXPLAIN cho bạn thấy số trang shared hit so với read, chìa khoá hiểu cache lạnh và nóng — đo thật trên PostgreSQL 16.
Trước khi tối ưu phải có mốc đo tin cậy. Cách dùng pgbench sinh dữ liệu lớn và đo TPS/latency thật, phân biệt tải đọc và đọc-ghi, và những nguyên tắc để con số không bị nhiễu bởi cache lạnh hay dữ liệu tí hon.
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.