メモリ管理-home-tauralaboratory.ppt

ページテーブルの構造 ?ほとんど空」の論理アドレス空間を小さく表現する 多段のページテーブル 多段のページテーブル a1 a2 10 bit 10 bit o 12 bit a1 a2 64bitアドレス? Madhusudhan Tallurl, Mark D. Hill, Yousef A. Khalidi. A New Page Table for 64-bit Address Spaces. SOSP 1995 メモリアクセス時のCPUの動作: まとめ (read) read(a) { p,attr = lookup_TLB(a); if (!found) p,attr = lookup_page_table(a); if (!found) raise page fault; if (!attr.readable) raise protection fault; if (!attr.user CPU_mode == user)  raise protection fault; read p; /* in cache or memory */ set reference bit for a;} Writeの場合 write(a, v) { p,attr = lookup_TLB(a); if (!found) p,attr = lookup_page_table(a); if (!found) raise page fault; if (!attr.writable) raise protection fault; if (!attr.user CPU_mode == user)  raise protection fault; write v to p; /* in cache or memory */ set reference/dirty bit for a;} 余談:セグメンテーションページング以前の仮想記憶 セグメント: (ページよりも大きな)連続したアドレスの範囲 必要に応じて伸ばせる 各論理アドレス空間で割り当て中のメモリは，少数(数個)のセグメントとする 必要に応じてセグメントを丸ごと移動，ディスクに退避 テキスト セグメント データ セグメント スタック セグメント そういえばセグメンテーションフォルトって何だっけ セグメントを越えたアクセス 今日的には，protection fault, access violation * メモリ管理(1) メモリ?思い出そう プログラムの実行のために，ありとあらゆるものがメモリに格納されなくてはならなかったことを グローバル変数，配列 局所変数?配列(スタック) 実行中に確保される領域(malloc, new) プログラムのコード メモリの「管理」とは 「誰が」，メモリの「どの部分を」，「今」，使ってよいかを記憶しておき， 「メモリ割り当て要求」にこたえることができるようにすること 5000バイトくださいな えっと，じゃ，12300番地から17300番地までがあいてるのでそこをどうぞ 帳簿 メモリ使用状況 ???? ??? あらゆるメモリ管理に共通の概念 割り当て(allocation)と解放(deallocation) 1000バイトくださいな 30000番地をどうぞ 30000番地返します オッケー 500バイトくださいな また30000番地をどうぞ 割り当て 解放 割り当て OSのメモリ管理API Unix : brk, sbrk, mmap, etc. Win32 : VirtualAlloc, VirtualFree, MapViewOfFile, etc. 詳しくは後述する 普段良く使っているメモリ割り当てプリミティブ?APIの実例 C グローバル変数, スタック, malloc/free, strdup, etc. C++ グローバル変数, スタック, new/delete, STLの諸操作, … Java, C# new, Stringの連結などの諸操作 Garbage Collection Python リスト, 辞書, オブジェクト生成, 文字列連結などの諸操作 Garbage collection Perl, シェルスクリプト，Visual Basic, … 注: OSのAPIとプログラミング言語のAPIの関係 malloc/freeなどはOSとアプリケーションプログラムの仲介屋(問屋?小売店?客) OS メモリ管理 ライブラリ (malloc/freeなど) アプリケーション malloc/ free OSのAPI (sbrk, brk, etc.) そもそ