Gắn ((hot)) rồi đo vòng lặp: 38,33 so 38,35 ms, bằng nhau. Nhưng readelf cho thấy hàm đã nhảy sang section .text.hot đúng như thiết kế. Lợi ích là cache lệnh, chỉ lộ ở quy mô lớn — và bài học về đo đúng đại lượng.
Niềm tin sách giáo khoa: switch dày đặc biên dịch thành jump table. Tôi đo bốn ví dụ dày đặc — gcc gấp thành công thức, thành bảng tra cứu, thành chuỗi so sánh. Bảng nhảy thật chỉ hiện ở 20 case. Đọc objdump trong container.
AddressSanitizer bắt cái lỗi ghi ngoài mảng mà -Wall bỏ lọt và chạy thường không sập. Nhưng tôi tưởng nó bắt ngay — ở -O1 trình dịch gấp lỗi đi, chẳng có truy cập thật để mà bắt. Đo thật trong container.
Kiểm tra tràn signed 'x+100 < x' bị trình dịch xóa thành return 0 — ngay ở -O0, không đợi -O2 như tôi tưởng. Còn unsigned thì quấn vòng đoán được, giữ nguyên phép so sánh. Đọc assembly thật để thấy vì sao bạn không được phát hiện tràn bằng chính phép tràn.
Một hàm đệ quy đuôi tràn ngăn xếp ở -O0 nhưng chạy 50 triệu tầng ở -O2. Và gcc còn khử được cả 'n + f(n-1)' bằng cách tự thêm biến tích lũy — nhiều hơn tôi tưởng. Nhưng TCO là tối ưu, không phải bảo đảm của C. Đo thật trong container.
Chuyển ngữ cảnh giữa hai tiến trình trên cùng một lõi tốn ~691 ns (đã gồm syscall pipe ~300 ns). Nhưng lần đầu không ghim lõi tôi đo ra 15.000 ns — vì hai tiến trình rơi vào hai lõi khác, chẳng có chuyển ngữ cảnh nào, tôi đo nhầm sang đánh thức xuyên lõi. Biến ẩn 'lõi nào chạy' đổi cả đại lượng.