El perfil de Ravenscar es un subconjunto de la Ada tareas características diseñadas para la crítica para la seguridad duro tiempo real . Fue definido por un informe técnico separado en Ada 95; ahora es parte del Estándar Ada 2012. Lleva el nombre del pueblo inglés de Ravenscar , la ubicación del 8º Taller Internacional Ada en Tiempo Real (IRTAW 8).
Restricciones del perfil
Una aplicación Ravenscar Ada utiliza la siguiente directiva del compilador :
Perfil de pragma ( Ravenscar );
Esto es lo mismo que escribir el siguiente conjunto de pragmas de configuración:
pragma Task_Dispatching_Policy ( FIFO_Within_Priorities ); pragma Locking_Policy ( Ceiling_Locking ); pragma Detect_Blocking ; pragma Restricciones ( No_Abort_Statements , No_Calendar , No_Dynamic_Attachment , No_Dynamic_Priorities , No_Implicit_Heap_Allocations , No_Local_Protected_Objects , No_Local_Timing_Events , No_Protected_Type_Allocators , No_Relative_Delay , No_Requeue_Statements , No_Select_Statements , No_Specific_Termination_Handlers , No_Task_Allocators , No_Task_Hierarchy , No_Task_Termination , Simple_Barriers , Max_Entry_Queue_Length => 1 , Max_Protected_Entries => 1 , Max_Task_Entries => 0 , No_Dependence => Ada . Asynchronous_Task_Control , No_Dependence => Ada . Calendar , No_Dependence => Ada . Execution_Time . Group_Budget , No_Dependence => Ada . Execution_Time . Timers , No_Dependence => Ada . Task _ Atributos );
Ver también
- Ada (lenguaje de programación)
- SPARK (lenguaje de programación)
- Del "Manual de referencia de Ada (Ada 202x Draft 19"): ( D.13 Los perfiles de Ravenscar y Jorvik )
Referencias
- Alan Burns (diciembre de 1999). "El perfil de Ravenscar" (PDF) . ACM SIGAda Ada Letters . XIX (4): 49–52. doi : 10.1145 / 340396.340450 .
- Alan Burns, Brian Dobbing y Tullio Vardanega (junio de 2004). "Guía para el uso del Perfil Ada Ravenscar en sistemas de alta integridad" (PDF) . ACM SIGAda Ada Letters . XXIV (2): 1–74. doi : 10.1145 / 997119.997120 .
- Perfil Ravenscar para sistemas de alta integridad (Informe técnico). Grupo Relator de ISO / WG9 Ada. AI95-00249.
enlaces externos
- El perfil de Ravenscar , por Paul Parkinson
- Un tiempo de ejecución de Ravenscar para procesadores ARM
- Discusión sobre la implementación del perfil Ravenscar para ARM's