安全性が重要な組み込みデバイスでの使用の可能性について、Ada の学習を開始しました。これまでのところ、私はそれが本当に好きです。しかし、組み込みプログラミングに関する私の研究で、組み込みシステムで例外処理を使用するかどうかというホットな話題に出くわしました。一部の人々がそれを避けているように見える理由を理解していると思います：
- その実装に応じて、実行時のオーバーヘッドまたはより大きなコードサイズのいずれかが導入される可能性があります (ここで「実装」の下で説明されています) 。
- 例外の実行にかかる時間は非決定論的である可能性があります（私が見たいくつかのソースの1つ）
ここで私の質問は、Ada 言語または GNAT コンパイラはこれらの問題に対処していますか? セーフティ クリティカル コードに関する私の理解では、非決定論的なコード サイズと実行時間は受け入れられないことが多いということです。
デューデリジェンス: Ada の例外がどの程度決定論的であるかを正確に把握するのに少し苦労していますが、私の理解では、元の実装では、コードサイズの影響を減らす代わりに、実行時のオーバーヘッドを増やす必要がありました (上記の最初のリンクでは、Ada が明示的に言及されています)。上記の最初のリンクを超えて、Ravenscar プロファイルやこの論文など、コードの決定論に言及しているプロファイルを調べましたが、例外処理の決定論に言及しているものはないようです。公平を期すために、このトピックは非常に深いように見えるため、間違った場所を探している可能性があります。