Perfil de Ravenscar

El perfil de Ravenscar es un subconjunto de Ada que encarga rasgos diseñados para la informática de tiempo real difícil crítica de la seguridad. Fue definido por un informe técnico separado en Ada 95; es ahora la parte del Estándar de 2005 de Ada. Se ha nombrado por Ravenscar, la posición de 8va Ada Workshop de Tiempo real Internacional (IRTAW 8).

Restricciones del perfil

Una aplicación de Ravenscar Ada usa la directiva del compilador siguiente:

Perfil de pragma (Ravenscar);

</fuente>

Esto es lo mismo como la escritura del juego siguiente de la configuración pragmas:

pragma Task_Dispatching_Policy (FIFO_Within_Priorities);

pragma Locking_Policy (Ceiling_Locking);

pragma Detect_Blocking;

Restricciones de pragma (

No_Abort_Statements,

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. Calendario,

No_Dependence => Ada. Execution_Time. Group_Budget,

No_Dependence => Ada. Execution_Time. Temporizadores,

No_Dependence => Ada. Task_Attributes);

</fuente>

También ver

Enlaces externos



Buscar