再入可能 | ASAHIネット

リエントラント（Reentrant、再入可能）とは、プログラムやサブルーチンが、静的な内部状態をもたないので、再帰的にも、複数のスレッドからも、データを壊すおそれなく呼び出せる場合をいう。関数がリエントラントであるためには、静的データを保持してはならず、静的データへのポインタを返してもいけない。呼出し側が提供したデータだけに基づいて処理を行わなければならず、リエントラントでない関数を呼び出してはならない。

リエントラントなコードはスレッドセーフであるほか、データを壊すことなく処理を一時中断することもできる。

セマフォのような同期機構を用いて静的データへのアクセスを保護したコードは、スレッドセーフではあるがリエントラントではない。

スレッドセーフなコードを書く場合に、その手法として、リエントラントなコードを採用することがある。しかし、リエントラントなコードは、同期機構を用いた単にスレッドセーフなコードを書くのに比べて難度が高い。

誤解されることが多いが、仮想記憶によって物理記憶上のプログラムのイメージを複数のプロセスのアドレス空間にマッピングして使用するなどの設計と、リエントラントという概念は厳密には同じではない。