loader(8)

loader − カーネルブートストラップの最終段階

loader と呼ばれるプログラムは、 FreeBSD のカーネルブートストラップにおけ る、最終段です。 IA32 (i386) アーキテクチャでは、これは BTX クライアント です。 libstand(3) に静的にリンクされ、通常はディレクトリ /boot に置かれ ます。

また、作業自動化、事前設定、回復処理の補助に使用可能な、スクリプト言語を 提供します。このスクリプト言語はおおまかに 2 つの主たる部分に分類されま す。小さな方は、通常のユーザが直接使用するようデザインされたコマンドの集 合で、歴史的な事情により「組み込みコマンド」と呼ばれます。これらのコマン ドを提供した背景には、主としてユーザの使い勝手を改善する目的があります。 大きな部品は ANS Forth 互換の Forth インタプリタであり、 John Sadler の FICL をベースにしています。

初期化において、 loader はコンソールを検出して console 変数を設定します。 直前のブートステージにシリアルコンソールを使用した場合には、この変数をシ リアルコンソール (‘‘comconsole’’) に設定します。その後、デバイスをプロー ブし、 currdev と loaddev を設定し、 LINES を 24 に設定します。次に FICL が初期化され、組み込み語が語彙に追加され、存在する場合には /boot/boot.4th が処理されます。このファイルが読み込まれるまで、ディスクの交換はできませ ん。 loader が FICL とともに使用する内部インタプリタは interpret に設定さ れます。これは FICL のデフォルトです。この後、使用可能な場合 /boot/loader.rc が処理され、そうでない場合には歴史的な理由で /boot/boot.conf が読み込まれます。これらのファイルは include コマンドを介 して処理されます。このコマンドは、処理前にファイル内容すべてをメモリに読 み込みますので、ディスク交換が可能となります。

この時点で、 autoboot が試されていない場合でかつ autoboot_delay が ‘‘NO’’ (大文字小文字は区別しません) に設定されていない場合、 autoboot が試されま す。システムがこの時点まで到達した場合、 prompt が設定され、 loader は対 話モードになります。

loader の組み込みコマンドは、パラメータをコマンドラインから受け取ります。 現在、スクリプトからの呼び出し方法は、文字列上で evaluate を使用すること だけです。エラー状態が発生すると、 ANS Forth 例外操作語でインタセプト可能 な例外が生成されます。インタセプトされない場合、エラーメッセージが表示さ れ、インタプリタの状態がリセットされます。これにより、スタックが空になり インタプリタのモードが元に戻ります。

使用可能な組み込みコマンドは次の通りです:

ユーザが割り込まない場合には、指定した秒数の後にシステムのブート ストラップへ進みます。キーが押されて割り込まれるまで、カウントダ ウンプロンプトを表示し、ユーザに対してシステムがブートするところ であることを警告します。必要であれば、最初にカーネルがロードされ ます。デフォルトは 10 秒です。

bcachestat
ディスクキャッシュの使用状況を表示します。デバッグのためだけにあ ります。

boot
boot kernelname [...]
boot −flag ...
システムのブートストラップへすぐに進み、必要であればカーネルを ロードします。すべてのフラグまたは引数はカーネルに渡されますが、 カーネル名が指定された場合、これらはカーネル名の後にある必要があ ります。

警告: この組み込みコマンドの動作は、 loader.4th(8) がロードされる と、変ります

echo
[−n] [⟨message⟩]
画面にテキストを表示します。 −n を指定しない場合、改行が表示され ます。

heap
メモリ使用状況が表示されます。デバッグ目的のためだけにあります。

help [topic [subtopic]]
ヘルプメッセージを /boot/loader.help から読み込んで表示します。特 殊トピック index は、使用可能なトピックを表示します。

include file [file ...]
スクリプトファイルを処理します。各ファイルは、順番がまわって来た ところで完全にメモリに読み込まれ、各行がコマンドラインインタプリ タに渡されます。インタプリタがエラーを返すと、他のファイルは読み 込まずに include コマンドは即時に異常終了し、自身にエラーを返しま す (エラー参照)。

load
[−t type] file ...
カーネル、カーネルローダブルモジュール (kld)、内容を問わず type とタグ付けされているファイルのいずれかをロードします。カーネルと モジュールは、a.out または FLF のどちらの形式であってもかまいませ ん。ロードされるファイルの後で渡される引数は、そのファイルに対す る引数として渡されます。現在のところ、これはカーネルに対しては動 作しないことに注意してください。

ls
[−l] [path]
ディレクトリ path 、または path を指定しなかった場合にはルート ディレクトリのファイル一覧を表示します。 −l を指定すると、ファイ ルの大きさも表示します。

lsdev [−v]
モジュールのロード元となりうるデバイスをすべて表示します。 −v を 指定すると、更なる詳細を表示します。

lsmod [−v]
ロード済のモジュールを表示します。 −v を指定すると、更なる詳細を 表示します。

more file [file ...]
LINES 行を表示するごとに停止しながら、指定したファイルを表示しま す。

pnpscan [−v]
プラグアンドプレイデバイスをスキャンします。現在のところ動作しま せん。

read
[−t seconds] [−p prompt] [variable]
入力行を端末から読み込み、 variable が指定された場合にはこれに読 み込み結果を格納します。タイムアウトは −t で指定可能ですが、これ は最初に押されるキーにより打ち消されます。プロンプトもまた −p フ ラグにより表示可能です。

reboot
即時にシステムをリブートします。

set variable
set variable=value
ローダの環境変数を設定します。

show [variable]
指定した変数の値を表示します。 variable を指定しないと、すべての 変数とその値を表示します。

unload
全モジュールをメモリから取り除きます。

unset variable
variable を環境から取り除きます。

?
使用可能なコマンドの一覧を表示します。

組み込みの環境変数
loader は実際のところ、異なった 2 種類の ‘環境’ 変数を持ちます。それ は、ANS Forth の 環境問い合わせと、別の空間であり組み込みコマンドが使用す る環境変数です。後者は Forth の語としては直接使用できません。この節で説明 するのは、後者です。

環境変数の設定および設定解除は、 set と unset の組み込みコマンドを介して 行います。これらの値は、 show 組み込みコマンドを使用して対話的に検査でき ます。これらの値は、 組み込みパーザで説明する方法でもまたアクセス可能で す。

この環境変数は、システムブート後にシェルに継承されないことに注意してくだ さい。

数個の変数が loader により自動的に設定されます。他の変数は、 loader また はブート時のカーネル動作に影響し得ます。これらのうち値を要求するものがあ る一方、設定されるだけで動作を定義するものもあります。双方の組み込み変数 が下記に説明されています。

acpi_load
ACPI モジュールの自動ロードを無効にするには、これをアンセットし ます。 device.hints(5) の hint.acpi.0.disabled も参照してくださ い。

autoboot_delay
autoboot がブート前に待つ秒数です。この変数が定義されていない場 合、 autoboot はデフォルトの 10 秒になります。

‘‘NO’’ に設定すると、 /boot/loader.rc の処理の後に autoboot を 自動的には試みなくなります。しかし、明示的に autoboot を指定す ると、デフォルトの 10 秒の遅延の後に通常通り処理されます。

boot_askname
カーネルブート時にルートデバイス名をユーザに尋ねるように、カー ネルに指示します。

boot_cdrom
ルートファイルシステムを CD-ROM からマウントすることを試みるよ うに、カーネルに指示します。

boot_ddb
ブート時に初期化に進むのではなく DDB デバッガを開始するように、 カーネルに指示します。

boot_gdb
gdb リモートモードを、カーネルデバッガのデフォルトとして選択し ます。

boot_multicons
ブートの初期にカーネルの複数コンソールサポートを有効にします。 動作中のシステムでは、コンソール構成は conscontrol(8) ユーティ リティで操作できます。

boot_serial
内部コンソールがある場合でも、強制的にシリアルコンソールを使い ます。

boot_single
カーネルがマルチユーザスタートアップを開始することを防ぎ、カー ネルがデバイスプローブを完了したときにはシングルユーザモードに なります。

boot_userconfig
カーネルブート時にカーネルの対話的なデバイス設定プログラムを実 行するよう要求します。現在は何もしません。

boot_verbose
この変数を設定すると、ブートフェーズ中に追加のデバッグ情報を カーネルが表示します。

bootfile
セミコロンで区切った検索パスのリストであり、ここからブート可能 なカーネルを探します。デフォルトは ‘‘kernel’’ です。

console
現在のコンソールを定義します。

currdev
デフォルトデバイスを選択します。デバイスの文法は奇妙なもので す。

init_path
カーネルが初期プロセスとして実行しようとすべきバイナリのリスト を指定します。最初にマッチしたバイナリが使用されます。デフォル トリストは ‘‘/sbin/init:/sbin/oinit:/sbin/init.bak:/stand/sysinstall’’ で す。

interpret
Forth の現在の状態がインタプリタの場合、 ‘‘OK’’ という値を持ち ます。

LINES
画面上の行数を定義します。ページャが使用します。

module_path
モジュールを検索するディレクトリのリストを設定します。モジュー ル名は、load コマンドまたは依存関係により暗黙的に指定されます。 この変数のデフォルト値は ‘‘/boot/kernel;/boot/modules’’ です。

num_ide_disks
IDE ディスクの数を設定します。これは、ブート時にルートディスク を見つけることに関する問題への対処です。 root_disk_unit により 価値が低下しています。

prompt
loader のプロンプトの値です。デフォルトは ‘‘${interpret}’’ で す。変数 prompt が設定解除されていれば、デフォルトプロンプトは ‘>’ です。

root_disk_unit
ルートディスクのディスクユニット番号を検出するコードが混乱する 場合、この変数を設定することでユニット番号を強制可能です。混乱 するのは、例えば SCSI と IDE のディスクを両方持つ場合や、 IDE ディスクの並びに隙間がある場合 (プライマリスレーブが無い場合な ど) です。

rootdev
デフォルトでは、カーネルブート時にルートファイルシステムの設定 には currdev が使用されます。これは rootdev を明示的に設定する ことによりオーバライド可能です。

他の変数を使用することにより、カーネルの調整可能なパラメータをオーバライ ド可能です。次の調整可能な変数が使用可能です:

hw.physmem
システムが使用する物理メモリ量を制限します。デフォルトでは 大きさはバイトで指定しますが、 k, K, m, M, g, G のサフィッ クスを使用し、それぞれキロバイト、メガバイト、ギガバイトで 指定可能です。無効なサフィックスを使用すると、カーネルはこ の変数を無視してしまいます。

hw.pci.enable_io_modes
BIOS がオフのままとしたり、デバイスドライバが正しく有効化し なかった PCI 資源を、有効化します。このチューナブルのデフォ ルト値は ON (1) ですが、ペリフェラルによっては問題となるこ とがあります。

kern.maxusers
多くの静的に割り当てられるシステムテーブルの大きさを設定し ます。このチューナブルに対して適切な値をどのように選択する かについては、 tuning(7) を参照してください。このチューナブ ルが設定されている場合、カーネルがコンパイルされたときの設 定ファイルで宣言された値は、置き換えられます。

kern.ipc.nmbclusters
割り当てられる mbuf クラスタ数を設定します。カーネルコンパ イル時に決定されたデフォルト値より小さくは、設定できませ ん。 NMBCLUSTERS を変更します。

kern.ipc.nsfbufs
割り当てるべき sendfile(2) バッファ数を設定します。 NSFBUFS に優先します。

kern.maxswzone
スワップメタ情報を保持するための KVM 量を制限します。これ は、システムがサポート可能なスワップ量に直接影響を与えま す。この値は、KVA 空間のバイト数で指定され、デフォルトは約 70MB です。この値を減らし過ぎて、実際に構成されるスワップが カーネルがサポートするスワップの 1/2 を越えてしまわぬよう、 注意してください。デフォルトの 70MB は、カーネルが最大 (約) 14 GB のスワップを構成可能とします。バッファキャッシュや NMBCLUSTERS といった他の資源用の KVM 予約を大幅に増やす場合 のみ、本パラメータを調整してみてください。 VM_SWZONE_SIZE_MAX を変更します。

kern.maxbcache
バッファキャッシュ用に予約される KVM の量を制限します。バイ ト数で指定します。デフォルトの最大値は 200 MB です。このパ ラメータは、大規模構成において、バッファキャッシュが多くの KVM を消費してしまうことを避けるために使用します。スワップ ゾーンや NMBCLUSTERS といった他の資源用の KVM 予約を大幅に 増やす場合のみ、本パラメータを調整してみてください。 NBUF パラメータがこの制限に優先することに注意してください。 VM_BCACHE_SIZE_MAX を変更します。

machdep.disable_mtrrs
i686 MTRR を無効化します (x86 のみ)。

net.inet.tcp.tcbhashsize
TCBHASHSIZE のコンパイル時の設定値をオーバライドするか、デ フォルトの 512 にプリセットします。 2 のべき乗である必要が あります。

vm.kmem_size
カーネルメモリの大きさ (バイト) を設定します。カーネルコン パイル時に決定された値に、優先します。 VM_KMEM_SIZE を変更 します。

組み込みパーザ
組み込みコマンドが実行されるとき、行の残りはコマンドが引数として受け取 り、通常の Forth コマンドには使用されない特別なパーザがコマンドを処理しま す。

この特別なパーザは、解析したテキストに対して次のルールを適用します:

1. すべてのバックスラッシュ文字は前処理されます。

• \b , \f , \r , \n , \t は C で扱われるように処理されます。

• \s は空白文字に変換されます。

• \v は ASCII の 11 に変換されます。

• \z は単にスキップされます。 ‘‘\0xf\z\0xf’’ のように使用すると便 利です。

• \0xN と \0xNN は 16 進数の N と NN に変換されます。

• \NNN は 8 進数 NNN の ASCII 文字に変換されます。

• \" , \’ , \$ は、これらの文字をエスケープし、後述するステップ 2 における特殊な扱いをされないようにします。

• \\ は単一の \ に変換されます。

• 他の場合、バックスラッシュは単に取り除かれます。

2. エスケープされていないクォートまたはダブルクォートの間のすべての文字 列は、後続するステップにおいて単一の語として扱われます。

3. $VARIABLE または ${VARIABLE} は、環境変数 VARIABLE の値に変換されま す。

4. 空白で区切られた複数の引数を、呼び出した組み込みコマンドへ渡します。 空白は \\ を使用することによりエスケープ可能です。

解析ルールには例外があり、これは 組み込み語と FORTH で説明します。

組み込み語と FORTH
すべての組み込み語は、状態を意識する即時実行語です。インタプリトされる と、これらは前述の通りに振舞います。一方コンパイルされると、引数をコマン ドラインからではなくスタックから取り出します。

コンパイルされると、実行時に組み込み語は、スタック上で次のパラメータを見 付けられると期待します: addrN lenN ... addr2 len2 addr1 len1 N ここで addrX lenX は文字列であり、組み込み語の引数として解釈されるコマン ドラインを構成します。内部的には、おのおのの間に空白を狭んで、これらの文 字列は 1 から N まで結合されます。

引数が渡されない場合、組み込み語が引数を受け付けない場合であっても、単一 の 0 を渡す 必要があります。

この動作には利点がありますが、それ自身にはトレードオフがあります。組み込 み語の実行トークンが (’ または [’] を通して) 得られて、 catch または execute に渡された場合、組み込み語の動作は catch または execute が実行さ れるときのシステムの状態に依存します ! これは、例外を扱いたいまたは扱う 必要があるプログラムにとっては、特に悩ましいものです。この場合、代理 (proxy) を使用することをお勧めします。例えば次のようにします: : (boot) boot;

FICL

FICL は C で記述された Forth インタプリタであり、 C の関数などとして呼び 出し可能な forth 仮想マシンライブラリの形式です。

loader では、対話的に読み込まれた各行は FICL に与えられます。 FICL は、組 み込み語を実行するために loader を呼び戻します。組み込みの include もま た、1 度に 1 行ずつを FICL へ与えます。

FICL へ使用可能な語は 4 グループへ分類可能です。それは、 ANS Forth 標準 語、追加の FICL 語、追加の FreeBSD 語、そして組み込みコマンドです。最後の ものは既に説明しました。 ANS Forth 標準語は、 規格の節に列挙しています。 別の 2 グループの語については、以降の小節において説明します。

FICL 追加語

.ver

-roll

2constant

>name

body>

compare
This is the STRING word set’s compare.

compile-only

endif

forget-wid

parse-word

sliteral
This is the STRING word set’s sliteral.

wid-set-super

w@

w!

x.

empty

cell-

-rot

FREEBSD 追加語

$ (--)
最初に入力バッファを表示した後、入力バッファの残りを評価しま す。

% (--)
catch 例外ガード下の、入力バッファの残りを評価します。

.#
. と同様に動作しますが、後続の空白を表示しません。

fclose (fd --)
ファイルをクローズします。

fkey (fd -- char)
ファイルから 1 文字読み込みます。

fload (fd --)
ファイル fd を処理します。

fopen (addr len mode -- fd)
ファイルをオープンします。ファイル記述子を返します。失敗時には −1 を返します。 mode パラメータは、ファイルオープンの目的が読み 込み用、書き込み用、両用のいずれであるかを選択します。定数 O_RDONLY, O_WRONLY, O_RDWR が /boot/support.4th で定義され、そ れぞれ読み込み専用、書き込み専用、読み書きを示します。

fread (fd addr len -- len’)
ファイル fd から len バイトを、バッファ addr へ読み込もうとしま す。実際に読み込んだバイト数を返します。エラー時またはファイル の終了の場合には -1 を返します。

heap? (-- cells)
ディレクトリヒープ中に残された空間を、セル数の単位で返します。 これは、動的なメモリ割り当ての意味で使われるヒープとは無関係で す。

inb (port -- char)
ポートからバイトを読み込みます。

key (-- char)
コンソールから 1 文字読み込みます。

key? (-- flag)
コンソールから読み込み可能な文字がある場合、 真を返します。

ms (u --)
u マイクロ秒待ちます。

outb (port char --)
ポートへバイトを書き込みます。

seconds (-- u)
深夜 0 時からの秒数を返します。

tib> (-- addr len)
入力バッファの残りを、スタック上の文字列として返します。

trace! (flag --)
トレースを有効または無効にします。 catch とともには動作しませ ん。

FREEBSD で定義される環境問い合わせ

arch-i386
アーキテクチャが IA32 の場合 真です。

arch-alpha
アーキテクチャが AXP の場合 真です。

FreeBSD_version
コンパイル時の FreeBSD バージョンです。

loader_version
loader のバージョンです。

システム文書

関連ファイル

loader 自身。
/boot/boot.4th
追加の FICL の初期化。
/boot/boot.conf
loader のブートストラップスクリプト。価値が低 下しています。
/boot/defaults/loader.conf
/boot/loader.conf
/boot/loader.conf.local
loader 設定ファイル。 loader.conf(5) で解説さ れています。
/boot/loader.rc
loader のブートストラップスクリプト。
/boot/loader.help
help がロードします。ヘルプメッセージを含みま す。

使用例

シングルユーザモードでブートします:

boot -s

カーネルと起動画面をロードし、5 秒以内に自動ブートします。他の load コマ ンドを試みる前にカーネルをロードする必要があることに注意してください。

      load kernel
      load splash_bmp
      load -t splash_image_data /boot/chuckrulez.bmp
      autoboot 5

ルートデバイスのディスクユニットを 2 に設定し、ブートします。 IDE ディス クが 2 台のシステムで、 2 台目の IDE が wd1 ではなく wd2 に固定されている システムにおいて、必要となるでしょう。

      set root_disk_unit=2
      boot /kernel

次を参照してください:

追加の組み込み的な語について。

/boot/support.4th
loader.conf が処理する語について。

/usr/share/examples/bootforth/
分類された使用例。

エラー

次の値を loader は返します:

組み込みコマンド処理において任意のタイプのエラーが発生しまし た。

-1
Abort が実行されました。

-2
Abort" が実行されました。

-56
Quit が実行されました。

-256
インタプリトするテキストがありません。

-257
成功するためには更なるテキストが必要です -- 次の実行で終了し ます。

-258
Bye が実行されました。

-259
未定義エラー。

関連項目

libstand(3), loader.conf(5), tuning(7), boot(8), btxld(8)

ANS Forth 互換性の観点では、loader は 環境に制限がある ANS Forth System です。 Core Extensions 語集合からは、 .(, :noname, ?do, parse, pick, roll, refill, to, value, \, false, true, <>, 0<>, compile, , erase, nip, tuck, marker を提供しています。 Exception Extensions 語集合を提供していま す。 Locals Extensions 語集合を提供しています。 Memory-Allocation Extensions 語集合を提供しています。 Programming-Tools 拡張語集合からは .s, bye, forget, see, words, [if], [else], [then] を提供しています。 Search-Order 拡張語集合を提供しています。

loader は FreeBSD 3.1 ではじめて登場しました。

loader は Michael Smith ⟨msmith@FreeBSD.org⟩ によって書かれました。

FICL は John Sadler ⟨john_sadler@alum.mit.edu⟩ によって書かれました。

expect と accept の語は、コンソールからではなく入力バッファから読み込みま す。後者については修正されますが、前者は修正されません。

FreeBSD 10.0 October 1, 2004 FreeBSD 10.0