Profil Ravenscar - Ravenscar profile

The Profil Ravenscar je podmnožinou souboru Ada funkce úkolů určené pro kritické z hlediska bezpečnosti tvrdý výpočet v reálném čase. Bylo definováno samostatnou technickou zprávou v Ada 95; nyní je součástí standardu Ada 2012. Název dostal podle anglické vesnice Ravenscar, místo 8. mezinárodního semináře Ada v reálném čase (IRTAW 8).

Omezení profilu

Aplikace Ravenscar Ada používá následující směrnice kompilátoru:

pragma Profil (Ravenscar);

To je stejné jako psaní následující sady konfiguračních pragmat:

pragma Task_Dispatching_Policy (FIFO_Within_Priorities);pragma Zamykací politika (Strop_zamykání);pragma Detect_Blocking;pragma Omezení (                 No_Abort_Statements,                 No_Dynamic_Attachment,                 No_Dynamic_Priorities,                 No_Implicit_Heap_Alolocations,                 No_Local_Protected_Objects,                 No_Local_Timing_Events,                 No_Protected_Type_Alolotors,                 No_Relative_Delay,                 No_Requeue_Statements,                 No_Select_Statements,                 No_Specific_Termination_Handlers,                 No_Task_Alolocators,                 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.Kalendář,                 No_Dependence => Ada.Execution_Time.Group_Budget,                 No_Dependence => Ada.Execution_Time.Časovače,                 No_Dependence => Ada.Úkol_Atributy);

Viz také

Reference

  • Alan Burns (Prosinec 1999). „Profil Ravenscar“ (PDF). Dopisy ACM SIGAda Ada. XIX (4): 49–52. doi:10.1145/340396.340450.
  • Alan Burns, Brian Dobbing a Tullio Vardanega (červen 2004). „Návod k použití profilu Ada Ravenscar v systémech vysoké integrity“ (PDF). Dopisy ACM SIGAda Ada. XXIV (2): 1–74. doi:10.1145/997119.997120.
  • Profil Ravenscar pro systémy s vysokou integritou (Technická zpráva). Skupina zpravodajů ISO / WG9 Ada. AI95-00249.

externí odkazy