�ι�������1998.11.06 Show ��36 ������ץ������μ¹���ˡ�������ͥ���٤ι⤤�ץ�������¹Ԥ��뤿��ˡ� ��ȤΥץ�����������������֤˰ܤ���ͥ���٤ι⤤�ץ�����������ɤ�������Ϥɤ줫�� ���������Х쥤������������������åԥ� �����ڡ����������������������������� ��37 �����۵����ˤ�����ڡ����ִ������르�ꥺ��ΰ�ĤǤ���LRU�� �����������ҤϤɤ줫�� �������餫�������ꤵ��Ƥ���ͥ���٤��Ǥ��㤤�ڡ������ɤ��Ф��� �����絭����¸�ߤ��Ƥ�����֤��Ǥ�Ĺ���ڡ������ɤ��Ф��� �����絭����¸�ߤ��Ƥ�����֤��Ǥ�û���ڡ������ɤ��Ф��� �����Ǥ�Ĺ���ֻ��Ȥ���Ƥ��ʤ��ڡ������ɤ��Ф��� ��38 �����ڥ졼�ƥ������ƥ�Υǡ��������Τ�����Ȥ��ơ���������ΤϤɤ줫�� �����Ƽ�����������֤����Τ��ĸ�Ψ�褯ư�����褦�����椹�롣 �����Ƽ������������֤ؤΥ����������ʤ����֤˰�¸���ʤ����ե����������롣 �����������ξ��ִ�����Ԥ����������֤�ͭ�������Ѥ��롣 ��������������֤����Ѥ��ơ��礭�������������֤����롣 ��39 ��ưŪ���ɥ쥹�Ѵ��������Ȥ��ơ��Ǥ�Ŭ�ڤʤ�ΤϤɤ줫�� �������۵��������ƥ�ˤ����ơ����ۥ��ɥ쥹����¥��ɥ쥹�ؤ��Ѵ���Ԥ����ȡ� �����¹���Υץ��������ư���ƿ��������Ǽ¹ԤǤ���褦�ˡ��ץ������δ��쥢�ɥ쥹���ѹ����뤳�ȡ� �����絭�����Ф����ɤ߽���å���������Ԥ��뤳�ȡ� �����ץ������μ¹�����˥⥸�塼����ɲä��뤿�ᡤ�⥸�塼��֤Υ��ɥ쥹���Ȥ��褹�뤳�ȡ� ��40 ��Ϣ���Խ��ץ������������Ȥ��ơ���������ΤϤɤ줫�� �������������ץ�������饤�֥�����Ͽ���롣 �����¹Ԥ�����äƥ����ɥ⥸�塼���絭���˥����ɤ��롣 �����ץ������μ¹Ԥ�ƻ뤷���ƥ��ƥåפ��Ȥμ¹Է�̤�Ͽ���롣 ������Ū�⥸�塼�������ɥ⥸�塼����Ȥ߹�碌�ơ������ɥ⥸�塼���������롣 ��� ���ǡ���41����45 この連載では、基本情報技術者試験によく出題されるテクノロジー関連の用語を、午前問題と午後問題のセットを使って解説します。 午前問題で用語の意味や概念を知り、午後問題で技術の活用方法を知ってください。それによって、単なる丸暗記では得られない明確さで、用語を理解できるようになります。 今回のテーマは、 仮想メモリのページングアルゴリズム FIFO / LFU / LRU です。 もくじ
仮想メモリのページングアルゴリズム FIFO / LFU / LRU とは?はじめに、仮想メモリのページングアルゴリズムとは何かを説明しましょう。 現在の一般的なコンピュータには、大容量のメモリが搭載されていますが、同時に複数のプログラムを起動したり、巨大なプログラムを実行したりすると、メモリが足りなくなってしまうことがあります。 その場合に備えて、コンピュータの基本ソフトウェアである OS には、メモリの中で今後使われる可能性が少ないページを、ハードディスクに一時的に退避させることで、メモリを空けるというという機能があり、これを仮想メモリと呼びます。 ハードディスクを、仮想的にメモリとして使うからです。ページとは、プログラム全体を固定サイズに区切った部分・部分のことであり、 Windows では 1 ページのサイズが 4K バイトです。 図 プログラム全体を固定サイズに区切った部分・部分をページと呼ぶ仮想メモリのページングアルゴリズムとは、メモリの中で今後使われる可能性が少ないページを決める方法のことであり、
の 3 つがあります。 仮想メモリであるハードディスクから、実メモリである主記憶装置(これまでメモリと呼んでいたもの)にページを読み込むことを ページイン と呼び、実メモリから仮想メモリにページを退避させることを ページアウト と呼びます。 FIFO では「最初にページインしたページ」LFU では「利用された回数が最も少ないページ」LRU では「最後に利用してから最も時間が経過しているページ」それぞれ今後使われる可能性が少ないページとして、それを仮想メモリに退避させます。 図 仮想メモリのページングアルゴリズムで、ページアウトするページを決めるFIFO、LFU、LRUの例FIFO, LFU, LRU の例を示しましょう。 ハードディスクの中に A, B, C, D という 4 つのページから構成されたプログラムがあり、それらを 3 つのページを持つ実メモリで実行するとします。 プログラムの内容が、 Aarrow_forwardBarrow_forwardBarrow_forwardCarrow_forwardA という順に利用されたとすれば、この時点でメインメモリの 3 つのページは[ A ][ B ][ C ]で満杯になっています。 次に、 D を利用したい場合には、今後使われる可能性が少ないページを決めて、それを仮想メモリに退避させ、実メモリを空ける必要があります。退避させるページは、採用したページングアルゴリズムによって、以下のように異なります。 ページングアルゴリズムに FIFO を採用した場合A → B → B → C → A で最初にページインしたページは A なので、 A を仮想メモリに退避させます。ページングアルゴリズムに LFU を採用した場合A → B → B → C → A において、 A は 2 回、 B は 2 回、 C は 1 回使われていて、利用された回数が最も少ないページは C なので、 C を仮想メモリに退避させます。ページングアルゴリズムに LRU を採用した場合A → B → B → C → A で最後に利用してから最も時間が経過しているページは B なので、 B を仮想メモリに退避させます。 図 採用したページングアルゴリズムによって退避させるページが異なるAarrow_forwardBarrow_forwardBarrow_forwardCarrow_forwardA どれがFIFO、LFU、LRUなのかを覚えるコツこれで、「最初にページインしたページ」「利用された回数が最も少ないページ」「最後に利用してから最も時間が経過しているページ」の意味がわかったと思います。 ただし、どれが FIFO, LFU, LRU に該当するのかを覚えなければ問題を解けません。このような英語の略語を覚えるコツは、略語の意味を調べて、それを日本語に直訳することです。
いかがでしょう? FIFO, LFU, LRU という略語の意味を調べて、それを日本語に直訳すれば、それぞれが、どういうページングアルゴリズムに該当するかを覚えられたでしょう。 仮想メモリのページングアルゴリズム FIFO、LFU、LRU に関する午前問題それでは、仮想メモリのページングアルゴリズムに関する午前問題を解いてみましょう。 問 17 平成 27 年度 秋期 午前 ア FIFO イ LFU 「最後に使われてからの経過時間が最も長い」は、「最も、最近ではない」であり、「最近」が Recently 、「最もそうでない」が Least なので、これは LRU = Least Recently Used です。正解は、選択肢エです。 午前問題は、選択肢が 4 つ必要なので、ページングアルゴリズムとは関係のない LIFO という略語が選択肢ウにあります。これは、気にしないでください。 解答 エ 仮想メモリのページングアルゴリズム FIFO / LFU / LRU に関する午後問題今度は、仮想メモリのページングアルゴリズムに関する午後問題(一部抜粋)を解いてみましょう。以下は、問題の冒頭部分です。 このように、長々とした説明文があるのが午後問題の特徴ですが、これを見て怖気づいてはいけません。FIFO, LFU, LRU の意味がわかれば、ほとんどの設問に正解できるからです。 「ページフォールト」という新たな用語が登場しますが、これは、実行しようとしたページが実メモリに存在しないことです。ページフォールトとなったときには、そのシステムで採用されているページングアルゴリズムを使って、今後使われる可能性が少ないページを決め、そのページをハードディスクに退避させます。 問 2 平成 25 年度 春期 午後 OS の主記憶管理において,仮想記憶方式は, OS が提供する論理的な記憶領域(以下,仮想記憶という)上のアドレスと主記憶上の物理的なアドレスを対応付けて管理する方式である。仮想記憶方式では,補助記憶装置を仮想記憶として用いるので,仮想記憶上に主記憶の容量を超えるプログラムを格納することができる。仮想記憶上のアドレス空間を仮想アドレス空間,主記憶上のアドレス空間を物理アドレス空間と呼び,それぞれの空間の記憶場所を仮想アドレスと物理アドレスで指定する。 仮想記依方式の一つに,ページング方式がある。ページング方式は,仮想アドレス空間と物理アドレス空間のそれぞれをページと呼ぶ固定長の領域に分割しておき,ページ単位でアドレス空間を管理する。ページング方式による仮想アドレス空港のページと物理アドレス空間のページの対応例を,図1に示す。図1では,補助記憶装置に格納されているプログラム A は,a1, a2, a3, a4, a5 に分割されて,仮想ページ番号 1 ~ 5 のページに格納されている。 図 1 仮想アドレス空間のページと物理アドレス空間のページの対応例以下は、設問 1 です。ちょっと言葉が悪いですが、「冒頭で、あれだけ小難しそうな説明をしておきながら、こんな簡単な設問なのか!」と言いたくなるような内容でしょう。 設問 1 次の記述中のに入れる正しい答えを,解答群の中から選べ。 プログラムの実行過程で存在ビットを調べ,プログラムの実行に必要なページがaに存在していないときには,ページフォールトという割込みが発生する。ページフォールトが発生すると,ページアウトやページインなどのページ置換え処理が実行される。ページ置換え処理のアルゴリズムには,ページインしてから最も時間が経過しているページを置換え対象とする FIFO アルゴリズムや,参照されていない時間が最も長いページを置換え対象とする bアルゴリズムなどがある。 解答群 ページフォールトが発生するのは、実行しようとしたページが実メモリに存在しないときです。解答群を見ると、「実メモリ」に該当するのは、選択肢オの「物理アドレス空間」です。 したがって、空欄 a の正解は、選択肢オです。選択肢エの「仮想アドレス空間」は、「仮想メモリ」に該当します。 空欄 b は、「参照されていない時間が最も長いページを置き換え対象とする」のですから、これは「最後に使われてからの経過時間が最も長い」と同じであり、「最もそうでない、最近、使われる」の LRU = Least Recently Used です。 したがって、空欄 b の正解は、選択肢ウの「 LRU 」です。 ページングアルゴリズムを手作業でコツコツやる全問掲載すると長くなりすぎるので、設問 2 を飛ばして、設問 3 を見てみましょう。 さすが、 1 問あたりの解答時間が長い午後問題だけあって、手間がかかることをやらせます。 FIFO のページングアルゴリズムを実際にやってみよ、という内容です。 それも、物理ページ(実メモリ)が 3 個と 4 個、ぞれぞれの場合です。この手の問題は、手作業でコツコツやるしかありません。 「なぜ、同じことを 2 回もやらせるのだろう?」と疑問に思うでしょう。 あらかじめ種明かしをしてしまうと、ページフォールトの回数は、物理ページの個数が多い方が少ないと思うかもしれませんが、物理ページの個数が多い方が多くなる場合もあるのです。それを知ってほしい、という教育的な意図があって、同じことを 2 回もやらせるのでしょう(たぶん)。 後でわかりますが、この問題では、物理ページが 3 個より 4 個の方がページフォールトの回数が多くなります。 設問 3 次の記述中のに入れる正しい答えを,解答群の中から選べ。 ページ置換えアルゴリズムとして FIFO アルゴリズムを採用する。プログラムの実行過程で仮想ページが次の順で参照されるとき,物理ページの個数が 3 の場合のページフォールトの回数は, c回である。そして,物理ページの個数を 4 に増やした場合のページフォールトの回数はd回である。ここで,プログラムの実行開始時点では,物理アドレス空間にはどのページも存在していないものとする。 【仮想ページの参照順を示す仮想ページ番号の並び】 1 → 4 → 3 → 2 → 1 → 4 → 5 → 1 → 4 → 3 → 2 → 5 → 1 解答群 それでは、がんばって手作業でページングアルゴリズムをやってみましょう。 ここでは、 物理ページが 3 個のときは、以下のように 10 回のページフォールトが発生します。したがって、空欄 c の正解は、選択肢ウです。 図 物理ページが 3 個のときは 10 回のページフォールトが発生する参照するページ 参照後の物理ページの内容 1 F [★1][ ][ ] ↓ 4 F [★1][ 4 ][ ] ↓ 3 F [★1][ 4 ][ 3 ] ↓ 2 F [ 2 ][★4][ 3 ] ↓ 1 F [ 2 ][ 1 ][★3] ↓ 4 F [★2][ 1 ][ 4 ] ↓ 5 F [ 5 ][★1][ 4 ] ↓ 1 [ 5 ][★1][ 4 ] ↓ 4 [ 5 ][★1][ 4 ] ↓ 3 F [ 5 ][ 3 ][★4] ↓ 2 F [★5][ 3 ][ 2 ] ↓ 5 [★5][ 3 ][ 2 ] ↓ 1 F [ 1 ][★3][ 2 ] 物理ページが 4 個のときは、以下のように 11 回のページフォールトが発生します。 図 物理ページが 4 個のときは 11 回のページフォールトが発生する参照するページ 参照後の物理ページの内容 1 F [★1][ ][ ][ ] ↓ 4 F [★1][ 4 ][ ][ ] ↓ 3 F [★1][ 4 ][ 3 ][ ] ↓ 2 F [★1][ 4 ][ 3 ][ 2 ] ↓ 1 [★1][ 4 ][ 3 ][ 2 ] ↓ 4 [★1][ 4 ][ 3 ][ 2 ] ↓ 5 F [ 5 ][★4][ 3 ][ 2 ] ↓ 1 F [ 5 ][ 1 ][★3][ 2 ] ↓ 4 F [ 5 ][ 1 ][ 4 ][★2] ↓ 3 F [★5][ 1 ][ 4 ][ 3 ] ↓ 2 F [ 2 ][★1][ 4 ][ 3 ] ↓ 5 F [ 2 ][ 5 ][★4][ 3 ] ↓ 1 F [ 2 ][ 5 ][ 1 ][★3] したがって、空欄 d の正解は、選択肢エです。物理ページが3個のときは 10 回だったので、物理ページが 4 個のときの方が多くなっています。 解答 設問 1 a – オ、b – ウ 設問 3 c – ウ、d – エ いかがでしたか? FIFO, LFU, LRU という略語の意味がわかれば、仮想メモリのページングアルゴリズムに関する午前問題も午後問題も、すんなり正解できたでしょう。 この連載では、今後も、多くの受験者が苦手としている用語を取り上げて行きます。それでは、またお会いしましょう! label 関連タグ新制度でも、 『プログラムはなぜ動くのか』(日経BP)が大ベストセラー 大手電気メーカーでPCの製造、ソフトハウスでプログラマを経験。独立後、現在はアプリケーションの開発と販売に従事。その傍ら、書籍・雑誌の執筆、またセミナー講師として活躍。軽快な口調で、知識0ベースのITエンジニアや一般書店フェアなどの一般的なPCユーザの講習ではダントツの評価。 主な著作物
|