Перейти к навигации Перейти к поиску
Профиль Ravenscar является подмножеством Ada постановки задач функций , предназначенных для обеспечения безопасности критически важных жесткого реального времени вычислений . Это было определено в отдельном техническом отчете на Аде 95; теперь это часть стандарта Ada 2012. Он был назван в честь английской деревни Равенскар , где проходил 8-й Международный семинар по Ада в реальном времени (IRTAW 8).
Ограничения профиля [ править ]
Приложение Ravenscar Ada использует следующую директиву компилятора :
прагма Профиль ( Ravenscar );
Это то же самое, что написать следующий набор прагм конфигурации:
прагма Task_Dispatching_Policy ( FIFO_Within_Priorities ); прагма Locking_Policy ( Ceiling_Locking ); прагма Detect_Blocking ; 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 , 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 => Ада . Asynchronous_Task_Control , No_Dependence => Ада . Календарь , No_Dependence => Ада . Execution_Time . Group_Budget , No_Dependence => Ада . Execution_Time . Таймеры , No_Dependence => Ада . Задача _ Атрибуты );
См. Также [ править ]
- Ада (язык программирования)
- СПАРК (язык программирования)
- Из "Справочного руководства Ada (Ada 202x Draft 19"): ( D.13 Профили Равенскара и Юрвика )
Ссылки [ править ]
- Алан Бернс (декабрь 1999 г.). "Профиль Равенскара" (PDF) . ACM SIGAda Ada Letters . XIX (4): 49–52. DOI : 10.1145 / 340396.340450 .
- Алан Бернс, Брайан Доббинг и Туллио Варданега (июнь 2004 г.). «Руководство по использованию профиля Ada Ravenscar Profile в системах с высоким уровнем целостности» (PDF) . ACM SIGAda Ada Letters . XXIV (2): 1–74. DOI : 10.1145 / 997119.997120 .
- Профиль Ravenscar для систем высокой степени интеграции (Технический отчет). Группа докладчиков ISO / WG9 Ada. AI95-00249.
Внешние ссылки [ править ]
- Профиль Равенскара , Пол Паркинсон
- Среда выполнения Ravenscar для процессоров ARM
- Обсуждение реализации профиля Ravenscar для ARM