Профиль Равенскара

Профиль Ravenscar — это подмножество функций управления задачами Ada , предназначенных для критически важных для безопасности вычислений в режиме реального времени . Это было определено в отдельном техническом отчете в Ada 95; теперь он является частью стандарта Ada 2012. Он был назван в честь английской деревни Равенскар , где проходил 8-й Международный семинар по Ada в реальном времени (IRTAW 8).

Ограничения профиля

Приложение Ravenscar Ada использует следующую директиву компилятора :

прагма   Профиль   (  Рэйвенскар  ); 

Это то же самое, что написать следующий набор конфигурационных прагм:

прагма   Task_Dispatching_Policy   (  FIFO_Within_Priorities  ); 
  прагма   Locking_Policy   (  Ceiling_Locking  ); 
  прагма   Detect_Blocking  ; 
  Ограничения   прагмы   ( 
                  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_Statement  s , 
                  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  .  =  > 
                  No_Dependence   >   > ​ ​ ​ ​ ​ 
                 ​  ​  ​ ​ ​ ​ ​ ​ 
                 ​  ​  ​ ​ ​ ​ ​ ​ 

См. также

• Ада (язык программирования)
• Программное обеспечение высокой надежности
• СПАРК (язык программирования)
• Из «Справочного руководства Ada (Ada 202x Draft 19»): ( D.13 Профили Равенскара и Юрвика )

Ссылки

• Алан Бернс (декабрь 1999 г.). «Профиль Рэйвенскара» (PDF) . ACM SIGAda Ada Letters . XIX (4): 49–52. дои : 10.1145/340396.340450 . S2CID   29367277 .
• Алан Бернс, Брайан Доббинг и Туллио Варданега (июнь 2004 г.). «Руководство по использованию профиля Ады Равенскар в системах высокой целостности» (PDF) . ACM SIGAda Ada Letters . XXIV (2): 1–74. дои : 10.1145/997119.997120 . S2CID   36061649 .
• Профиль Ravenscar для систем высокой целостности (Технический отчет). Группа докладчика ISO/WG9 Ada. АИ95-00249.

Внешние ссылки

• Среда выполнения Ravenscar для процессоров ARM
• Обсуждение реализации профиля Ravenscar для ARM