Профиль Ravenscar - Ravenscar profile

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

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

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

pragma Profile (Ravenscar);

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

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);

Смотрите также

Рекомендации

  • Алан Бернс (декабрь 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.

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