Sto scrivendo un programma Ada utilizzando il sottoinsieme Ravenscar (quindi, sono a conoscenza del numero di attività in esecuzione al momento dell'esecuzione). Il codice è compilato da gcc con lo switch -fstack-check abilitato. Ciò dovrebbe causare il programma aumentare un STORAGE_ERROR in fase di esecuzione se uno qualsiasi dei miei compiti supera il loro stack.Best practice per determinare l'utilizzo dello stack nel programma Ravenscar
Ada permette di impostare il limite superiore per coloro (task-specific) pile durante la specificazione del rispettivo compito in questo modo:
pragma Storage_Size (Some_Value);
Ora mi chiedevo cosa opzioni che ho per determinare Some_Value. Quello che ho sentito fino ad ora:
- Fai ipotesi finché non viene più sollevato STORAGE_ERROR. Questo è più o meno ciò che l'OP suggerisce here.
- Inserire qui l'uscita di
-fstack-usage. - Utilizzare alcune estensioni specifiche di gnat come indicato here (in che cosa si differenzia tecnicamente dall'articolo 2?).
- Ottieni un analizzatore di stack come gnatstack e lascia che faccia il lavoro per te.
Se ho capito bene tutte le tecniche di cui sopra sono dinamico (cioè esse richiedono il programma da eseguire per lavorare). Anche gli approcci statici sono concepibili? Per esempio. limitandomi ulteriormente attraverso alcune delle opzioni ad alta integrità di Ada (come ad esempio No_Recursion, che altro?).
Forse qualcuno di voi può indicare alcune best practice per affrontare questo problema e/o estendere/commentare la mia lista (sicuramente incompleta).
Domanda bonus: Qual è la dimensione predefinita dello stack di un task quando il pragma precedente non è specificato? Lo docs di GCC indica solo che questo valore dipende dal runtime, senza fornire numeri concreti.
Buona domanda con una buona ricerca di fondo! –
La dimensione dello stack predefinita è data in 'System.Parameters.Default_Stack_Size' (file' s-parame.adb'). –
@Simon: la dimensione dello stack è correlata all'attività dell'ambiente, alle attività dichiarate o a tutte le attività? Chiedo perché mi sono imbattuto in un'opzione "imposta lo stack size" che non ha influenzato il task di ambiente - che apparentemente non è stato settabile in alcun modo con quella specifica release del compilatore, che ha anche disobbedito alle impostazioni di ulimit. Ho lavorato attorno ad esso spostando l'intero programma in un nuovo compito ... –