デバイス割り当てデータベース

デバイス割り当ての構成には、次のファイルを使用します。

• device_allocate

• device_deallocate

• device_maps

device_allocate

device_allocate(4) ファイルは、割り当て可能な物理デバイスごとに、承認情報と必須アクセス制御情報を保持します。各エントリには、次の情報が定義されます。

• デバイス名

• デバイスの種類

• デバイスの最下位ラベル

• デバイスの最上位ラベル

• デバイスの承認リスト

• デバイス clean プログラム (オブジェクトの再利用ポリシーを強制するためのスクリプト)

• コメント

device_deallocate

デバイス割り当て解除機構では、システムブート、ユーザーのログアウト、タイムアウト後の強制ログアウトなどのイベントが発生したときに、デバイスの割り当てを強制的に解除するか、そのままにしておくか、またはユーザーに判断させるかが判断されます。device_deallocate(4) ファイルは、このようなイベントが発生した際、ユーザーがまだ割り当て解除していないデバイスに、デバイス割り当て解除オプションを指定します。

各デバイスの割り当て解除オプションのエントリには次の項目が定義されます。

• デバイス名

• システムブートオプション (ブート時の扱い)

• ユーザーログアウト (ユーザーがログアウトした場合の扱い)

• 強制されたログアウト (ユーザーがログアウトを強制された場合の扱い)

device_maps

device_maps(4) ファイルは、物理デバイス名とデバイス特殊ファイルを対応付けします。各デバイスのエントリには次の項目が定義されます。

• デバイス名

• デバイスの種類

• デバイス特殊ファイルリスト (物理デバイスに対応付けられたデバイス特殊ファイルの一覧)