基本情報技術者 2019年 春期 午前（科目A） 問08

リエントラント性【午前解説】

正解の理由

解法ステップ

1. 問題文のキーワード「同時に呼び出されたとき」「互いに干渉することなく」を確認する。
2. 各選択肢の定義を頭の中で照合する（リエントラント、リカーシブ、リユーザブル、リロケータブル）。
3. 「同時呼び出しで状態が干渉しない」性質に最も近い語を選ぶ（＝リエントラント）。
4. 他の語が示す意味（再帰、再利用、再配置）と区別できることを確認して解答する。

選択肢別の誤答解説

• ア リエントラント — 正解。複数の実行コンテキストが同じコードを同時に呼んでも干渉しない性質を示します。
• イ リカーシブ（recursive） — 誤り。関数が自分自身を呼び出す機能を示す用語で、同時呼び出しに関する性質ではありません。
• ウ リユーザブル（reusable） — 誤り。再利用可能という意味で、モジュール性や汎用性を指しますが並行実行での非干渉性を保証するものではありません。
• エ リロケータブル（relocatable） — 誤り。コードやデータを別のメモリ位置に配置しても動作する性質（再配置可能）で、同時実行や状態の干渉とは無関係です。

よくある誤解

• 「スレッドセーフ＝リエントラント」と考える誤解：スレッドセーフは並行実行で正しく動くことだがロックで保護する手法も含み、ロック中は同時実行が待たされる点でリエントラントとは異なります。
• 「再帰可能（recursive）と同じ」と勘違いする：再帰は自身を呼ぶ能力であり、再入可能とは用途が別です。再帰関数が必ずしも共有状態に無依存とは限りません。
• 「再利用可能（reusable）＝リエントラント」と混同する：再利用性は設計の観点で広い意味を持ち、並行実行時の安全性を必ずしも保証しません。

補足コラム

// 非リエントラント: static バッファを返す（同時呼び出しで競合する）
char* get_temp_str() {
    static char buf[128];
    strcpy(buf, "temporary");
    return buf;
}

// リエントラント: 呼び出し側がバッファを渡す（同時呼び出しでも干渉しない）
char* get_temp_str_r(char *buf, size_t size) {
    strncpy(buf, "temporary", size-1);
    buf[size-1] = '\0';
    return buf;
}

FAQ