このページの本文へ

前へ 1 2 3 4 次へ

基礎から覚える 最新OSのアーキテクチャー 第7回

Windowsのメモリー管理をx86の仕組みから読み解く

2011年11月17日 17時24分更新

文● 塩田紳二

  • この記事をはてなブックマークに追加
  • 本文印刷

 連載6回目では、OSのメモリー管理の概要について話したが、今回はより詳しくWindowsのメモリー管理について解説しよう。だが本題に入る前に、まずはWindowsが動作するx86 CPUが持つ「仮想記憶機構」について解説しておく必要があるだろう。

 次期Windowsである「Windows 8」にはARM版も登場する予定だし、過去の「Windows NT」では、RISCプロセッサー向けが提供されていたこともあった。そもそもNTは当初、インテルの「i860」プロセッサー用として開発されたという経緯もある。しかし、現在はほぼすべてのWindowsがx86(64bit版のx64)上で動作しているので、Windowsの仮想記憶=x86の仮想記憶として解説する。

2段階の変換テーブルを使って
物理メモリーの位置を示すx86

 x86はプログラムやデータを、「セグメント」という単位で扱う。セグメントはメモリー内の連続した範囲のことで、32bitモードではセグメントレジスターに格納された値がメモリー上の「セグメントセレクタ」を指定し、さらにセグメントセレクタがセグメントの開始位置やサイズを指定している。セグメントレジスターは「コードセグメント」(CS)や、「スタックセグメント」(SS)、およびデータ用のDS、ES、FS、GSの6種類がある。セグメントの単位は64KBか4GBの2種類があり、それぞれ16bitオフセット、32bitオフセットを利用する。

 32bit Windowsでは「基本フラット・モデル」と呼ばれるメモリーモデルを採用する(図1)。このモデルでは、セグメントの位置やサイズを設定する「セグメントディスクリプタ」により、仮想メモリー全体の4GBをひとつのセグメントとして管理している。そのため仮想メモリー空間内のすべてのアドレスは、32bitの単純なアドレス(リニアアドレス)で表現できる。

図1 Windowsではコード用とデータ用にセグメントの設定(セグメントディスクリプタ)を仮想メモリー空間全体に適用し、リニアアドレスをプログラム内で扱う「基本フラットメモリーモデル」を採用する

 このような構造を採用したのは、「他のアーキテクチャーとの兼ね合い」という理由もあった。x86のセグメントは扱いが面倒な部分もあり、これに依存してしまうプログラムを作ると、他機種への移植が困難になる。そのため仮想メモリー空間全体を、ひとつのセグメントとして扱うようにしたわけだ。

 x86は物理メモリーを、4KBの「ページ」の集まりとして管理する。仮想記憶でのメモリーの割り当て単位はこの4KBであり、メモリーをスワップアウトするような場合には、ページ単位で扱う。

 前述したリニアアドレスは仮想メモリー空間内のアドレスなので、実際のメモリーにアクセスするには、これを物理メモリーアドレスに変換する。仮想メモリー空間はプロセスごとに独立しているため、プロセスごとに仮想アドレスと物理アドレスの対応は異なる。

 仮想メモリーアドレスを物理メモリーアドレスに変換するには、「アドレス変換」と呼ばれるCPU内の機構を使う。その際にリニアアドレスは、上位から10bit、10bit、12bitに区切って使われる。まずはCPU内のCR3レジスター(PDBR、ページディレクトリベースレジスターとも呼ぶ)が「ページディレクトリテーブル」と呼ばれるメモリー内の表の開始位置を指し示す。リニアアドレスの上位10bitは、このページディレクトリテーブル内のエントリの位置を示す(図2)。

図2 アドレス変換の仕組み。仮想メモリー空間内の1byteを表すリニアアドレスを10/10/12bitに区切り、2種類のテーブルを使ってページを指定する

 ページディレクトリテーブルの各エントリには、ページテーブルの開始位置が記録されている。リニアアドレス中位10bitは、このページテーブル内のエントリを位置を示す。そしてページテーブルの各エントリは、ようやくページの物理アドレスを示す。リニアアドレスの下位12bit(12bitでは4096=4KB内の1byteを指定できる)は、ページ内のオフセットとなる。

 こうして2段階のテーブルを参照することで、物理メモリー内にあるページを指し示すことができる。ページテーブルは20bitでページを指定するため、下位12bitのオフセットと合わせて、32bit(4GB)の物理メモリーを指定できる。つまり4KBのページを100万個指定できるわけだ。

前へ 1 2 3 4 次へ

カテゴリートップへ

本記事はアフィリエイトプログラムによる収益を得ている場合があります

この連載の記事

ASCII倶楽部

注目ニュース

  • 角川アスキー総合研究所

プレミアム実機レビュー

ピックアップ
1
KIOXIA(キオクシア) 旧東芝メモリ microSD 128GB UHS-I Class10 (最大読出速度100MB/s) Nintendo Switch動作確認済 国内サポート正規品 メーカー保証5年 KLMEA128G
KIOXIA(キオクシア) 旧東芝メモリ microSD 128GB UHS-I Class10 (最大読出速度100MB/s) Nintendo Switch動作確認済 国内サポート正規品 メーカー保証5年 KLMEA128G
¥2,413
2
【Amazon.co.jp限定】 ロジクール 静音 ワイヤレス トラックボール マウス M575SPd Bluetooth Logibolt 無線 windows mac iPad OS Chrome トラックボールマウス ブラック M575 M575SP 国内正規品 ※Amazon.co.jp限定 壁紙ダウンロード付き
【Amazon.co.jp限定】 ロジクール 静音 ワイヤレス トラックボール マウス M575SPd Bluetooth Logibolt 無線 windows mac iPad OS Chrome トラックボールマウス ブラック M575 M575SP 国内正規品 ※Amazon.co.jp限定 壁紙ダウンロード付き
¥7,313
3
エレコム 電源タップ 6個口 3m 雷ガード 個別スイッチ ほこりシャッター付 耐熱 PSE技術基準適合 ブラック T-K6A-2630BK
エレコム 電源タップ 6個口 3m 雷ガード 個別スイッチ ほこりシャッター付 耐熱 PSE技術基準適合 ブラック T-K6A-2630BK
¥1,899
4
CIO フラットスパイラルケーブル CtoC (Type-C/USB-C) PD 急速充電 平型 磁石 マグネット吸着 まとまる 充電ケーブル PD 240W データ転送 480Mbps 形状記憶 iPhone 17 / 16 / 15 Macbook Pro/Air/iPad用/ノートパソコン Galaxy Google Pixel Android (ライトブラック, 1.5m)
CIO フラットスパイラルケーブル CtoC (Type-C/USB-C) PD 急速充電 平型 磁石 マグネット吸着 まとまる 充電ケーブル PD 240W データ転送 480Mbps 形状記憶 iPhone 17 / 16 / 15 Macbook Pro/Air/iPad用/ノートパソコン Galaxy Google Pixel Android (ライトブラック, 1.5m)
¥2,290
5
Anker USB Type C ケーブル PowerLine USB-C & USB-A 3.0 ケーブル iPhone 17 / 16 / 15 /Xperia/Galaxy/LG/iPad Pro/MacBook その他 Android 等 USB-C機器対応 テレワーク リモート 在宅勤務 0.9m ホワイト
Anker USB Type C ケーブル PowerLine USB-C & USB-A 3.0 ケーブル iPhone 17 / 16 / 15 /Xperia/Galaxy/LG/iPad Pro/MacBook その他 Android 等 USB-C機器対応 テレワーク リモート 在宅勤務 0.9m ホワイト
¥740
6
Anker Zolo USB-C & USB-C ケーブル (240W, 高耐久ナイロン) 1.8m ブラック iPhone 17 / 16 / 15 Galaxy iPad Pro MacBook Pro/Air 各種対応
Anker Zolo USB-C & USB-C ケーブル (240W, 高耐久ナイロン) 1.8m ブラック iPhone 17 / 16 / 15 Galaxy iPad Pro MacBook Pro/Air 各種対応
¥1,590
7
Anker Nano Charging Station (7-in-1, 100W, 巻取り式 USB-C ケーブル) (USBタップ 電源タップ) 【PSE技術基準適合】MacBook iPad iPhone Galaxy Android ブラック
Anker Nano Charging Station (7-in-1, 100W, 巻取り式 USB-C ケーブル) (USBタップ 電源タップ) 【PSE技術基準適合】MacBook iPad iPhone Galaxy Android ブラック
¥9,990
8
Anker iPhone充電ケーブル PowerLine II ライトニングケーブル MFi認証 超高耐久 iPhone 14 / 14 Pro Max / 14 Plus / 13 / 13 Pro / 12 / 11 / X/XS/XR / 8 Plus 各種対応 (0.9m ホワイト)
Anker iPhone充電ケーブル PowerLine II ライトニングケーブル MFi認証 超高耐久 iPhone 14 / 14 Pro Max / 14 Plus / 13 / 13 Pro / 12 / 11 / X/XS/XR / 8 Plus 各種対応 (0.9m ホワイト)
¥990
9
Verbatim バーベイタム 1回録画用 ブルーレイディスク BD-R 25GB 50枚+3枚増量パック インクジェットプリンタ対応 ホワイト 片面1層 1-6倍速
Verbatim バーベイタム 1回録画用 ブルーレイディスク BD-R 25GB 50枚+3枚増量パック インクジェットプリンタ対応 ホワイト 片面1層 1-6倍速
¥2,480
10
ソニー ゲーミングイヤホン INZONE Buds:WF-G700N Fnatic監修/ワイヤレス / 低遅延2.4GHzワイヤレス接続 USBType-Cトランシーバー同梱/LE Audio対応/アクティブノイズキャンセリング/立体音響 / 最大約24時間バッテリー / 急速充電/マイク付き / PS5 スマホ PC Switch グラスパープル
ソニー ゲーミングイヤホン INZONE Buds:WF-G700N Fnatic監修/ワイヤレス / 低遅延2.4GHzワイヤレス接続 USBType-Cトランシーバー同梱/LE Audio対応/アクティブノイズキャンセリング/立体音響 / 最大約24時間バッテリー / 急速充電/マイク付き / PS5 スマホ PC Switch グラスパープル
¥20,800

Amazonのアソシエイトとして、ASCII.jpは適格販売により収入を得ています。

デジタル用語辞典

ASCII.jpメール デジタルMac/iPodマガジン