Khi thực thi lệnh gcc main.c -o program và chạy ./program, hệ thống trải qua quy trình biến đổi phức tạp từ mã nguồn sang lệnh máy. Dưới đây là phân tích chi tiết về từng giai đoạn.

main.c mẫu:

#define PI 3.14159
#include <stdio.h>

int main() {
    double radius = 5.0;
    double area = PI * radius * radius;
    printf("Area: %.2f\n", area);
    return 0;
}

Giai đoạn 1: Tiền xử lý (Preprocessing) Trình tiền xử lý xử lý các chỉ thị bắt đầu bằng #:

• Mở rộng thư viện header
• Thay thế hằng số macro
• Xử lý điều kiện biên dịch
• Xóa chú thích

Xem kết quả tiền xử lý:

gcc -E main.c -o main.i

Tệp main.i sẽ chứa mã mở rộng từ stdio.h và giá trị PI được thay thế.

Giai đoạn 2: Biên dịch (Compilation) Trình biên dịch chuyển đổi mã C thành assembly:

• Phân tích từ vựng
• Xây dựng cây cú pháp
• Kiểm tra ngữ nghĩa
• Tối ưu hóa mã
• Tạo mã assembly

Tạo file assembly:

gcc -S main.c -o main.s

Mã assembly mẫu:

.section .rodata
.LC0:
    .string "Area: %.2f\n"
.LC1:
    .long 25
.text
.globl main
main:
    pushq   %rbp
    movq    %rsp, %rbp
    movabsq $25, %rax
    cvtsi2sd %rax, %xmm0
    movsd   .LC1(%rip), %xmm1
    addsd   %xmm1, %xmm0
    movq    %xmm0, %xmm0
    movl    $.LC0, %edi
    call    printf
    movl    $0, %eax
    popq    %rbp
    ret

Giai đoạn 3: Tập hợp (Assembly) Trình tập hợp chuyển assembly thành mã máy:

• Chuyển đổi lệnh assembly thành mã máy
• Tạo file đối tượng (.o)
• Xây dựng bảng ký hiệu

Tạo file đối tượng:

gcc -c main.c -o main.o

Giai đoạn 4: Liên kết (Linking) Trình liên kết kết hợp các file đối tượng và thư viện:

• Xử lý ký hiệu
• Định vị địa chỉ
• Liên kết thư viện
• Tạo tập lệnh thực thi

Quy trình đầy đủ:

gcc main.c -o program

Cấu trúc mã máy Với kiến trúc x86-64, một lệnh máy điển hình bao gồm:

• Mã lệnh (Opcode)
• Mô hình địa chỉ (ModR/M)
• Tham số 1
• Tham số 2

Ví dụ: Lệnh movsd $25.0, %xmm0 tương ứng với mã máy F2 0F 10 05 00 00 00 00.

Bố cục bộ nhớ Khi hệ điều hành tải tập lệnh, bộ nhớ được phân chia:

• Phân vùng ngăn xếp (stack): Biến cục bộ
• Phân vùng heap: Phân bổ động
• Đoạn dữ liệu (data): Biến toàn cục
• Đoạn mã (text): Lệnh chương trình

Quá trình thực thi CPU thực hiện vòng lặp:

1. Lấy lệnh (Fetch)
2. Giải mã (Decode)
3. Thực thi (Execute)
4. Cập nhật PC

Thực thi hàm Khi gọi hàm printf:

1. Truyền tham số qua thanh ghi
2. Lưu trạng thái hiện tại
3. Chuyển tiếp đến địa chỉ hàm
4. Thực thi hàm
5. Khôi phục trạng thái

Tối ưu hóa Trình biên dịch áp dụng:

• Gộp hằng số: int x = 3 * 4 → int x = 12
• Loại bỏ mã chết
• Tối ưu vòng lặp
• Nội tuyến hàm
• Phân bổ thanh ghi

Mức độ tối ưu:

gcc -O0 main.c
gcc -O2 main.c
gcc -O3 main.c

Khác biệt kiến trúc

• x86-64: Tập lệnh phức tạp (CISC), lệnh có độ dài biến
• ARM: Tập lệnh giản lược (RISC), lệnh cố định

Công cụ phân tích

• objdump -d main.o: Giải mã assembly
• readelf -S program: Xem cấu trúc ELF
• gdb program: Gỡ lỗi
• strace ./program: Theo dõi hệ thống

Xu hướng hiện đại

• JIT: Biên dịch tại thời điểm chạy (Java, .NET)
• AOT: Biên dịch trước (Go, Rust)