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

固定長メモリプール管理【午前解説】

正解の理由

解法ステップ

1. 問題文のキーワードを抽出：「固定長方式」「可変長方式」「処理速度」「メモリ効率」「一定／不定」等。
2. 固定長方式の基本動作を思い出す：同一サイズブロックのプール、先頭参照で割当・解放。
3. 可変長方式との差を列挙：可変は合併/分割や検索が必要で処理変動が発生しやすい。
4. 選択肢と照合して、処理速度が「速く一定」、効率が「悪い」を満たす選択肢を選ぶ。

選択肢別の誤答解説

• ア: 「メモリ効率が良く、獲得及び返却の処理速度は遅く一定である。」
  → 誤り。固定長は処理速度は速い（ポインタ操作）であって遅くないし、メモリ効率は良くない。
• イ: 「メモリ効率が良く、獲得及び返却の処理速度は遅く不定である。」
  → 誤り。メモリ効率の良さは可変長に近い特徴で、固定長は逆。速度も遅く不定ではない。
• ウ: 「メモリ効率が悪く、獲得及び返却の処理速度は速く一定である。」
  → 正解。固定長は内部フラグメンテーションで効率低下、操作は固定処理で高速かつ決定的。
• エ: 「メモリ効率が悪く、獲得及び返却の処理速度は速く不定である。」
  → 誤り。速度は速いが不定ではない。固定長は実行時間の予測性が高い。

よくある誤解

• 「効率が良い」は可変長の特性と混同しているケースが多い。可変長はサイズに応じて割当てられるため基本的にメモリ効率は高いが断片化や合併に処理を要する。
• 「速いが不定」は固定長の高速性を見落としている誤り。固定長は設計次第でO(1)かつ決定時間であることがポイント。
• 「固定長なら常に良い」は誤り。利用するオブジェクトサイズの多様性が高い場合、内部フラグメンテーションにより総メモリ消費が増え運用に不利になる。

補足コラム

• 実装例と派生手法：固定長プールはスラブアロケータ（kernelのキャッシュ）やオブジェクトプールとして実装され、サイズごとに複数のプールを用意すると内部フラグメンテーションを軽減できます。可変長方式（一般的なmalloc/free）は最良適合やビン方式、ビディング（バディ）法などで断片化対策や性能改善を図ります。
• リアルタイムシステムの観点：リアルタイム性（デッドライン遵守）が最優先の場合、処理時間の最悪ケースが小さく予測可能な固定長方式が好まれます。メモリ使用量の厳密な制御が必要な場面では、適切な設計・事前割当（スタティックアロケーション）を併用します。

FAQ