Vì sao cần bộ nhớ ảo — địa chỉ ảo vs địa chỉ vật lý

TL;DR: Địa chỉ mà chương trình bạn đọc và ghi (0x400000, một con trỏ) hầu như không bao giờ là vị trí thật trên thanh RAM — nó là địa chỉ ảo (virtual address). Mỗi tiến trình được hệ điều hành cấp một không gian địa chỉ ảo riêng: một dải địa chỉ liền mạch, bắt đầu từ 0, như thể nó độc chiếm toàn bộ bộ nhớ máy. Phần cứng và OS dịch mỗi địa chỉ ảo sang một địa chỉ vật lý (physical address) thật khi truy cập. Lớp gián tiếp này giải quyết ba bài toán cùng lúc: cách ly (tiến trình này không đọc/ghi đè tiến trình kia), đơn giản (mọi chương trình thấy bố cục bộ nhớ giống nhau, không cần biết RAM thật còn trống ở đâu), và vượt giới hạn RAM (chương trình dùng nhiều bộ nhớ hơn RAM vật lý, phần thừa nằm trên đĩa).

Hai chương trình chạy cùng lúc, cả hai cùng nạp code tại địa chỉ 0x400000. Nếu đó là vị trí thật trên RAM, chúng đã đè lên nhau và crash. Nhưng chúng chạy bình thường. Một con trỏ null (0x0) bị đọc → Segmentation fault ngay, thay vì âm thầm trả về rác. Ai dựng được những điều đó?

Câu trả lời là bộ nhớ ảo — một lớp dịch địa chỉ nằm giữa chương trình và RAM. Bài này giải thích vì sao lớp đó tồn tại, và phân biệt rạch ròi địa chỉ ảo (cái chương trình thấy) với địa chỉ vật lý (cái RAM thật dùng) — nền tảng cho mọi bài còn lại của module.

1. Analogy — bản đồ phòng riêng của mỗi khách

Hình dung một khách sạn lớn. Mỗi khách nhận một bản đồ riêng đánh số phòng từ 1 trở đi: "phòng 1 là phòng ngủ, phòng 2 là kho, phòng 3 là ban công". Nhưng phòng thật nằm rải rác khắp các tầng — phòng 3 trên bản đồ của khách A có thể là phòng 512 thật, còn phòng 3 của khách B là phòng 47 thật.

Lễ tân giữ, cho mỗi khách, một bảng tra dịch "số phòng trên bản đồ của anh" sang "số phòng thật trong toà nhà". Nhờ vậy:

• Hai khách cùng nói "tôi về phòng 3" nhưng đi tới hai phòng thật khác nhau — không ai vào nhầm phòng ai (cách ly).
• Mỗi khách thấy phòng đánh số gọn từ 1, không cần biết toà nhà thật bố trí ra sao (đơn giản).
• Khách sạn có thể dọn một phòng ít dùng vào kho dưới hầm và chỉ kéo lên khi khách cần (vượt sức chứa).

2. Địa chỉ ảo và địa chỉ vật lý

Khi bạn in một con trỏ trong C hay đọc địa chỉ một biến, con số nhận được là địa chỉ ảo — toạ độ trong không gian địa chỉ riêng của tiến trình:

int x = 42;
printf("%p\n", (void*)&x);   // vi du: 0x7ffd3a2c4b1c -- dia chi AO

Con số đó không nói cho bạn biết byte 42 nằm ở ô nhớ vật lý nào. Hai lần chạy cùng chương trình có thể in ra cùng một địa chỉ ảo, nhưng dữ liệu nằm ở hai chỗ vật lý khác nhau — vì mỗi lần chạy là một tiến trình với bảng tra riêng.

• Địa chỉ ảo (virtual address): địa chỉ trong không gian địa chỉ của tiến trình. Mọi địa chỉ chương trình thao tác đều là ảo. Trên máy 64-bit, không gian này khổng lồ (lý thuyết tới 2^48 byte) và liền mạch — chương trình thấy một dải địa chỉ thẳng từ thấp tới cao.
• Địa chỉ vật lý (physical address): chỉ số byte thật trên các thanh RAM. Bị giới hạn bởi RAM lắp đặt (ví dụ 16 GB). Chỉ phần cứng bộ nhớ và OS làm việc trực tiếp với nó.

Bố cục một không gian địa chỉ ảo điển hình (từ thấp tới cao) — đây là cái mọi tiến trình đều thấy giống nhau, bất kể RAM thật:

Bố cục này là ảo. Hai tiến trình đều có code quanh 0x400000, heap, stack ở cùng vùng địa chỉ ảo — nhưng bảng tra của mỗi tiến trình trỏ các vùng đó tới các khung vật lý khác nhau. Đó là lý do chúng không đụng nhau.

3. Cơ chế — một lớp gián tiếp, ba bài toán

Bộ nhớ ảo chỉ là một lớp gián tiếp (indirection): thay vì chương trình chạm thẳng RAM, mọi truy cập đi qua một bước dịch. "Mọi bài toán trong khoa học máy tính đều giải được bằng thêm một lớp gián tiếp" — đây là ví dụ kinh điển nhất. Một bước dịch giải quyết ba bài toán:

flowchart TD
  subgraph P1["Tien trinh A (khong gian ao rieng)"]
    VA1["Dia chi ao 0x400000"]
  end
  subgraph P2["Tien trinh B (khong gian ao rieng)"]
    VA2["Dia chi ao 0x400000"]
  end
  VA1 -->|page table cua A| F1["Khung vat ly #512"]
  VA2 -->|page table cua B| F2["Khung vat ly #47"]
  F1 --> RAM["RAM vat ly"]
  F2 --> RAM

1. Cách ly (protection). Mỗi tiến trình chỉ dịch được trong bảng tra của nó. Địa chỉ ảo của tiến trình A không có lối ánh xạ tới khung của B — nên A không thể đọc/ghi bộ nhớ của B dù muốn. Một địa chỉ chưa được ánh xạ (ví dụ 0x0) không tra được → phần cứng báo lỗi → OS gửi tín hiệu SIGSEGV (chính là Segmentation fault). Đây là tường thành giữ một process lỗi không kéo sập cả máy.

2. Đơn giản hoá cho chương trình. Mọi chương trình được biên dịch với giả định "tôi có một không gian địa chỉ liền mạch của riêng tôi, code ở 0x400000". Compiler và linker không cần biết lúc chạy RAM còn trống ở đâu — OS lo việc trỏ các trang ảo vào bất kỳ khung vật lý nào còn rảnh. RAM vật lý có thể phân mảnh tứ tung, nhưng tiến trình vẫn thấy bộ nhớ liền mạch.

3. Vượt giới hạn RAM. Vì có lớp dịch, một trang ảo không nhất thiết phải luôn nằm trong RAM. Phần ít dùng có thể đẩy ra swap trên đĩa; khi chương trình chạm tới, OS kéo nó về (bài 04). Nhờ vậy tổng bộ nhớ các tiến trình dùng được vượt dung lượng RAM thật — và mmap cho phép ánh xạ cả một file lớn hơn RAM vào không gian địa chỉ (bài 05).

4. Hệ quả thực tế bạn đã gặp

Cơ chế trừu tượng này hiện ra ở những thứ rất cụ thể:

• Segmentation fault khi deref con trỏ null hoặc dangling. Địa chỉ đó không nằm trong vùng ánh xạ hợp lệ của tiến trình → MMU không dịch được → SIGSEGV. Bộ nhớ ảo chính là thứ biến một lỗi con trỏ thành crash sạch thay vì âm thầm hỏng dữ liệu process khác.
• Hai tiến trình, cùng địa chỉ in ra, khác dữ liệu. Vì địa chỉ in ra là ảo, và mỗi tiến trình có bảng tra riêng.
• Address Space Layout Randomization (ASLR). OS xáo vị trí các vùng trong không gian ảo mỗi lần chạy để khó khai thác lỗ hổng. Làm được vì địa chỉ là ảo — đổi ánh xạ không ảnh hưởng tính đúng của chương trình.
• Shared library nạp một lần, dùng nhiều process. Cùng các trang vật lý của libc được ánh xạ vào không gian ảo của nhiều tiến trình (bài 05) — tiết kiệm RAM mà mỗi process vẫn thấy thư viện ở địa chỉ riêng.

5. Pitfall tổng hợp

❌ Nhầm 1: Nghĩ con trỏ in ra là vị trí thật trên RAM. Nó là địa chỉ ảo; bạn không suy ra được layout RAM vật lý từ nó, và so sánh địa chỉ giữa hai tiến trình là vô nghĩa.

❌ Nhầm 2: Tưởng "máy 16 GB RAM thì mỗi tiến trình tối đa 16 GB không gian địa chỉ". Không gian địa chỉ ảo trên 64-bit lớn hơn RAM nhiều bậc; giới hạn thực tế là RAM + swap + chính sách OS, không phải mỗi RAM.

❌ Nhầm 3: Cho rằng cấp phát bộ nhớ ảo (ví dụ malloc lớn hay mmap) tiêu thụ RAM ngay. Thường OS chỉ hứa dải địa chỉ ảo; RAM vật lý chỉ được gán khi bạn thật sự chạm vào trang (page fault đầu tiên) — gọi là lazy allocation, chi tiết ở bài 04.

6. Đào sâu (tuỳ chọn)

7. Liên hệ các bài khác

• Bài 02 — Paging & page table: "bảng tra của lễ tân" thật ra hoạt động thế nào — bộ nhớ chia trang và ánh xạ trang ảo sang khung vật lý.
• Bài 03 — MMU & TLB: ai dịch mỗi truy cập (MMU) và làm sao không chậm (TLB cache bản dịch).
• Module 1 — Bố cục bộ nhớ tiến trình: bố cục stack/heap/static mà bài này vừa chỉ ra là ảo — giờ bạn biết vì sao mọi tiến trình thấy nó giống nhau.

8. Tóm tắt

• Mọi địa chỉ chương trình thao tác là địa chỉ ảo; địa chỉ thật trên RAM là địa chỉ vật lý. Giữa hai cái luôn có một bước dịch.
• Mỗi tiến trình có một không gian địa chỉ ảo riêng, liền mạch, như độc chiếm máy — nên hai tiến trình cùng dùng 0x400000 mà không đụng nhau.
• Bộ nhớ ảo là một lớp gián tiếp giải quyết ba bài toán: cách ly (process không chạm bộ nhớ nhau), đơn giản (mọi chương trình thấy layout giống nhau), và vượt giới hạn RAM (swap, mmap).
• Segmentation fault là biểu hiện của cơ chế bảo vệ: địa chỉ ảo không ánh xạ hợp lệ → phần cứng từ chối → OS gửi SIGSEGV.
• Không gian địa chỉ ảo (64-bit) lớn hơn RAM nhiều bậc; cấp phát ảo không tiêu RAM tới khi trang bị chạm thật.

9. Tự kiểm tra

Bài tiếp theo: Paging & page table