スタックサイズ見積りとは？すたっくさいずみつもり
スタックサイズ見積りとは、各タスクへ割り当てるスタック量を、呼出しツリーの経路ごとに局所変数・引数・戻り番地・退避レジスタを積み上げ、最大となる経路の値で決める作業。多重割込みで積まれるぶんと、コンパイラが入れるアライメント調整も加算する。全関数の総和ではなく最大値である点が要点。
最終更新：2026-10-06
エンベデッドSPを最短で暗記・合格する →背景
MMUを持たないMCUでは、スタックがあふれても例外は上がらず、隣接した変数領域を静かに壊す。しかも深い経路が実行される条件が数か月に一度しか揃わないなら、試験機では再現しない。だから静的に上限を押さえる設計が要る。一方で余らせればそのままRAMの無駄で、SRAMが数十キロバイトの世界では部品選定とコストに直結する。この綱引きが資源設計の中心にある。
具体例
GCCの-fstack-usageは関数ごとのフレームサイズを.suファイルに出し、IAR SystemsのIAR Embedded Workbenchは呼出しツリーからタスクごとの最大使用量をリンク時に算出する。実機では領域を0x5Aなどで塗っておき、連続運転後に未書換えのまま残った量を見る塗りつぶし法で、見積りの余裕を確かめる。
試験での引っ掛け
全関数のフレームを合計させる誤答が必ず用意されている。決まるのは最大となる1本の経路。関数ポインタや再帰があると静的解析が経路を追えず上限が出せないため、組込みでは再帰を使わないのが原則。割込みが使うぶんは全タスクに等しく乗る点も落としやすい。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。