Profil Ravenscara

Profil Ravenscar jest podzbiorem funkcji zarządzania zadaniami Ady , zaprojektowanych z myślą o krytycznych dla bezpieczeństwa obliczeniach w czasie rzeczywistym . Zostało to określone w osobnym raporcie technicznym w Ada 95; jest teraz częścią standardu Ada 2012. Został nazwany na cześć angielskiej wioski Ravenscar , w której odbyły się 8. Międzynarodowe Warsztaty Ady w Czasie Rzeczywistym (IRTAW 8).

Ograniczenia profilu

Aplikacja Ravenscar Ada używa następującej dyrektywy kompilatora :

   profil  pragma  (  Ravenscar  );

Jest to to samo, co napisanie następującego zestawu pragm konfiguracyjnych:

  
  
 
  
                 
                 
                 
                 
                 
                 
                 
                  pragma  Task_Dispatching_Policy  (  FIFO_Within_Priorities  );  pragma  Locking_Policy  (  Ceiling_Locking  );  pragma  Detect_Blocking  ;  ograniczenia  pragma  (  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 
                 
                 
                 
                 
                 
                 
                 
                 
                   
                    
                         0
                    ,  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  =>  ,  No_Dependence  =>  Ada  .  Asynchronous_Task_Control 
                   
                   
                   
                    ,  No_Dependence  =>  Ada  .  Kalendarz  ,  No_Dependence  =>  Ada  .  czas_wykonania  .  Group_Budget  ,  No_Dependence  =>  Ada  .  czas_wykonania  .  Timery  ,  No_Dependence  =>  Ada  .  Zadanie  _  Atrybuty  );

Zobacz też

Ada (język programowania)
Oprogramowanie o wysokiej integralności
SPARK (język programowania)
Z „Podręcznika Ady (Ada 202x Draft 19”): ( D.13 Profile Ravenscar i Jorvik )

Alan Burns (grudzień 1999). „Profil Ravenscar” (PDF) . ACM SIGAda Ada Letters . XIX (4): 49–52. doi : 10.1145/340396.340450 .
Alan Burns, Brian Dobbing i Tullio Vardanega (czerwiec 2004). „Przewodnik po korzystaniu z profilu Ada Ravenscar w systemach o wysokiej integralności” (PDF) . ACM SIGAda Ada Letters . XXIV (2): 1–74. doi : 10.1145/997119.997120 .
Profil Ravenscar dla systemów o wysokiej integralności (raport techniczny). ISO/WG9 Ada Sprawozdawca Grupa. AI95-00249.

Linki zewnętrzne