xv6: OSはどうメモリを参照、管理するのか(後編)
コンテンツ
この記事ではブートからカーネルのメイン関数に入るまでxv6がいかにメモリを参照するのかを追った前回の記事に続き、メイン関数以降のカーネル空間とユーザー空間でのメモリ管理の構造を追います。具体的には、xv6はMMU(メモリ管理機構)の2段のページング構造を使っていて、これは段数は違えどLinuxのメモリー管理構造と本質的には同じです。
main.c
xv6がブートし、entry.S
からカーネルのメイン関数に入ると、まずメモリのセットアップが行われます。先頭にあるkinit1
関数と kvmalloc
関数の二つがカーネルモードのメモリ空間を2段のページング構造を使ってセットアップし、デバイスの初期化や割り込みの設定等の後にkinit2
関数とuserinit
関数がユーザーモード用のメモリをセットアップします。
|
|
カーネルモード
まずはカーネルモードのメモリ管理を追っていきます。ここでは先述したページングを使ったメモリ管理の仕組みがポイントとなります。そしてカーネルモードでのメモリページのマッピングは実はユーザーモードでも使われています。
メモリアロケーション
メイン関数の一番最初にあるkinit1
関数は*vstart
と*vend
を引数にとり、指定された範囲分のメモリをカーネルが使えるようページ単位にアロケートし(割り当て)ます。上記のメイン関数ではend
(ELFファイルからメモリへロードされたカーネル直後のアドレス)からP2V(4*1024*1024)
(マクロを展開するとKERNBASE
である0x80000000
に4MBを足した0x80400000
)までの範囲が指定されています。それではkinit1
関数を追っていきます。
前回からのノート
- カーネルの命令列は
0x80100000
の仮想アドレスをベースにリンクされています。- カーネルのメイン関数に入った時点ではカーネルは
entrypgdir
のマッピングを使った1段のページングモードで走っています。
まずkinit1
関数はカーネルメモリの構造体のロックを初期化し、freerange
関数を呼びます:
kalloc.c
|
|
freerange
関数はvstart
からvend
までPGSIZE
ごとにkfree
を呼んでいます:
|
|
そしてkfree
は指定されたアドレスから1ページ分1
の値を書き込み、run
構造体を指すポインターにキャストし、singly-linkedリストであるkmem.freelist
の先頭に挿入します。メモリページを使用する場合はkalloc
関数がこのkmem.freelist
からポインターを返します:
|
|
2段ページング
ここまででカーネルが指定されたメモリ範囲をページごとに割り当てる仕組みを追ったので、引き続きkvmalloc
関数がいかに2段のページング構造をセットアップしていくのかを見ていきます。
オンラインで
x86 ページング
等を検索するとこのようなダイアグラムが見つかり、3つに分割された仮想アドレスが物理アドレスに変換される様子は理解出来るのですが、この構造をOS側からいかに使うのかを明確に理解するのは(少なくとも自分には)容易ではありません。ここでのキーポイントはこの2段のマッピングをセットアップするのはOS側の仕事であり、またどう使うかはOS側の自由ということです。具体的にはOSはまず1ページ分のメモリをページディレクトリ用に、もう1ページ分のメモリをページテーブル用に割り当てます。そしてそのページディレクトリとページテーブルに好きな仮想アドレスと狙った物理アドレスをエントリーとして書き込むことで望んだマッピングが作られます。ここでもう一つ重要なのがこのマッピングがページディレクトリのアドレスで指定され、それを
CR3
レジスターが保持しているということです。これによりCR3
レジスタの値を書き換えることでプロセスごとの仮想アドレスから物理アドレスのマッピングを切り替えることが可能になります。そしてこれから追うkvmalloc
関数はこのセットアップからマッピングの切り替えまで全体の流れを実行します。
kvmalloc
は2段のページング構造をセットアップするsetupkvm
関数を呼びます。setupkvm
はまずkalloc
を呼び新たなページディレクトリの為のメモリページをpgdir
変数にポインターとして格納します。その後キーとなる関数はmapppages
関数で、渡されたページディレクト内に指定された仮想アドレスからページテーブルを作成し、その中のエントリーに物理アドレスを指定された範囲分書き込みます:
|
|
具体的にはmappages
関数はページテーブルのエントリーに物理アドレスをページサイズごとに書き込み、指定された物理アドレスの範囲分を書き込むまでループします。ページテーブルのエントリーはwalkpgdir
関数で作成され、ポインターが返されます:
|
|
walkpgdir
関数はまず指定された仮想アドレスであるva
をページディレクトリ内のインデックスに変換(先頭10ビットを抽出)し、渡されたページディレクトリへのポインターであるpgdir
からインデックス指定することでページディレクトリのエントリーを指すポインターを作り、pde
変数に格納します。そしてそのページディレクトリのエントリーがすでに存在しているかどうかをPTE_P
フラッグでチェックし、存在している場合はそのページディレクトリーのエントリーの値からページテーブルへのポインターをpgtab
変数に格納します。存在しない場合は先にページテーブル用のメモリーを割り当て、そのアドレスをページディレクトリのエントリーの値として書き込みます。そしてこの分岐処理の後、ページテーブルのアドレスからva
の真ん中10ビットをインデックス値として指定したページテーブルのエントリーへのポインターが返り値となります:
|
|
ここまでで2段のページング構造がセットアップされる仕組みを追いました。では実際にxv6がどんな仮想メモリーのマップを作っているのかを見ていきます:
|
|
上記がソースコード上でのマッピングですが、実際の値は以下のようになります:
- 仮想アドレス:
KERNBASE
(0x80000000)を物理アドレス:0
からEXTMEM
(0x100000)まで - 仮想アドレス:
KERNLINK
(0x80100000)を物理アドレス:KERNLINK
(0x100000)からV2P(data)
(カーネルイメージのread-onlyデータ)まで - 仮想アドレス:
data
を物理アドレス:V2P(data)
からPHYSTOP
(0xE000000: 235MB)まで - 仮想アドレス:
DEVSPACE
(0xFE000000)を物理アドレス:DEVSPACE
(0xFE000000)から0
まで
カーネルのメイン関数にあるkvmalloc
関数は上記のマッピングを作成し、最終的にswitchkvm
関数がCR3
レジスターにそのページディレクトリのアドレスを書き込むことでこのマッピングが有効になります。カーネルの命令列へのマッピングはentrypgdir
から変わっていないので命令実行に影響は無くそのまま実行が進む訳です。
ユーザーモード
上記にあるようにカーネルのメイン関数では割り込みやデバイスの初期化の関数の後にkinit2(P2V(4*1024*1024), P2V(PHYSTOP))
とuserinit()
という二つの関数呼び出しが見られます。一つ目のkinit2
は仮想アドレス0x80400000
から0x8E000000
を利用可能なページに割り当て、二つ目のuserinit
はユーザープロセスの為にコンテクストやメモリー、割り込み等の設定を行います。
このuserinit
関数を見ていくと、setupkvm
関数が呼ばれているのが見られます。これはユーザーモード下で割り込みやシステムコールがあった場合にページディレクトリを切り替えなくてもカーネルのメモリーを参照できるようにする為であり、それが先述したようにユーザーモードでもカーネルのマッピングを使う理由になります。
|
|
setupkvm
関数がカーネルのマッピングをセットアップするとuserinit
関数はそのページディレクトリと共にinitcode
へのポインターとサイズをinituvm
関数に渡して呼び出します。
|
|
上記のinituvim
関数はまずkalloc
関数を呼び出して新たなページをアロケートし、0
の値でその中身をリセットします。そして仮想アドレスの0
とそのページへの物理アドレスV2P(mem)
をmappages
に渡して呼び出しています。これによって仮想アドレスの0
がアロケートされた新規のメモリページを指す構造が出来あがります。最後にmemmove
がプロセスの初期化命令列であるinit
をそのページに書き込むことでユーザープロセスがEIP
の値として0
のアドレスから実行できる環境が整う訳です。
まとめ
長い記事となってしまいましたが、前編と後編を通してxv6がどのようにメモリーを管理、参照するかを順序立てて追いました。記事に書き出すのは自分の理解を整理、確認するいい機会です。これが誰かの為に役に立てばと思います。