マスク (情報工学)

コンピュータの演算におけるマスクとは、ビット演算と呼ばれるビット単位の操作を行なうための、特定のビットパターンを持つ被演算数値データである。ビットマスクとも呼ばれる。

マスクを使用すると、バイト、ニブル、ワードなどの複数のビットから成るデータにおける特定ビットを同時にオン／オフしたり、ビット単位でオン／オフを反転させたり、また特定のビットの状態を取得したりすることができる。注目するビットを操作し、それ以外のビットを操作対象外として覆うことから、顔の口に当てる「マスク」などのようにマスクと呼ぶ塗装時の塗り分けに使用するマスキングテープや、半導体製造工程で使用されるフォトマスクなど、類似の用法は多数ある。}}。

一般的なコンピュータプロセッサにおける命令セットでは、読み書き操作可能な最小のデータ単位はバイトである。つまり、レジスタの一部のビットのみ、あるいは、メモリ上の一部のビットのみを操作する、というような命令を持たない。したがってレジスタやメモリ上の一部のビットのみを操作したい、という場合は、ビットマスクを使ってビット単位の論理演算を行なう必要がある。メモリが対象の場合は、さらに「リード・モディファイ・ライト」が必要な場合も多い。

1. ビットマスク
---------

1.1. 特定ビットをオンにするマスク
-------------------

特定のビットだけをオンにするには、ビット単位の論理和演算を行なう。1とのOR演算結果は元の状態にかかわらず常に1となり、0とのOR演算結果は元の状態を維持するため、対象となるビット位置では1とのOR演算を行ない、変更を加えないビット位置では0とのOR演算を行なうようなビットパターンをマスクデータとして用いる。

例: LSBから4番目のビットをオンにする 10011101 10010101 マスクされる2バイト OR 00001000 00001000 マスクする2バイト = 10011101 10011101 マスクされた結果

1.2. 特定ビットをオフにするマスク
-------------------

特定のビットだけをオフにするには、ビット単位の論理積演算を行なう。0とのAND演算結果は元の状態にかかわらず常に0となり、1とのAND演算結果は元の状態を維持するため、対象となるビット位置では0とのAND演算を行ない、変更を加えないビット位置では1とのAND演算を行なうようなビットパターンをマスクデータとして用いる。

例: LSBから4番目のビットをオフにする 10011101 10010101 マスクされる2バイト AND 11110111 11110111 マスクする2バイト = 10010101 10010101 マスクされた結果

1.3. 個々のビットの状態を調べる
------------------

ビットマスクを使うと、特定のビットに注目して取り出しその状態を調べることができる。そのためには、ビット単位の AND を行って対象の特定ビット以外の状態に拘わらず全てオフにすればよいので、上述したように対象外のビット位置は 0 との AND にすればよい。こうして得られた値を 0 と比較し、等しければそのビットはオフと分かるし、等しくなければオンだと分かる。このとき具体的にどういう値かを考慮する必要は無く、単に 0 かどうかだけで判断できる。

例: LSBから4番目のビットの状態を調べる 10011101 10010101 マスクされる2バイト AND 00001000 00001000 注目するビットのみ1としたマスクする2バイト = 00001000 00000000 マスクされた結果

1.4. ビット値の反転
------------

ここまでは、ビットをオンにする方法とオフにする方法を解説してきたが、両方を同時に行うにはどうすればよいだろうか。元の値がどうであろうと問題ではなく、単にビット列を反転させたい場合もある。この場合、XOR 演算を使う。XOR は、演算対象の相互のビットのうちいずれかのビットのみが 1 の場合に 1 を返す。つまり、2つのビットが共に 1 なら 0 を返す。また両方が 0 なら 0 を返す。結果として、対象とする相互のビットの状態が以前から反転した異なる状態に変えることができる。したがって、反転させたいビット列について全て 1 とのビット単位の XOR を行えば、元のビット列を反転したビット列が得られる。元のビットが 1 なら 1 XOR 1 = 0 となるし、元のビットが 0 なら 0 XOR 1 = 1 となる。

例: すべてのビットを反転する 10011101 10010101 反転前の2バイト XOR 11111111 11111111 反転させるため全て1の2バイト = 01100010 01101010 反転された結果

2. ビットマスクの使用例
-------------

2.1. 関数の引数
----------

C言語のようなプログラミング言語では、ビットマスクは関数のブーリアン型の引数を一連の名前付きの値として渡すのに使える。例えば、グラフィックスAPIであるOpenGLには、glClear というコマンドがある。これは画面や他のバッファをクリアするもので、4つのバッファをクリアできるので、これらを指定するのにブーリアン型の引数を4つ使ったAPIが考えられる。すると、その呼び出しは次のようになる。 glClear; // 実際の glClear とは異なる。 これでは、可読性が低く、何をしたいのかわかりにくい。そこで実際には特定ビット位置をオンにしたビットマスクに GL_COLOR_BUFFER_BIT、GL_DEPTH_BUFFER_BIT、GL_ACCUM_BUFFER_BIT、GL_STENCIL_BUFFER_BIT と名前を付け、glClear を次のように宣言している。 void glClear; すると、この関数の呼び出しは次のようになる。 glClear; このような引数を持つ関数の内部では、個々のビットを取出すのに AND 演算を行っている。例えば、glClear の実装は次のようになる。 void glClear { if  { // color バッファをクリア } if  { // depth バッファをクリア } if  { // accumulation バッファをクリア } if  { // stencil バッファをクリア } }
この手法の利点は、引数の個数を削減することでオーバーヘッドを削減できる点である。データとして受け渡しできる最小単位は1バイトなので、それぞれの操作を別々の引数で受け渡すと、引数当たり7ビットが無駄となり、余分なスタック領域を占有することになる。実際には引数は32ビットの整数であることが多く、その場合は32個のオプションを1つの引数で指定できる。しかし、この手法を単純に実装すると型安全ではなくなる。GLbitfield は単純に unsigned int で定義されているので、コンパイラは glClear や glClear といった無意味な呼び出しがあってもエラーを検出できない。C++では、glClear が受け取る引数群をクラスとしてカプセル化でき、型安全性を保証できる。

2.2. 2の冪の剰余
-----------

剰余を求める計算はビット演算より一般的に低速である。法が2の冪のときは、単純に 2^n - 1 でビットマスクをとるだけでよい。例:

13 MOD 4 = 1 1101 AND 0011 = 0001

実用上の例では、ハッシュテーブルのためのハッシュ関数が挙げられる。ハッシュ関数には大きな定義域の関数がよく使われるが、ハッシュ値からハッシュテーブルのインデックスを得るには、合同式の操作を行って配列のサイズに収まるようにする必要がある。配列のサイズを2の冪にしておけば、この剰余演算を高速化できる。

2.3. IPアドレスのマスク
---------------

IPアドレスのマスクは IP ACL で許可されるものと拒否されるものを指定するのに使われる。インタフェース上のIPアドレスを設定するマスクは、先頭が255で左側の方が大きい値になる。例えば、IPアドレス 209.165.202.129 に対して 255.255.255.224 というマスクが対応する。IP ACL のマスクはその逆で、例えば 0.0.0.255 となる。これを逆マスク  あるいはワイルドカードマスク  と呼ぶこともある。このマスク値をバイナリで表すと、アドレスのビット列のうちどの部分を処理するかが示されている。0となっているビット位置のアドレスビットは考慮され、1となっているビット位置のアドレスビットは考慮しない。

マスクの例:

ネットワークアドレス 10.1.1.0 マスク 0.0.0.255

ネットワークアドレス 00001010.00000001.00000001.00000000 マスク 00000000.00000000.00000000.11111111

バイナリ形式のマスクを見ると、先頭3オクテットは指定されたバイナリ形式のネットワークアドレス  と正確に一致しなければならない。最後尾にオクテットは考慮する必要はない 。したがって、10.1.1. で始まるアドレスの全トラフィックを対象とし、最後尾のオクテットは考慮しない。つまり、このマスクでは 10.1.1.1 から 10.1.1.255 までのアドレスを処理する。

255.255.255.255 から通常のマスクを引き算すると ACL 用逆マスクが得られる。例えば、ネットワークアドレス 172.16.1.0 の通常のマスクが 255.255.255.0 の場合、逆マスクは次のように求められる。

255.255.255.255 - 255.255.255.0 = 0.0.0.255

アドレス 0.0.0.0 で逆マスクが 255.255.255.255 なら、アドレス範囲を指定しないことを示している。アドレス 10.1.1.2 で逆マスクが 0.0.0.0 なら唯一のホスト 10.1.1.2 だけを指す。

2.4. 画像マスク
----------

最も「マスク」らしく、またその意味が視覚的にわかりやすい応用である。

コンピュータグラフィックスにおいて、ある画像を何らかの背景画像の上に配置したい場合、背景画像を透過させる領域をマスクで指定する。この場合、配置対象の画像には2つのビットマップが存在する。画像内の描画しないピクセルに対応するビットを全て0にしたものと、描画する部分のピクセルを全て0とし、描画しない部分を全て1にした「マスク」である。右図の例で、黒いピクセルは全ビットが0で、白のピクセルは全ビットが1である。

このような画像を背景画像上に配置する場合、まず画面上のピクセルと画像マスクをビット単位のAND操作で合成する。すると、透明部分は背景がそのまま残り、画像を描画したい部分だけが0でクリアされる。

次に、実際の画像と背景画像をビット単位のOR操作で合成する。こうすると、画像のピクセル列は前の操作で背景が消された領域にぴったりと嵌まる。このようにして背景と画像を合成する。

このような技法は、ポインティングデバイスのカーソルの描画、2次元のゲームのキャラクタなどの描画、GUIでのアイコンの描画、動画への文字の表示といった各種画像合成に使われている。

同様の目的の技術として、カラーパレットに透明色を設ける手法や、アルファチャンネルを用いる手法があり、その場合はピクセル画像のビットマスクは不要である。

3. 脚注
-----

3.1. 注釈
-------

3.2. 出典
-------

4. 関連項目
-------

ビット演算
サブネットマスク
Bitapアルゴリズム

5. 外部リンク
--------

[1]