プロセスへのメモリ割り当て4 - 実際に使うときにメモリを獲得するデマンドページング(実践編)

以下動画のテキストです。
https://youtu.be/GwLZaMPhInM

Transcript

1. プロセスへのメモリ割り当て(4) 実際に使うときにメモリを獲得する デマンドページング(実践編) Jul. 19th, 2024 Satoru Takeuchi X: satoru_takeuchi 1
2. はなすこと • これまでに学んだこと ◦ Linuxはデマンドページング方式でプロセスにメモリを割り当てる • 実際にそうなることを実験で確認 • 実験環境 ◦ Ubuntu 22.04.4 LTS ◦ kernel 5.15.0-107-generic 2
3. 実験プログラム • demand-paging.py ◦ mmapを呼び出して100MiBのメモリを獲得 ◦ 1秒に1回、先頭から順番に 10MiBづつ、合計100MiBの領域にアクセス 3 仮想アドレス空間 1. 100MiBの領域をmmap 2. 先頭10MiBにアクセス 3. 次の10MiBにアクセス …
4. 実験中に別端末でメモリ関連の統計情報を見る • sar -r 1 ◦ 1秒間に1回メモリ関連統計情報を出力 • 見るべきフィールド ◦ kbmemused: 使用中のメモリ量[KiB] 4
5. 実験中… • 上の端末 ◦ ./demand-paging.py • 下の端末 ◦ sar -r 1 5
6. まとめ • Linuxがデマンドページング方式でメモリ獲得していることがわかった ◦ mmap発行時にはメモリ使用量は増えない ◦ メモリ使用量が増えるのは実際にメモリアクセスしたとき 6