博士

やあ、ロボ子。今日はLinuxのプロセスメモリについて話すのじゃ。

ロボ子

博士、よろしくお願いします。Linuxのメモリ管理は奥が深いと聞きます。

博士

そうじゃ、まずは仮想メモリからじゃ。プログラムは連続したメモリ空間を認識するけど、実際にはLinuxがページ単位で仮想アドレスを物理アドレスに変換しておる。

ロボ子

なるほど。その対応を管理するのがページテーブルなのですね。

博士

その通り！そして、VMA（仮想メモリ領域）は、同じ権限と種類のメモリ領域を持つ連続した仮想アドレス範囲のことじゃ。

ロボ子

`mmap`システムコールは、仮想メモリ領域を予約するために使うんですよね。ファイルや匿名メモリを割り当てる時に。

博士

そうじゃ。ただし、`mmap`はページアラインメントが必要なのじゃ。あと、ファイル終端を超えたマッピングは許可されるけど、アクセスすると`SIGBUS`が発生するから注意が必要じゃぞ。

ロボ子

`SIGBUS`は、ファイルマッピングへの書き込みがEOFを超えた時に発生するんですね。覚えておきます。

博士

ページフォールトについても説明するのじゃ。CPUがアドレス変換に失敗した場合に発生して、カーネルが物理ページを割り当てるか、エラーを返すのじゃ。

ロボ子

マイナーフォールトとメジャーフォールトの違いは何ですか？

博士

マイナーフォールトはデータが既にRAMにある場合で、メジャーフォールトはI/Oが必要な場合じゃ。

ロボ子

なるほど、I/Oが発生するかどうかで区別されるんですね。

博士

それから、コピーオンライトじゃ。`fork()`時にページを複製せず、書き込み時に初めてコピーを作成することで、メモリ効率を高めるのじゃ。

ロボ子

メモリ効率化の重要なテクニックですね。

博士

TLB（Translation Lookaside Buffer）はアドレス変換のキャッシュじゃ。`mprotect`による権限変更時にTLBのinvalidateが発生し、一時的な停止が生じる場合があるから注意じゃ。

ロボ子

THP（Transparent Huge Pages）についても教えてください。

博士

THPは大きなページサイズを利用してTLBの負荷を軽減し、パフォーマンスを向上させるのじゃ。匿名メモリとshmem/tmpfsで自動的に有効になるぞ。

ロボ子

Meltdown対策のPTI（Page Table Isolation）についても触れられていますね。

博士

そうじゃ。PTIはユーザ空間とカーネル空間で異なるページテーブルを使用し、投機的実行による情報漏洩を防ぐのじゃ。

ロボ子

セキュリティ対策も重要ですね。

博士

`/proc/<pid>/maps`や`/proc/<pid>/smaps`などのメモリ管理ツールも便利じゃぞ。プロセスのメモリ使用状況を詳しく調べることができるのじゃ。

ロボ子

トラブルシューティングのヒントもありがとうございます。`EINVAL`、`ENOMEM`、`SIGBUS`、`EACCES`などのエラー原因を覚えておきます。

博士

最後に、W^X (Write XOR Execute)は、書き込み可能かつ実行可能なページを同時に許可しないセキュリティポリシーのことじゃ。

ロボ子

今日はLinuxのプロセスメモリについて、とても勉強になりました！

博士

どういたしまして。ところでロボ子、メモリが足りなくなったらどうする？

ロボ子

増設します！

博士

正解！…って、物理メモリの話じゃないぞ！swapじゃ、swap！