Contoh Pada Sistem Operasi

Pada bagian ini kita akan membahas beberapa contoh dalam penggunaan memori virtual .

Windows NT

Windows NT mengimplementasikan memori virtual dengan menggunakan demand paging melalui clustering. Clustering menanganani page fault dengan menambahkan tidak hanya page yang terkena fault, tetapi juga beberapa page yang ada di didekat page tersebut. Saat proses pertama dibuat, dia diberikan working- set minimum yaitu jumlah minimum page yang dijamin akan dimiliki oleh proses tersebut dalam memori. Jika memori yang cukup tersedia, proses dapat diberikan page sampai sebanyak working-set maximum . Manajer memori virtual akan menyimpan daftar dari frame page yang bebas. Terdapat juga sebuah nilai batasan yang diasosiasikan dengan daftar ini untuk mengindikasikan apakah memori yang tersedia masih mencukupi. Jika proses tersebut sudah sampai pada working-set maximum-nya dan terjadi page fault , maka dia harus memilih page pengganti dengan menggunakan kebijakan penggantian page lokal FIFO.

Saat jumlah memori bebas jatuh di bawah nilai batasan, manajer memori virtual menggunakan sebuah taktik yang dikenal sebagai automatic working-set trimming untuk mengembalikan nilai tersebut di atas batasan. Hal ini bekerja dengan mengevaluasi jumlah page yang dialokasikan kepada proses. Jika proses telah mendapat alokasi page lebih besar daripada working-set minimum -nya, manajer memori virtual akan menggunakan algoritma FIFO untuk mengurangi jumlah page-nya sampai working-set minimum . Jika memori bebas sudah tersedia, proses yang bekerja pada working set minimum dapat mendapatkan page tambahan.

Solaris 2

Dalam sistem operasi Solaris 2, jika sebuah proses menyebabkan terjadi page fault, kernel akan memberikan page kepada proses tersebut dari daftar page bebas yang disimpan. Akibat dari hal ini adalah, kernel harus menyimpan sejumlah memori bebas. Terhadap daftar ini ada dua parameter yg disimpan yaitu minfree dan lotsfree, yaitu batasan minimum dan maksimum dari memori bebas yang tersedia. Empat kali dalam tiap detiknya, kernel memeriksa jumlah memori yang bebas. Jika jumlah tersebut jatuh di bawah minfree, maka sebuah proses pageout akan dilakukan, dengan pekerjaan sebagai berikut. Pertama clock akan memeriksa semua page dalam memori dan mengeset bit referensi menjadi 0. Saat berikutnya, clock kedua akan memeriksa bit referensi page dalam memori, dan mengembalikan bit yang masih di set ke 0 ke daftar memori bebas. Hal ini dilakukan sampai jumlah memori bebas melampaui parameter lotsfree . Lebih lanjut, proses ini dinamis, dapat mengatur kecepatan jika memori terlalu sedikit. Jika proses ini tidak bisa membebaskan memori, maka kernel memulai pergantian proses untuk membebaskan page yang dialokasikan ke proses-proses tersebut.

Linux

Seperti pada solaris 2, linux juga menggunakan variasi dari algoritma clock. Thread dari kernel linux (kswapd) akan dijalankan secara periodik (atau dipanggil ketika penggunaan memori sudah berlebihan). Jika jumlah page yang bebas lebih sedikit dari batas atas page bebas, maka thread tersebut akan berusaha untuk membebaskan 3 page. Jika lebih sedikit dari batas bawah page bebas, thread tersebut akan berusaha untuk membebaskan 6 page dan 'tidur' untuk bebe- rapa saat sebelum berjalan lagi. Saat dia berjalan, akan memeriksa mem_map, daftar dari semua page yang terdapat di memori. Setiap page mempunyai byte umur yang diinisialisa- sikan ke 3. Setiap kali page ini diakses, maka umur ini akan ditambahkan (hingga maksimum 20), setiap kali kswapd memeriksa page ini, maka umur akan dikurangi. Jika umur dari sebuah page sudah mencapai 0 maka dia bisa ditukar. Ketika kswapd berusaha membebaskan page, dia pertama akan membebaskan page dari cache, jika gagal dia akan mengurangi cache sistim berkas, dan jika semua cara sudah gagal, maka dia akan menghentikan sebuah proses. Alokasi memori pada linux menggunakan dua buah alokasi yang utama, yaitu algoritma buddy dan slab. Untuk algoritma buddy, setiap rutin pelaksanaan alokasi ini dipanggil, dia memeriksa blok memori berikutnya, jika ditemukan dia dialokasikan, jika tidak maka daftar tingkat berikutnya akan diperiksa. Jika ada blok bebas, maka akan dibagi jadi dua, yang satu dialokasikan dan yang lain dipindahkan ke daftar yang di bawahnya.