როგორ მუშაობს paging, TLB და page fault-ები?

Question

IT Interview Practice · Accepted Answer

**Paging** და **segmentation** ვირტუალური address space-ის ორგანიზების ორი გზაა; თანამედროვე სისტემები აბსოლუტურად paging-ზეა დაფუძნებული (ზოგჯერ ზემოდან segmentation-ის თხელი ფენით).

## Paging

ვირტუალური და ფიზიკური მეხსიერება იჭრება ფიქსირებული ზომის **page-ებად** და **frame-ებად** (ჩვეულებრივ 4 KB). **Page table** ასახავს virtual page → physical frame. მისამართი იყოფა **page number-ად** (ინდექსი ცხრილში) და **offset-ად**:

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

Page table-ები დიდია, ამიტომ ისინი **მრავალდონიანია** (ხე) ან hashed, და hardware-ის **MMU**-ს მიერ იკვლევა (walk).

## TLB: სისწრაფის მისაცემად

მრავალდონიანი page table-ის კვლევა ყოველ მეხსიერების წვდომაზე დამბლას გამოიწვევდა. **TLB (Translation Lookaside Buffer)** არის პატარა, სწრაფი cache ბოლოდროინდელი virtual→physical თარგმანებისა, 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 pages** (2 MB — ნაკლები entry იმავე RAM-ის დასაფარად) მნიშვნელოვანია წარმადობისთვის.

## Page fault-ები

თუ page-table entry ამბობს, რომ page **არ არის RAM-ში** (ან მისი დაცვის ბიტები დარღვეულია), MMU წამოჭრის **page fault** trap-ს. OS ამუშავებს მას: ჩატვირთავს page-ს დისკიდან (*major* fault), ნულებით შეავსებს ახალ page-ს, ან 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" რეალურ წარმადობას ხვდება. ინტერვიუერები ამას იყენებენ იმის შესამოწმებლად, აკავშირებთ თუ არა აბსტრაქციებს hardware-ის ღირებულებასთან: რატომ ამცირებს huge pages TLB miss-ებს, რატომ ანადგურებს page-fault-ის ქარიშხალი latency-ს, და რატომ მუშაობს cache/TLB-ისთვის მოსახერხებელი წვდომის შაბლონები სწრაფად. ეს ასევე აუცილებელი ფონია memory-mapped ფაილებისთვის, copy-on-write-ისთვის და thrashing-ისთვის.

Paging

TLB: სისწრაფის მისაცემად

Page fault-ები

Segmentation

რატომ არის ეს მნიშვნელოვანი

დაკავშირებული კითხვები