Ravenscarプログラムのスタック使用量を判断するためのベストプラクティス

Question

Ravenscarサブセットを使用してAdaプログラムを作成しています（実行時に実行中のタスクの数がわかります）。コードは-fstack-checkスイッチを有効にしてgccによってコンパイルされます。私のタスクがスタックを超えた場合、プログラムは実行時にSTORAGE_ERRORを発生させるはずです。

pragma Storage_Size (Some_Value); 

今私はSome_Valueを決定しなければならないものオプション思っていた：

エイダは、それら（タスク固有）はそうのような各タスクの指定時にスタックの上限を設定することを可能にします。これまでに聞いたことがあります：

1. STORAGE_ERRORがもう発生しなくなるまで、野生の推測を行います。これは、OPが示唆しているものと多かれ少なかれhereです。
2. -fstack-usageの出力をそこに送ります。
3. hereのようにいくつかのgnat固有の拡張を使用します（これは技術的に項目＃2とどのように違いますか？）。
4. gnatstackのようなスタックアナライザを取得し、それをあなたに任せましょう。

私はこれを正しく理解していれば、上記のすべての技術は、（すなわち、彼らが動作するために実行するプログラムを必要とする）ダイナミックです。静的アプローチも考えられますか？例えば。 Adaの高度な整合性オプション（例えば、No_Recursionなど）のいくつかをさらに制限することによって、他に何か？

おそらく、この問題に対処したり、私の（確かに不完全な）リストを拡張/コメントするためのベストプラクティスを挙げることができます。

ボーナス質問：上記のプラグマが指定されていない場合のタスクスタックのデフォルトサイズはいくらですか？ GCCのdocsは、具体的な数値を指定せずにこの値が実行時によって異なります。

Answer 1

通常、個々のタイプに必要なスタック領域は、'Storage_Size属性（ビット数）で確認できます。

これを集計したら（単語/ダブルワード全体に丸めなければならない場合があります）、各宣言領域でどれだけのスタックスペースが使用されているかを加算し、最大値スタックの使用。