Memahami Virtual Memory: Bagaimana OS Mengelola Memori

Setiap kali Anda menjalankan program, sistem operasi memberikan ilusi bahwa program tersebut memiliki seluruh ruang alamat memori untuk dirinya sendiri. Ini adalah virtual memory¹ — salah satu abstraksi paling penting dalam ilmu komputer modern.

Artikel ini akan membawa Anda memahami bagaimana virtual memory bekerja, dari konsep dasar hingga implementasi hardware di arsitektur x86-64.

Mengapa Virtual Memory?

Pada awal komputasi, program mengakses memori fisik secara langsung. Ini menimbulkan tiga masalah fundamental:

• Isolasi — Satu program bisa membaca/menulis memori program lain

• Fragmentasi — Memori fisik menjadi terpecah seiring program dimuat dan dihapus

• Kapasitas — Program dibatasi oleh jumlah RAM fisik yang tersedia

Virtual memory menyelesaikan ketiga masalah ini dengan menambahkan lapisan indirection antara alamat yang dilihat program (virtual address) dan alamat sebenarnya di RAM (physical address)².

Page Table dan Address Translation

Memori virtual dibagi menjadi blok berukuran tetap yang disebut page (biasanya 4 KB). Setiap page virtual dipetakan ke frame di memori fisik melalui struktur data yang disebut page table.

Proses translasi alamat:

1. CPU menghasilkan virtual address
2. Virtual address dipecah menjadi page number dan offset
3. Page number digunakan untuk mencari frame number di page table
4. Physical address = frame number + offset

Multi-Level Page Table

Dengan 48-bit address space dan 4 KB page, kita membutuhkan $2^{36}$ entri page table — sekitar 512 GB hanya untuk page table! Solusinya adalah multi-level page table⁴:

// x86-64 menggunakan 4-level page table
typedef struct {
    uint64_t entries[512];  // 512 entri × 8 byte = 4 KB per table
} PageTable;

// Virtual address breakdown (48-bit):
// [47:39] PML4 index   (9 bit → 512 entries)
// [38:30] PDPT index   (9 bit → 512 entries)
// [29:21] PD index     (9 bit → 512 entries)
// [20:12] PT index     (9 bit → 512 entries)
// [11:0]  Page offset  (12 bit → 4096 bytes)

Translation Lookaside Buffer (TLB)

Dengan 4 level page table, setiap akses memori membutuhkan 4 tambahan akses memori untuk walk page table. Ini jelas tidak praktis. Solusinya adalah TLB — cache khusus di dalam CPU yang menyimpan translasi alamat yang baru digunakan⁵.

// Pseudocode TLB lookup
PhysicalAddress translate(VirtualAddress vaddr) {
    // Check TLB first — O(1), parallel CAM lookup
    TLBEntry *entry = tlb_lookup(vaddr.page_number);
    if (entry && entry->valid) {
        // TLB hit — langsung dapat physical frame
        return (entry->frame_number << 12) | vaddr.offset;
    }

    // TLB miss — harus walk page table (mahal!)
    uint64_t frame = page_table_walk(vaddr);
    tlb_insert(vaddr.page_number, frame);
    return (frame << 12) | vaddr.offset;
}

TLB hit rate yang tinggi (>99%) sangat kritis untuk performa. Pada CPU modern:

Page Fault dan Demand Paging

Ketika program mengakses page yang tidak ada di RAM (bit present = 0 di page table entry), CPU menghasilkan page fault. OS kemudian:

1. Menentukan apakah akses valid (cek VMA — Virtual Memory Area)
2. Jika valid, cari frame kosong di RAM
3. Jika RAM penuh, pilih victim page menggunakan algoritma penggantian⁷
4. Muat page dari disk (swap) ke frame yang dipilih
5. Update page table entry
6. Restart instruksi yang menyebabkan fault

Huge Pages

Page 4 KB standar memiliki kelemahan — banyak TLB entries diperlukan untuk mengcover working set yang besar. Huge pages (2 MB atau 1 GB) mengurangi tekanan pada TLB secara signifikan:

// Linux: alokasi huge page
#include <sys/mman.h>

void *buf = mmap(NULL, 2 * 1024 * 1024,
    PROT_READ | PROT_WRITE,
    MAP_PRIVATE | MAP_ANONYMOUS | MAP_HUGETLB,
    -1, 0);

Dengan huge page 2 MB, satu TLB entry mencakup 512× lebih banyak memori dibandingkan page 4 KB biasa. Untuk aplikasi database atau scientific computing yang mengakses memori dalam pola besar, ini bisa meningkatkan performa 10-30%.

Penutup

Virtual memory adalah salah satu fondasi yang memungkinkan komputer modern berjalan — dari smartphone hingga server. Memahami bagaimana page table, TLB, dan page fault bekerja membantu Anda menulis program yang lebih efisien dan men-debug masalah performa yang tidak terlihat di level aplikasi.

Setiap pointer yang Anda gunakan adalah alamat virtual. Di balik setiap dereference, ada mesin translasi yang bekerja dalam satu clock cycle — begitu cepatnya hingga Anda lupa bahwa memori fisik sebenarnya ada di tempat lain.