令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問21

解説

プログラム全体でのスタックフレームの最大使用量は，各関数が単独で使用するスタックフレームのサイズだけでなく，どの関数がどの関数を呼び出すかという呼出し関係（呼出しツリー）が分からなければ求められません。呼出しツリーの中で，根から葉までの経路上にある関数のスタックフレームサイズを合計した値のうち，最大となる経路（最悪の呼出し経路）を特定することで，プログラム全体での最大スタック使用量を求めることができます。

選択肢ごとの解説

• ア誤り。レジスタの退避領域のサイズは，各関数のスタックフレームサイズに既に含まれている情報であり，別途必要となる追加情報ではありません。
• イ誤り。ローカル変数のサイズも，各関数のスタックフレームサイズに含まれる情報であり，スタックフレームサイズ情報として既に与えられています。
• ウ正しい。各関数のスタックフレームサイズに加えて，どの関数がどの関数を呼び出すかという呼出し関係（呼出しツリー）が分かれば，最悪の呼出し経路をたどることで，プログラム全体での最大スタック使用量を求めることができます。
• エ誤り。グローバル変数はスタック領域ではなく静的な記憶領域に配置されるため，スタックフレームのサイズの検証には直接関係しません。