エンベデッドシステムスペシャリスト 2016年 午前2 問24

スタックフレームの総使用量検証【午前2解説】

正解の理由

解法ステップ

1. 各関数のスタックフレームサイズは、問題文で分かっていると確認します。
2. スタックに同時に積まれるのは、呼出し中の関数と、その呼出し元の関数のフレームだと考えます。
3. どの関数がどの関数を呼び出すかを把握し、呼出し経路ごとのサイズを合計する必要があります。
4. よって、追加で必要な情報は関数の呼出し関係です。

選択肢別の誤答解説

• ア：各関数が使用するレジスタの退避領域のサイズ
  レジスタの退避領域は、関数のスタックフレームの一部として扱われます。フレームサイズが既に分かっているなら、別途必要な情報ではありません。
• イ：各関数が使用するローカル変数のサイズ
  ローカル変数も通常はスタックフレーム内に確保されます。各関数のフレームサイズが分かっているため、個別に追加する必要はありません。
• ウ：各関数の呼出し関係（呼出しツリー）
  正しい選択肢です。呼出し経路をたどることで、同時にスタック上に存在するフレームの組合せを判断できます。
• エ：グローバル変数の合計サイズ
  グローバル変数は通常、スタックではなく静的領域に格納されます。そのため、スタックサイズの検証に必要な情報ではありません。

よくある誤解

• すべての関数のフレームサイズを合計すればよい
  すべての関数が同時に実行されるわけではありません。合計するのは、実行時に同時に呼出し中となる関数のフレームです。
• ローカル変数のサイズも別に加える必要がある
  フレームサイズがローカル変数などを含む値であれば、二重に加算してはいけません。
• 関数の呼出し関係が分かれば、再帰の影響も必ず確定する
  再帰呼出しでは、同じ関数のフレームが複数積まれる場合があります。最大再帰深さが不明なら、必要なスタックサイズを確定できないことがあります。

補足コラム

FAQ