Профиль Ravenscar - Ravenscar profile

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

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

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

прагма Профиль (Ravenscar);

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

прагма Task_Dispatching_Policy (FIFO_Within_Priorities);прагма Locking_Policy (Потолок - замок);прагма Detect_Blocking;прагма Ограничения (                 No_Abort_Statements,                 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,                 Нет_Зависимости => Ада.Асинхронная_Задача_Контроль,                 Нет_Зависимости => Ада.Календарь,                 Нет_Зависимости => Ада.Время исполнения.Group_Budget,                 Нет_Зависимости => Ада.Время исполнения.Таймеры,                 Нет_Зависимости => Ада.Задача_Атрибуты);

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

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

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

внешняя ссылка