Perfil Ravenscar - Ravenscar profile

O perfil Ravenscar é um subconjunto do Ada tasking características projetado para de segurança crítica dura computação em tempo real . Foi definido por um relatório técnico separado em Ada 95; agora faz parte do Ada 2012 Standard. Recebeu o nome da vila inglesa de Ravenscar , local do 8º Workshop Internacional de Ada em Tempo Real (IRTAW 8).

Restrições do perfil

Um aplicativo Ravenscar Ada usa a seguinte diretiva de compilador : 

pragma Profile (Ravenscar);

Isso é o mesmo que escrever o seguinte conjunto de pragmas de configuração: 

pragma Task_Dispatching_Policy (FIFO_Within_Priorities);
pragma Locking_Policy (Ceiling_Locking);
pragma Detect_Blocking;
pragma Restrictions (
                 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_Attributes);

Veja também

Referências

  • Alan Burns (dezembro de 1999). "O Perfil Ravenscar" (PDF) . ACM SIGAda Ada Letters . XIX (4): 49–52. doi : 10.1145 / 340396.340450 .
  • Alan Burns, Brian Dobbing e Tullio Vardanega (junho de 2004). "Guia para a utilização do Perfil Ada Ravenscar em sistemas de alta integridade" (PDF) . ACM SIGAda Ada Letters . XXIV (2): 1–74. doi : 10.1145 / 997119.997120 .
  • Perfil Ravenscar para sistemas de alta integridade (Relatório técnico). ISO / WG9 Ada Relator Group. AI95-00249.

links externos


Ícone de esboço

Este artigo relacionado à linguagem de programação é um esboço . Você pode ajudar a Wikipedia expandindo-a .