paging, TLB, และ page fault ทำงานอย่างไร?

Question

IT Interview Practice · Accepted Answer

**Paging** และ **segmentation** เป็นสองวิธีในการจัดระเบียบ virtual address space ระบบสมัยใหม่ส่วนใหญ่อิงกับ paging อย่างท่วมท้น (บางครั้งมีชั้น segmentation บาง ๆ อยู่ด้านบน)

## Paging

หน่วยความจำเสมือนและจริงถูกตัดเป็น **page** และ **frame** ขนาดคงที่ (โดยทั่วไป 4 KB) **page table** แมปเพจเสมือน → frame จริง ที่อยู่หนึ่งจะแยกเป็น **หมายเลขเพจ (page number)** (ดัชนีเข้าตาราง) และ **offset**:

```text
 virtual address  =  [ page number | offset ]
                          │            │
              page table[page] = frame │
                          ▼            ▼
 physical address =  [   frame    | offset ]
```

Page table มีขนาดใหญ่ จึงเป็นแบบ **หลายชั้น (multi-level)** (เป็นต้นไม้) หรือ hashed และถูกเดิน (walk) โดย **MMU** ฮาร์ดแวร์

## TLB: ทำให้มันเร็ว

การเดิน page table หลายชั้นในทุกครั้งที่เข้าถึงหน่วยความจำจะทำให้ระบบพิการ **TLB (Translation Lookaside Buffer)** คือ cache ขนาดเล็กที่รวดเร็วเก็บการแปลเสมือน→จริงล่าสุดไว้ภายใน CPU:

```text
CPU needs addr → TLB hit?  ── yes ──▶ get frame immediately (~1 cycle)
                    │
                    └── no (TLB miss) → walk the page table, fill the TLB (slower)
```

อัตรา TLB hit ปกติ >99% การ miss หนึ่งครั้งแพงมาก จึงเป็นเหตุผลว่าทำไม **spatial locality** (ความเป็นท้องถิ่นเชิงพื้นที่) และฟีเจอร์อย่าง **huge page** (2 MB — ใช้ entry น้อยลงเพื่อครอบคลุม RAM เท่าเดิม) จึงสำคัญต่อประสิทธิภาพ

## Page fault

หาก entry ใน page table บอกว่าเพจ **ไม่มีอยู่ใน RAM** (หรือบิตป้องกันของมันถูกละเมิด) MMU จะยกธง trap **page fault** ขึ้นมา OS จัดการมัน: โหลดเพจจากดิสก์ (fault แบบ *major*), เติมศูนย์ให้เพจใหม่, หรือ copy-on-write page fault ที่ต้องอ่านดิสก์เสียเวลาหลายล้าน cycle — จึงเป็นเหตุว่าทำไมการรักษา working set ไว้ใน RAM จึงสำคัญ

## Segmentation

**Segmentation** แบ่งหน่วยความจำตาม **หน่วยเชิงตรรกะ** — code, data, stack — ออกเป็น **segment ขนาดผันแปร** โดยระบุที่อยู่ในรูป `[segment selector | offset]` มันแมปเข้ากับโครงสร้างโปรแกรมอย่างเป็นธรรมชาติ แต่ทนทุกข์กับ **external fragmentation** (ช่องว่างขนาดผันแปร) segmentation แบบบริสุทธิ์ส่วนใหญ่กลายเป็นประวัติศาสตร์ไปแล้ว x86 ยังเก็บรูปแบบที่เหลือเป็นเศษไว้ แต่ Linux ทำให้มันแบนราบและพึ่ง paging แทน

## ทำไมจึงสำคัญ

Paging, TLB, และ page fault คือจุดที่ "virtual memory" มาบรรจบกับประสิทธิภาพจริง ผู้สัมภาษณ์ใช้หัวข้อนี้ตรวจสอบว่าคุณเชื่อมนามธรรมเข้ากับต้นทุนฮาร์ดแวร์ได้หรือไม่: ทำไม huge page จึงลด TLB miss, ทำไมพายุ page fault จึงกดจม latency, และทำไมรูปแบบการเข้าถึงที่เป็นมิตรกับ cache/TLB จึงทำงานเร็ว มันยังเป็นพื้นฐานที่จำเป็นสำหรับ memory-mapped file, copy-on-write, และ thrashing

Paging

TLB: ทำให้มันเร็ว

Page fault

Segmentation

ทำไมจึงสำคัญ

คำถามที่เกี่ยวข้อง